Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 550 p.
Cote : 00004281
calcul prédicatif # déduction formelle # fonction récursif # logique # logique formelle # machine de Turing # métamathématique # paradoxe # système d'axiome # système formel
00A30 ; 03B22 ; 03D10 ; 03D20
Localisation : Ouvrage RdC (KLEE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 674 p.
Cote : 00000165
arithmétique cardinale # classe # déduction # fonction de vérité # logique mathématique # principe de mathématiques # relation inductive # sélection # théorie des propositions # Whitehead # oeuvres complètes
03B05 ; 03B10 ; 03B15 ; 03B22 ; 03Bxx
Localisation : Ouvrage RdC (WHIT)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 166 p.
Cote : 00018043
algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage rationnel # logique des prédicats # modèle de Turing # programme intératif # résolution par unification # résolution sans variable # résolution sélective # système formel de Hoare # système formel de logique des propositions # système formel de logique du premier ordre # sémantique de la déduction # sémantique de langage du premier ordre
[-]
algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage ...
[+]
03B05 ; 03B10 ; 03B22 ; 03B25 ; 03B30
Localisation : Ouvrage RdC (BENZ)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00006910
grammaire à deux variables # grammaire à trois variables # grammaire à une variable # logique du premier ordre # modèle généralisé # modèle relativisé # modèle standard # relation d'égalité non-standard # relativisation # système déductif # système logique avec nombre fini de symboles # univers relativisé
03B10 ; 03B22 ; 03C13 ; 03Cxx ; 03D05
Localisation : Salle de manutention
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00022527
LOGSPACE # automate # calcul lambda # décidabilité # informatique théorique # intuition # langage delta # logique de programmation # logique non standard # système de réécriture # système déductif
03B22 ; 03B25 ; 03B45 ; 18-06 ; 18A15 ; 60-06 ; 68N17 ; 68N99
Localisation : Colloque 1er étage (KANA)