Salut !
Je suis en train de me demander ce qu'est le programme suivant :
Calculabilité :  
- Modèles de calcul. Machines de Turing, Machine de Turing universelle, théorème s-n-m. Exemples d’autres modèles de calcul : machines RAM, algorithmes de Markov. Notion de système acceptable de programmation. Enoncé du théorème d’isomorphisme de Rogers.
- Théorèmes fondamentaux de calculabilité (Arrêt, Kleene (récursion), Rice).
- Ensembles récursifs et récursivement énumérables.
 
est-ce que c'est des maths ou de l'algo ? ou les deux ? est ce dur ?
Si des personnes ici on fait ça pourrait elles me donner des précisions ?

Je vais attaquer ça dans un mois je crois
 
Nous on fait ça à la suite d'un cours sur les langages formels...
 
Je sais que c'est super intéressant, tu regardes si un problème peut être résolu (calculabilité) et avec ques moyens (temps, mémoire ...) (complexité)
Machine de turing c'est un ordi idéal
Je crois que c'est plus de l'info que des maths, mais c'est de l'info théorique donc après ça peut être un peu dans les deux matières

oké
merci pour ta réponse  

C'est des maths, notamment des graphes. Ca peut être très compliqué si le prof va loin dans la théorie, sinon c'est des méthodes à appliquer.