Présentation de l'unité
Unité d'enseignement « Logique mathématique » — Mathématiques (L1, L2). Cette UE permet de construire les bases conceptuelles, méthodologiques et pratiques associées à la thématique.
logique mathématique
algorithmes
Python
booléens
algèbre de Boole
Thèmes abordés
T1. Logique mathématique
Étude approfondie : Logique mathématique.
T1.1. Algorithmes et programmes Python
Notions clés
- algorithme
- Python
- boucle
- variable
- instruction conditionnelle
- fonction
T1.2. Booléens et expressions booléennes
Notions clés
- booléen
- algèbre de Boole
- ET
- OU
- NON
- table de vérité
- porte logique
T2. Théorie des ensembles
Étude approfondie : Théorie des ensembles.
T3. Théorie des modèles
Étude approfondie : Théorie des modèles.
Compétences visées
- Démontrer les théorèmes fondamentaux relevant de « Logique mathématique ».
- Mettre en œuvre les méthodes de calcul propres à « Logique mathématique ».
- Modéliser un problème en mobilisant les concepts de « Logique mathématique ».
- Communiquer ses résultats de manière claire et structurée.
Mentions associées
mathématiques
informatique
philosophie
Ressources complémentaires
-
Flashcards Logique mathématique
Anki