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
  • Modes d'enseignement

    • Régulier
  • 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 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 2024 – 1 section offerte

NRC 15882 Capacité maximale: 160 étudiants

Plage horaire

    • Type: En classe
    • Dates: Du 15 jan. 2024 au 26 avr. 2024
    • Journée: Jeudi
    • Horaire: De 15h30 à 18h20
    • Pavillon: Adrien-Pouliot
    • Local: 2751

Automne 2023 – 1 section offerte

NRC 85762 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. Les étudiants inscrits à cette section recevront un courriel à leur adresse « ulaval.ca » mentionnant la procédure à suivre pour leur permettre de suivre le cours en direct sur internet ou d’écouter les enregistrements des cours précédents. 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 5 sept. 2023 au 15 déc. 2023
    • Journée: Mardi
    • Horaire: De 12h30 à 13h50
    • Type: Classe virtuelle synchrone
    • Dates: Du 5 sept. 2023 au 15 déc. 2023
    • Journée: Jeudi
    • Horaire: De 16h30 à 17h50