Séances de cours associées à Théorie de l'argumentation

Explique comment les prémisses impliquent des conclusions utilisant des règles d'inférence et des tables de vérité dans la logique propositionnelle.

Couvre la traduction des phrases en langage naturel en logique de prédicat et l'importance de l'ordre des quantificateurs.

Couvre la logistique des affectations et de l'évaluation pour le cours.

Explore les règles d'inférence, les déclarations quantifiées et les méthodes de preuve en logique et en mathématiques.

Explore les défis éthiques posés par les robots, en mettant l'accent sur la formulation de questions de recherche et la structure d'essai.

Couvre les espaces de noms, les arguments de fonctions principales et leur signification dans la programmation C++.