Femme Buffalo Leather 33 PU 33 P2166d Chelsea EU Boots B018f Cette unité d'enseignement a pour objectif d'étudier la théorie de la calculabilité pour distinguer les problèmes qu'on peut résoudre en informatique, de ceux qu'on ne peut pas résoudre. Une initiation à la sémantique des langages de programmation, tant impératifs que fonctionnels, permet d'appréhender d'une façon différente la programmation et les preuves de correction nécessaire qui en découlent. Par la pratique d'un langage de programmation fonctionnel, la thèse de Church-Turing et la notion de typage sont abordées à travers l'utilisation du λ-calcul.
- Spécificités de la programmation fonctionnelle : types algébriques, filtrage, fonctions d'ordre supérieur, combinateurs
- Sémantique d'un langage impératif simple
- Sémantique opérationnelle : présentation à grand pas (ordre des calculs), présentation à petit pas (machine à états), interpréteur d'un langage jouet
- Sémantique dénotationnelle : rôle du point fixe, équivalence de programmes, notion de domaine, équivalence avec la sémantique opérationnelle
- Calculabilité
- Machines de Turing déterministes et langages récursifs
- Machines universelles
- EU Leather Buffalo Boots 33 Chelsea B018f 33 P2166d PU Femme Problème de l'arrêt
- P2166d 33 Femme B018f 33 Chelsea Buffalo Boots Leather EU PU Fonctions récursives : présentation comme langage de programmation et équivalence avec les machines de Turing
- Calcul fonctionnel
- Sémantique d'un langage fonctionnel : termes du λ-calcul (avec données de base), typage, sémantique opérationnelle à grand pas
- λ-calcul pur : β-réduction, normalisation, codage des entiers, thèse de Church-Turing
- Évocation de la complexité de problèmes : classes P et NP, exemples de problèmes NP-complets