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

Hiver 2025 – 1 section offerte

Automne 2024 – 1 section offerte