Ce projet propose des ressources pédagogiques pour les cours de preuves assistées par ordinateur et de preuve formelle. Il s'adresse principalement aux étudiants en informatique de niveau master, notamment ceux suivant les cours du M1 Informatique ou du M2 LMFI à Paris Diderot. Les documents couvrent des concepts théoriques et pratiques liés à la vérification et à la formalisation des preuves en informatique.

Ce projet propose un cours complet d'électronique destiné aux étudiants de l'ENSEIRB-MATMECA et aux participants des ateliers OpenHandicap du FabLab EirLab. Il inclut des supports théoriques, des schémas électroniques, des simulations de circuits et des exemples de code pour illustrer les concepts abordés. Le contenu est adapté pour des formations pratiques et accessibles.

Ce projet est un support pédagogique destiné à l'enseignement des bases de la programmation scientifique avec Python. Il couvre spécifiquement l'utilisation de la bibliothèque numpy, un outil essentiel pour le calcul numérique en Python. Destiné aux étudiants, il propose des cours théoriques et des travaux pratiques pour maîtriser les fonctionnalités clés de numpy, comme les tableaux multidimensionnels et les opérations mathématiques avancées.

Ce projet propose des ressources pédagogiques pour l'enseignement des mathématiques au niveau licence 2. Il inclut des cours et travaux pratiques sur la résolution d'équations et le calcul matriciel, accompagnés de supports théoriques et pratiques pour faciliter l'apprentissage des étudiants.

Ce projet propose des ressources pédagogiques pour un cours ou un TP axé sur l'utilisation de la bibliothèque numpy en Python. Il s'agit d'un support de formation destiné aux étudiants ou apprenants souhaitant maîtriser les bases du calcul scientifique avec Python, incluant des exercices pratiques et des explications théoriques.

Ce projet pédagogique propose des ressources éducatives pour l'enseignement des mathématiques, spécifiquement axées sur la résolution d'équations et les techniques d'interpolation. Destiné aux étudiants et enseignants, il inclut des cours théoriques, des travaux pratiques et des exercices pour faciliter l'apprentissage et la maîtrise de ces concepts fondamentaux en mathématiques appliquées.

Ce projet propose un cours complet destiné aux étudiants préparant l'agrégation de physique. Il couvre les aspects théoriques et pratiques des moteurs et transformateurs électriques, avec des supports pédagogiques adaptés à un niveau master. Les ressources incluent des documents PDF détaillés et des présentations pour faciliter l'apprentissage.

Ce projet pédagogique propose des ressources éducatives pour l'apprentissage des boucles et des structures conditionnelles en programmation. Il inclut des cours théoriques et des travaux pratiques (TP) conçus pour aider les étudiants à maîtriser ces concepts fondamentaux. Le contenu est distribué sous licence Creative Commons, favorisant une utilisation libre et non commerciale.

Ce projet pédagogique propose des ressources éducatives pour apprendre les concepts fondamentaux de la programmation, notamment les boucles et les structures conditionnelles. Destiné aux étudiants ou apprenants, il inclut des cours théoriques et des travaux pratiques pour renforcer les compétences en algorithmique et en résolution de problèmes.

Ce projet pédagogique propose des ressources éducatives pour apprendre les bases de la programmation, notamment les boucles et les conditions. Il inclut un cours théorique, des travaux pratiques et des exercices pour faciliter l'apprentissage des concepts fondamentaux en algorithmique. Destiné aux étudiants ou autodidactes, il vise à renforcer les compétences en logique et en résolution de problèmes.