Issues
- 1
Ch04.8. Représentation entier Lambda calcul
#55 opened by Yves-Deville - 1
Ch04.2. ND-recursif ssi récursif
#46 opened by Yves-Deville - 0
Ch03.2 : Améliorer la démonstration de A r.e ssi a =dom(f) avec f calculable
#20 opened by Yves-Deville - 1
Ch04.3. Exemples Automates finis
#47 opened by Yves-Deville - 0
Ch03.9: Réduction
#29 opened by Yves-Deville - 1
- 0
Ch03.2 : Améliorer la démonstration de A r.e. SSi A vide ou A=image(f), f total calculable
#21 opened by Yves-Deville - 0
- 1
Ch04.6. Exemple Machine de Turing
#51 opened by Yves-Deville - 0
Ch04.8. Exemples Lambda calcul
#54 opened by Yves-Deville - 0
- 0
- 0
Ch04.5. Exemples de grammaire
#48 opened by Yves-Deville - 3
- 1
Ch03.11: Rice via Point fixe
#33 opened by Yves-Deville - 0
Ch03.7: introduction Hoare Allison
#25 opened by Yves-Deville - 0
Ch02: exemples section 2.1
#9 opened by Yves-Deville - 2
Ch01: Compléter Détection de virus
#4 opened by Yves-Deville - 0
Ch03.8: Extension fonction
#27 opened by Yves-Deville - 0
Ch03.9: Preuve Rice
#30 opened by Yves-Deville - 0
ch01: Qu'est-ce que la calculabilité
#1 opened by Yves-Deville - 0
Ch03.9: Exemples
#31 opened by Yves-Deville - 0
Ch03.11: Conséquence Point fixe
#34 opened by Yves-Deville - 0
Ch03.10: preuve théorème paramétrisation
#32 opened by Yves-Deville - 0
Ch03.7: Enoncé Hoare-Allison
#26 opened by Yves-Deville - 0
- 2
Package eplcode.sty inutile ?
#19 opened by FrancoisDuchene - 0
- 0
- 0
Ch02: au delà du non énumérable
#13 opened by Yves-Deville - 0
Ch02: exemples ensembles énumérables
#10 opened by Yves-Deville - 0
Ch02: Exemples ensembles non énumérables
#12 opened by Yves-Deville - 0
Ch01: problème intrinsèquement complexe
#5 opened by Yves-Deville - 0
- 0
Ch01: Notion de programme
#2 opened by Yves-Deville - 0
Ch01: Section Résultats principaux
#3 opened by Yves-Deville