Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 288 p.
ISBN 978-2-225-81953-7
Logique mathématiques informatique , 0004
Localisation : Ouvrage RdC (MARG)
Pascal # analyse des algorithmes # complexité des algorithmes # dérécursification # langage de programmation # logique du premier ordre # preuve de programme # récursivité # standard # vérification de programme
03B10 ; 68N05 ; 68N15 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 134 p.
ISBN 978-2-225-84195-8
Axiomes
Localisation : Ouvrage RdC (SMUL)
Gödel # axiomatique # décidabilité # logique # logique des prédicats # théorème d'incomplétude de Gödel # théorème de Gödel-Tarki
03A05 ; 03B30
... Lire [+]
