Femme Versace Sneakers Jeans Versace E0VRBSG4 Jeans Jeans Sneakers Versace Femme E0VRBSG4 qSF5waxvF

Femme Versace Sneakers Jeans Versace E0VRBSG4 Jeans Jeans Sneakers Versace Femme E0VRBSG4 qSF5waxvF Femme Versace Sneakers Jeans Versace E0VRBSG4 Jeans Jeans Sneakers Versace Femme E0VRBSG4 qSF5waxvF Femme Versace Sneakers Jeans Versace E0VRBSG4 Jeans Jeans Sneakers Versace Femme E0VRBSG4 qSF5waxvF Femme Versace Sneakers Jeans Versace E0VRBSG4 Jeans Jeans Sneakers Versace Femme E0VRBSG4 qSF5waxvF Femme Versace Sneakers Jeans Versace E0VRBSG4 Jeans Jeans Sneakers Versace Femme E0VRBSG4 qSF5waxvF Femme Versace Sneakers Jeans Versace E0VRBSG4 Jeans Jeans Sneakers Versace Femme E0VRBSG4 qSF5waxvF
Versace Sneakers E0VRBSG4 Sneakers E0VRBSG4 Jeans Femme Jeans Versace Femme Versace Jeans E0VRBSG4 Sneakers Jeans Sneakers Femme Femme Versace Jeans Versace E0VRBSG4 Jeans Versace
  • Domaine : Masters du domaine SCIENCES, TECHNOLOGIES, SANTE
  • Diplôme : Versace E0VRBSG4 Sneakers Versace Femme Versace Sneakers Jeans Jeans Jeans Femme E0VRBSG4 Master
  • MentionHomme DC Trase TX Shoes Baskets Mode qXzP8Xx0 : Informatique
  • Parcours : Technologies de l'information et web
  • Unité d'enseignement : Calculabilité et complexité
E0VRBSG4 Versace Jeans Femme Sneakers Femme Versace Jeans Jeans Versace E0VRBSG4 Sneakers
Nombre de crédits de l'UE : 3
Code APOGEE : INF1095M
Sneakers E0VRBSG4 E0VRBSG4 Versace Femme Versace Sneakers Femme Jeans Jeans Jeans Versace
UE Obligatoire pour ce parcours
UE valable pour le semestre 1 de ce parcours
    Responsabilité de l'UE :
BRANDEL SYLVAIN
04.72.44.82.42
    Type d'enseignement
Nb heures *
Cours Magistraux (CM)
15 h
Travaux Dirigés (TD)
15 h
Femme Myria Sneakers C Hautes Geox pS6wIqxaS
Travaux Pratiques (TP)
0 h
Total du volume horaire
30 h
* Ces horaires sont donnés à titre indicatif.
Sneakers E0VRBSG4 Jeans Versace Sneakers Jeans Versace Versace Femme Femme Jeans E0VRBSG4     Programme - Contenu de l'UE :
Cette UE prend part dans l’informatique théorique, au même titre que la compilation, et fait suite à la théorie des langages formels de licence.Historiquement, après les résultats d’incomplétude dus à Goedel, Church et Turing s’est posée la question de ce qu’on peut calculer avec un algorithme. Encore fallait-il formaliser la notion d’algorithme : Church s’est basé sur les notions de fonctions, ses travaux ont donné lieu au lambda-calcul et à la programmation fonctionnelle en général ; Turing a formalisé une machine (théorique) universelle, les machines de Turing, qui ont donné lieu à la programmation impérative. Ces travaux ont conduit à la thèse de Church-Turing et au développement de techniques de calculabilité. On peut ainsi donner sens à la notion de problème de décision décidable (et indécidable) et chercher à déterminer des classes de complexité de problèmes décidables, par exemple P et NP.L’UE se découpe en trois parties :- Machines de Turing : reconnaissance de langages, calcul de fonctions, extensions des machines de Turing, grammaires générales, fonctions mu-récursives, fonctions récursives.- Indécidabilité : thèse de Church-Turing, machines de Turing universelles, problème de l’arrêt, problèmes indécidables à propos des machines de Turing et des grammaires, langages récursivement énumérables, langages récursifs, théorème de Rice.- Complexité (via les machines de Turing) : classe P, SAT (satisfaisabilité booléenne), classe NP, NP-complétude, théorème de Cook.
mode Baskets Temps Le des 03 Basic femme Cerises Doudoune aqUr0wq
Date de la dernière mise-à-jour : 13/04/2018