Concept
Prémisse
Séances de cours associées (17)
Preuves : Logique, Mathématiques et Algorithmes
Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.
Preuves : Contraposition vs. Contradiction
Couvre les concepts de contradiction et de contradiction dans les preuves.
Systèmes d'experts: Chainage vers l'arrière
Explore les systèmes experts, l'enchaînement rétrograde et l'incertitude grâce à une logique floue dans les applications pratiques.
Mathématiques discrètes: Logique, Structures, Algorithmes
Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.
Architecture moderne et climat
Explore la relation entre l'architecture moderne et la science du climat, en mettant l'accent sur l'optimisation de l'environnement bâti pour les conditions climatiques.
Preuves : Règles et applications
Explore les règles d'inférence, les déclarations quantifiées et les méthodes de preuve en logique et en mathématiques.