Modèles de Calculs

Licence d'Informatique 3ème année
Université de Grenoble-Alpes

Modèles de Calcul

Limites de l'informatique
qu'est-ce qui est faisable par une machine ? qu'est-ce qui ne l'est pas ?

Différents modèles de calculs
y'en a t'il de plus puissants que d'autres ?

Les langages de programmation

Fonctions calculables

Lambda-calcul typé d'Alonso Church

Machine de Janos Lajos Von neumann

Machine d'Alan Turing

Machine chimique de Berry & Boudol

Automates: à nombre d'états finis, à pile, reconnaisseur d'arbres

Ordinateur quantique

Fonctionnement

La premìere semaine

2 cours, pas de TD

Chaque semaine pendant 8 semaines

2 x (un cours + un TD)

Les cours présentent des résultats fondamentaux sur les différents modèles de calculs.

+ un projet en quadrinôme

Le projet est la mise en application de notions du cours.

Évaluation du projet en fin de semestre

code + soutenance + démo

Évaluation des connaissances

durée 2h, sans document

février,mars : 2 Devoirs surveillés (1h)

mai : Examen (2 x 1h30)

Note finale

(1 CC + 2 Examen) / 3

CC = (1 DS1 + 1 DS2 + 1 Projet) / 3

Responsable du site : Michaël PÉRIN

février,mars	:	2 Devoirs surveillés (1h)
mai	:	Examen (2 x 1h30)