Logique Mathématique
Logique mathématique & Informatique
Curriculum
- 7 Sections
- 16 Lessons
- 0m Duration
Introduction
1 Lesson
- Introduction à la Logique Mathématique
1. Logique Propositionnelle
3 Lessons
- Concepts de Base
- Syntaxe et Sémantique
- Méthodes de Preuve
2. Logique du Premier Ordre
4 Lessons
- Extension de la Logique Propositionnelle
- Syntaxe
- Sémantique
- Théorème de Complétude
3. Systèmes de Déduction et Théorie de la Démonstration
2 Lessons
- Systèmes Formels
- Théorie de la Démonstration
4. Logique Modale et Autres Extensions
2 Lessons
- Logique Modale
- Autres Branches
5. Applications et Perspectives
3 Lessons
- Applications en Informatique
- Applications en Philosophie
- Perspectives de Recherche
Conclusion
1 Lesson
- Conclusion
