issues
search
UCL-INGI
/
LINGI1123-Calculabilite
15
stars
36
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Ch04.8. Exemples Lambda calcul
#54
Yves-Deville
opened
6 years ago
0
Ch04.7. Propriétés fonctions primitives récursives
#53
Yves-Deville
opened
6 years ago
0
Ch04.7. Exemples Fonctions primitves récursives
#52
Yves-Deville
closed
6 years ago
0
Ch04.6. Exemple Machine de Turing
#51
Yves-Deville
opened
6 years ago
1
Ch04.6. Machines de Turing: Extensions modèle
#50
Yves-Deville
opened
6 years ago
0
Ch04.5. Exemples dérication, arbre syntaxique
#49
Yves-Deville
opened
6 years ago
1
Ch04.5. Exemples de grammaire
#48
Yves-Deville
opened
6 years ago
0
Ch04.3. Exemples Automates finis
#47
Yves-Deville
closed
6 years ago
1
Ch04.2. ND-recursif ssi récursif
#46
Yves-Deville
closed
6 years ago
1
Proposition issues #1 #4 et #9
#45
FrancoisDuchene
closed
6 years ago
0
docs(correction) : Corrections orthographiques et typographiques
#44
jy95
closed
6 years ago
1
Ch03.11: Conséquence Point fixe #34 Intro
#43
gaetbout
closed
6 years ago
0
Ch03.8: Extension fonction #27
#42
gaetbout
closed
6 years ago
0
Ch03.7: introduction Hoare Allison
#41
gaetbout
closed
6 years ago
0
3.2 Démonstration si A est vide
#40
gaetbout
closed
6 years ago
0
Ch03.2 : Améliorer la démonstration de A r.e. SSi A vide ou A=image(f), f total calculable - Démonstration si A vide
#39
gaetbout
closed
6 years ago
0
Ch3.11 Preuve Théorème du point fixe: Remarque non claire
#38
Yves-Deville
closed
6 years ago
3
Clarification Théorème de Rice + corrections d'erreurs/clarification
#37
FrancoisDuchene
closed
6 years ago
0
Image en tikz + légères corrections + uniformisation.
#36
TGLuis
closed
6 years ago
0
Latex errors fixed
#35
NicodemeB
closed
6 years ago
0
Ch03.11: Conséquence Point fixe
#34
Yves-Deville
opened
6 years ago
0
Ch03.11: Rice via Point fixe
#33
Yves-Deville
closed
6 years ago
1
Ch03.10: preuve théorème paramétrisation
#32
Yves-Deville
opened
6 years ago
0
Ch03.9: Exemples
#31
Yves-Deville
closed
6 years ago
0
Ch03.9: Preuve Rice
#30
Yves-Deville
closed
6 years ago
0
Ch03.9: Réduction
#29
Yves-Deville
closed
6 years ago
0
Proposition pour l'issue #25
#28
gillesngongang
closed
6 years ago
0
Ch03.8: Extension fonction
#27
Yves-Deville
closed
6 years ago
0
Ch03.7: Enoncé Hoare-Allison
#26
Yves-Deville
closed
6 years ago
0
Ch03.7: introduction Hoare Allison
#25
Yves-Deville
closed
6 years ago
0
https://github.com/UCL-INGI/LINGI1123-Calculabilite/issues/22
#24
laritzalba
closed
6 years ago
0
Proposition Issue #11 + #19 + divers corrections
#23
FrancoisDuchene
closed
6 years ago
2
Ch03.6 : Ajouter diagramme structure des fonctions et ensembles
#22
Yves-Deville
closed
6 years ago
0
Ch03.2 : Améliorer la démonstration de A r.e. SSi A vide ou A=image(f), f total calculable
#21
Yves-Deville
closed
6 years ago
0
Ch03.2 : Améliorer la démonstration de A r.e ssi a =dom(f) avec f calculable
#20
Yves-Deville
closed
6 years ago
0
Package eplcode.sty inutile ?
#19
FrancoisDuchene
closed
6 years ago
2
Ch02: exemples ensembles énumérables #10
#18
gillesngongang
closed
6 years ago
0
Proposition Issue #9
#17
FrancoisDuchene
closed
6 years ago
0
Ceci est un proposition pour l'Issue #12
#16
laritzalba
closed
6 years ago
0
Corrections orthographiques + image en tikz + quelques ajouts + Issue #13
#15
TGLuis
closed
6 years ago
0
Ch02: ensemble de chaines infionies de caractères
#14
Yves-Deville
closed
6 years ago
0
Ch02: au delà du non énumérable
#13
Yves-Deville
closed
6 years ago
0
Ch02: Exemples ensembles non énumérables
#12
Yves-Deville
closed
6 years ago
0
Ch02: Démonstration propriétés ensembles énumérables
#11
Yves-Deville
closed
6 years ago
0
Ch02: exemples ensembles énumérables
#10
Yves-Deville
closed
6 years ago
0
Ch02: exemples section 2.1
#9
Yves-Deville
closed
6 years ago
0
Ceci est un proposition pour l'Issue #5
#8
laritzalba
closed
6 years ago
0
Issue#1- Qu'est ce que la calculabilité
#7
FrancoisDuchene
closed
6 years ago
0
Ch01: Ajouter section Objectifs calculabilité et complexité
#6
Yves-Deville
closed
6 years ago
0
Ch01: problème intrinsèquement complexe
#5
Yves-Deville
closed
6 years ago
0
Previous
Next