MAT 3060 - Logique

No DE COURS

MAT 3060

Crédits

3.0

Cycle

1er cycle

Département

Mathématiques et statistique

Faculté

Faculté des arts et des sciences

Description

Calcul propositionnel. Calcul des prédicats ; axiomatisation et théorème d'adéquation. Quelques systèmes du premier ordre, dont celui de l'arithmétique ; aperçu du théorème d'incomplétude de Gödel et de la calculabilité.

Exigences d'inscription

Préalables: MAT1000 ET MAT1600

Aperçu des horaires

Pour obtenir les renseignements les plus à jour concernant l'horaire de ce cours, visitez le Centre étudiant. Si vous éprouvez des difficultés à naviguer dans le Centre étudiant, communiquez avec notre équipe.

Comment consulter les horaires dans le Centre étudiant
Choisir l'établissement et le trimestreSaisir la matière et le numéroCliquer sur le bouton rechercher
Choisissez l'Université de Montréal dans la liste déroulante de l'établissement et choisissez le trimestre pour lequel vous souhaitez connaître l'horaire.Dans le champ « Sélectionnez matière », entrez les trois premières lettres du sigle de cours. Entrez ensuite les quatre à cinq chiffres du sigle du cours. Par exemple, pour le cours ORA 1125, entrez d'abord ORA, puis 1125.Cliquez sur le bouton « Rechercher » pour obtenir l'horaire de ce cours au trimestre souhaité.

Trouvez l'horaire d'un cours