IFT-2002 Informatique théorique

Introduction à la théorie des machines abstraites et des langages formels. Classification des machines abstraites : automates finis, automates à pile, machine de Turing. Classification des langages : réguliers, non contextuels, récursifs, récursivement énumérables, non récursivement énumérables. Grammaires : syntaxe, classification de Chomsky, rapports avec les machines abstraites et les langages. Théorie des séquences. Ensembles finis, infinis, dénombrables et non dénombrables.

Des questions sur ce cours? Inscrivez-vous aux cours

  • 3 Crédits

  • Cycle du cours

    • Premier cycle

  • Modes d'enseignement

    • Régulier

  • À l'horaire

    • Automne 2025
  • Cours pouvant être offert à distance

Responsables

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

Préalables

MAT-1919 OU MAT-1310

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

NRC 85404 Capacité maximale: 450 étudiants

Cette section de cours est offerte en formule à distance et peut contenir des activités de formation en ligne synchrones, à une date et une heure précises et des activités de formation en ligne qui se déroulent en temps différé. Les examens sous surveillance nécessitent un déplacement sur le campus ou dans l’un des centres d’examens hors campus, au choix de l’étudiante et de l’étudiant. Ils ont lieu en soirée ou la fin de semaine et, s’il y a lieu, peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones. 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 2 sept. 2025 au 12 déc. 2025
    • Journée: Mardi
    • Horaire: De 12h30 à 13h50
    • Type: Classe virtuelle synchrone
    • Dates: Du 2 sept. 2025 au 12 déc. 2025
    • Journée: Jeudi
    • Horaire: De 16h30 à 17h50

Hiver 2025 – 1 section offerte

NRC 15904 Capacité maximale: 170 étudiants

Plage horaire

    • Type: En classe
    • Dates: Du 13 jan. 2025 au 25 avr. 2025
    • Journée: Jeudi
    • Horaire: De 15h30 à 18h20
    • Pavillon: Alexandre-Vachon

Automne 2024 – 1 section offerte

NRC 85862 Capacité maximale: 450 étudiants

Cette section de cours est offerte en formule à distance et peut contenir des activités de formation en ligne synchrones, à une date et une heure précises et des activités de formation en ligne qui se déroulent en temps différé. Les examens sous surveillance nécessitent un déplacement sur le campus ou dans l’un des centres d’examens hors campus, au choix de l’étudiante et de l’étudiant. Ils ont lieu en soirée ou la fin de semaine et, s’il y a lieu, peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones. 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 3 sept. 2024 au 13 déc. 2024
    • Journée: Mardi
    • Horaire: De 12h30 à 13h50
    • Type: Classe virtuelle synchrone
    • Dates: Du 3 sept. 2024 au 13 déc. 2024
    • Journée: Jeudi
    • Horaire: De 16h30 à 17h50