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.
Hiver 2023 – 1 section offerte
NRC 15856 Capacité maximale: 250 étudiants Enseignant: Pascal Tesson
Plages horaires
-
- Type: Classe virtuelle synchrone
- Dates: Du 10 janv. 2023 au 21 avr. 2023
- Journée: Mercredi
- Horaire: De 12h30 à 13h50
-
- Type: Classe virtuelle synchrone
- Dates: Du 10 janv. 2023 au 21 avr. 2023
- Journée: Jeudi
- Horaire: De 9h30 à 10h50
Automne 2022 – 1 section offerte
NRC 85822 Capacité maximale: 150 étudiants
Plage horaire
-
- Type: En classe
- Dates: Du 6 sept. 2022 au 16 déc. 2022
- Journée: Jeudi
- Horaire: De 10h30 à 13h20
- Pavillon: Alexandre-Vachon
- Local: 2880
Hiver 2022 – 1 section offerte
NRC 15980 Capacité maximale: 250 étudiants
Plages horaires
-
- Type: Classe virtuelle synchrone
- Dates: Du 10 janv. 2022 au 22 avr. 2022
- Journée: Mercredi
- Horaire: De 15h30 à 16h50
-
- Type: Classe virtuelle synchrone
- Dates: Du 10 janv. 2022 au 22 avr. 2022
- Journée: Jeudi
- Horaire: De 9h30 à 10h50