ENES
Nous joindre

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

  • 3 Crédits

  • Cycle du cours

    • Premier cycle

  • Modes d'enseignement

    • Régulier

  • À l'horaire

    • Hiver 2023
  • 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.

Hiver 2023 – 1 section offerte

NRC 15856 Capacité maximale: 250 é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. 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 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

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 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