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