Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8405-0073-1
SMS , 0021
Localisation : Salle de manutention
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Theoretical computer science , 0175
Localisation : Colloque 1er étage (KANA)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 550 p.
ISBN 978-0-7204-2103-3
Bibliotheca mathematics , 0001
Localisation : Ouvrage RdC (KLEE)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 674 p.
ISBN 978-0-521-06791-1
Localisation : Ouvrage RdC (WHIT)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 166 p.
ISBN 978-2-225-82567-5
Logique Mathématiques Informatique
Localisation : Ouvrage RdC (BENZ)
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
... Lire [+]