m

Documents  Margenstern, M. | enregistrements trouvés : 2

O
     

-A +A

P Q

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 [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z