Logo Université Laval Logo Université Laval
Accueil > Études > Cours > Informatique théorique

Cours

IFT-2002 Informatique théorique

3 crédits / 1er cycle

Session en cours

Période d'inscription

Session inactive

A20
Automne 2020 - Z3
NRC : 85981
Examens sous surveillance mi-session : 24 oct 13h30-16h20
Examen sous surveillance final : 12 déc 13h30-16h20
Début de session : 2020-08-31
Fin de session : 2020-12-11
Abandon avec remboursement : 2020-09-14
Abandon sans remboursement : 2020-11-09
Retour du matériel didactique :
Restriction(s) à l'inscription: ——
Classe virtuelle : Voir horaire
Enseignant(s) : Pascal Tesson
E20
Été 2020
NRC : -
Le cours est non disponible à distance pour cette session.
H20
Hiver 2020
NRC : -
Le cours est non disponible à distance pour cette session.

Description

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.

Responsables

Faculté : Sciences et génie

Courriel : fsg@fsg.ulaval.ca

Département : Département d'informatique et de génie logiciel

Courriel : info@ift.ulaval.ca

Accès au site Web du cours (à partir du premier jour de la session)

PIXEL (TYPO3)

Soutien technique


Pavillon Adrien-Pouliot, local 3718-B
418 656-2131, poste 408747
aide@fsg.ulaval.ca

Matériel didactique

Si vous devez vous procurer du matériel pour votre cours, celui-ci sera disponible à la librairie Coop Zone de 3 à 4 semaines avant le début de la session (plus tôt, c'est le matériel de la session précédente qui est annoncé). Des ouvrages peuvent être obligatoires et d'autres facultatifs.

Consultez la liste des ouvrages de votre cours (Coop Zone).

Consultez aussi le site Web du cours à partir du premier jour de la session.

Cette activité est contributoire dans

Baccalauréat en informatique (B. Sc. A.) (cours obligatoire)