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