IFT-1000 Logique et techniques de preuve
Substitution textuelle et égalité. Règle de Leibniz. Opérateurs booléens, expressions booléennes, calcul propositionnel. Quantification, types. Calcul des prédicats, quantificateur universel, quantificateur existentiel. Induction mathématique, définitions inductives. Autres techniques de preuve : preuves par cas, preuves par implication mutuelle, preuves par contradiction, preuves par contraposition. Applications : modélisation de propositions énoncées en français, spécification et vérification de programmes.
Responsables
- Faculté des sciences et de génie
- Département d'informatique et de génie logiciel
Cette activité est contributoire dans:
Cette page constitue la description officielle de cette activité. L'Université Laval se réserve le droit de modifier l'activité sans préavis. Tous les horaires indiqués sont sujets à changement.
Répartition hebdomadaire
- 3h Cours
- 0h Laboratoire ou travaux pratiques
- 6h Travail personnel
- 9h Total
Horaire
Pour vous inscrire, accédez à monPortail.
Automne 2024 – 1 section offerte
NRC 85849 Capacité maximale: 140 étudiants Enseignant: Pascal Tesson
Plage horaire
-
- Type: En classe
- Dates: Du 3 sept. 2024 au 13 déc. 2024
- Journée: Jeudi
- Horaire: De 10h30 à 13h20
- Pavillon: Adrien-Pouliot
- Local: 2700
Hiver 2024 – 1 section offerte
NRC 15872 Capacité maximale: 250 étudiants
Plages horaires
-
- Type: Classe virtuelle synchrone
- Dates: Du 15 jan. 2024 au 26 avr. 2024
- Journée: Mercredi
- Horaire: De 15h30 à 16h50
-
- Type: Classe virtuelle synchrone
- Dates: Du 15 jan. 2024 au 26 avr. 2024
- Journée: Jeudi
- Horaire: De 9h30 à 10h50
Automne 2023 – 1 section offerte
NRC 85751 Capacité maximale: 140 étudiants
Plage horaire
-
- Type: En classe
- Dates: Du 5 sept. 2023 au 15 déc. 2023
- Journée: Jeudi
- Horaire: De 10h30 à 13h20
- Pavillon: Adrien-Pouliot
- Local: 2700