Aller au contenu principal

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.

3 Crédits

Cycle du cours

  • Premier cycle

Mode d'enseignement

  • Régulier

À l'horaire

  • Automne 2021
  • 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-1919 OU MAT-1310

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 86148 Capacité maximale: 450 é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: Mardi
    • Horaire: De 12h30 à 13h50
    • Type: Classe virtuelle synchrone
    • Dates: Du 30 août 2021 au 10 déc. 2021
    • Journée: Jeudi
    • Horaire: De 9h à 10h20

Hiver 2021 – 1 section offerte

NRC 15992 Capacité maximale: 140 é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.

Plage horaire

    • Type: Classe virtuelle synchrone
    • Dates: Du 18 janv. 2021 au 23 avr. 2021
    • Journée: Jeudi
    • Horaire: De 15h30 à 18h20

Automne 2020 – 1 section offerte

NRC 85981 Capacité maximale: 450 é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.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 31 août 2020 au 11 déc. 2020
    • Journée: Mardi
    • Horaire: De 12h30 à 13h50
    • Type: Classe virtuelle synchrone
    • Dates: Du 31 août 2020 au 11 déc. 2020
    • Journée: Jeudi
    • Horaire: De 9h à 10h20