Unité d'enseignement M50 :

« Modèles de calcul et calculabilité »

contenu mis à jour le 2007/10/10 19:54

Description

Crédits : 3

Lieu :  U.F.R. M.I.M. (U1)

Semestre :  S3

Cours : 20h

Responsable : Grégory Lafitte

Résumé : Ce cours a pour objectif d'étudier la question de la modélisation du calcul: qu'est-ce que le calcul et comment le définir et l'étudier formellement? Après un rappel des éléments essentiels de la théorie de la calculabilité, nous présentons des modèles de calcul particuliers. Nous étudions des aspects plus avancés de la calculabilité: propriétés communes des modèles de calcul, degrés de Turing, liens avec la logique; et nous discutons des questions fondamentales soulevées par la calculabilité.

Plan :

Site Web  : http://www.lif.univ-mrs.fr/~lafitte/spip.php?article11

Apparaît dans les parcours