STIM P2_1b : éléments d'informatique théorique
Module de 45h (20+20+5), évaluation par épreuve écrite sans document.
Pierre Wolper est l'auteur de l'ouvrage
Introduction à la calculabilité publié chez Dunod
sur lequel l'essentiel de ce cours est basé.
Quelques logiciels que nous utiliserons dans ce cours, à installer sur vos machines :
La complexité algorithmique
Les langages réguliers
Les automates finis
Les grammaires régulières
Les automates à piles et les langages hors-contexte
Les machines de Turing
La non-calculabilité
La logique propositionnelle et la logique du premier ordre
La complexité théorique
Un peu de culture générale
Fred Mesnard
