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.

Des questions sur ce cours? Inscrivez-vous aux cours

Cours pouvant être offert à distance synchrone ou asynchrone

Responsables

Faculté des sciences et de génie
Département d'informatique et de génie logiciel

Préalables

MAT-1310 OU MAT-1919

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 2021 – 1 section offerte

NRC 86137 Capacité maximale: 150 étudiants Enseignant: Pascal Tesson

Ce cours est offert à distance en mode synchrone, en direct, selon l’horaire indiqué. Les enregistrements des séances seront rendus disponibles sur le site Web du cours.En fonction des directives de la santé publique, veuillez prendre note que si des examens sous surveillance peuvent être réalisés, ceux-ci ont lieu en soirée ou la fin de semaine et peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones. Plus de détails seront fournis ultérieurement.NOTE IMPORTANTE : Veuillez vous assurer, pour chaque cours donné à distance, qu’il n’existe aucun conflit d’horaire entre vos examens, aucun accommodement ne sera accordé en cas de conflit d’horaire.

Plages horaires

- Type: Classe virtuelle synchrone
- Dates: Du 30 août 2021 au 10 déc. 2021
- Journée: Mercredi
- Horaire: De 12h30 à 13h50
- Type: Classe virtuelle synchrone
- Dates: Du 30 août 2021 au 10 déc. 2021
- Journée: Jeudi
- Horaire: De 11h à 12h20

Hiver 2021 – 1 section offerte

NRC 15980 Capacité maximale: 250 étudiants

Ce cours est offert à distance en mode synchrone, en direct, selon l’horaire indiqué. Les enregistrements des séances seront rendus disponibles sur le site Web du cours. Veuillez prendre note que les examens sous surveillance des cours à distance ont lieu en soirée ou la fin de semaine et peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones. Pour plus d’information, consultez la page du cours à l’adresse www.distance.ulaval.ca. NOTE IMPORTANTE : Pour chaque cours donné à distance, veuillez vous assurer qu’il n’existe aucun conflit d’horaire entre vos examens, aucun accommodement ne sera accordé en cas de conflit d’horaire.

Plages horaires

- Type: Classe virtuelle synchrone
- Dates: Du 18 janv. 2021 au 23 avr. 2021
- Journée: Mercredi
- Horaire: De 15h30 à 16h50
- Type: Classe virtuelle synchrone
- Dates: Du 18 janv. 2021 au 23 avr. 2021
- Journée: Jeudi
- Horaire: De 9h30 à 10h50

Automne 2020 – 1 section offerte

NRC 85970 Capacité maximale: 150 étudiants

Plages horaires

- Type: Classe virtuelle synchrone
- Dates: Du 31 août 2020 au 11 déc. 2020
- Journée: Mercredi
- Horaire: De 12h30 à 13h50
- Type: Classe virtuelle synchrone
- Dates: Du 31 août 2020 au 11 déc. 2020
- Journée: Jeudi
- Horaire: De 11h à 12h20