InfoS7BB- Foundation of Computing

Foundation of Computing

Responsable : Jean-Yves MARION, Professeur

Jean-Yves.Marion@univ-lorraine.fr

Durée du module : 21 heures

Crédits ECTS : 2

Objectif général :

Ce cours présente les concepts de base de la théorie de la programmation et de la compilation, et permet à la fois de comprendre sur quoi reposent les techniques développées aujourd’hui et à la fois de comprendre leurs limites.

Programme et contenu

Ce cours s’articule autour de trois notions-clés :

1/ Les langages réguliers

2/ Les langages algébriques

3/ Les langages décidables et indécidables

Pré-requis : aucun

Niveau à atteindre

• pouvoir comprendre les bases de la compilation

• pouvoir comprendre ce qui est calculable et ce qui ne l’est pas

• construire des bases solides pour appréhender et digérer les évolutions technologiques.

Evaluation

• Test écrit