m

Documents  Critères de recherche : "Logic and structure" | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 129 p.
ISBN 978-0-8218-0578-7

DIMACS series in discrete mathematics and theoretical computer science , 0033

Localisation : Collection 1er étage

combinatoire # logique # mathématique discrète # structure aléatoire

03-XX ; 05-XX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiv; 728 p.
ISBN 978-0-521-89833-1

Encyclopedia of mathematics and its applications , 0138

Localisation : Collection 1er étage

méthode graphique # langage formel # logique mathématique # combinatoire # complexité # algorithme de théorie des graphes

68-02 ; 03B15 ; 03D05 ; 05C85 ; 05C90 ; 68Q45 ; 68R10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x; 263 p.
ISBN 978-1-4471-4557-8

Universitext

Localisation : Ouvrage RdC (VAND)

logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit

03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20

... Lire [+]

Z