m

F Nous contacter

0

Documents  Critères de recherche : "Cours de logique mathématique" | enregistrements trouvés : 10

O
     

-A +A

P Q

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

Collection de logique mathematique

Localisation : Ouvrage RdC (FRAI)

axiomatique # logique formelle # logique mathematiques # theorie des modeles

03-XX

... Lire [+]

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

Collection de logique mathematique

Localisation : Ouvrage RdC (FRAI)

algebre de relation # calcul logique # logique # logique formelle

03-XX

... Lire [+]

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

- 70 p.

Logique à l'usage du calculateur , 0002

Localisation : Ouvrage RdC (FRAI)

récursivité # logique # insaturation # décidabilité # constructibilité # ultraproduit # rec-énumérabilité

03-01 ; 03Cxx

... Lire [+]

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

- 134 p.
ISBN 978-2-04-004158-8

Logique mathématique série A , 0025

Localisation : Ouvrage RdC (FRAI)

logique mathématique # relation recursive # recusivité # constructibilité # théorème d'incomplétude # indecidabilité # constructibilité

03-01 ; 03Dxx ; 03Exx

... Lire [+]

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

- 347 p.
ISBN 978-2-225-84079-1

Axiomes

Localisation : Ouvrage RdC (CORI)

algèbre de Boole # calcul des prédicats # calcul proportionnel # logique mathématique # théorème de complétude

03B05 ; 03C35 ; 03G05

... Lire [+]

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

- 347 p.
ISBN 978-2-225-84080-7

Axiomes

Localisation : Ouvrage RdC (CORI)

fonction récursive # logique mathématique # théoeir des modèles # théorie des ensembles # théorème de Gödel

03Cxx ; 03D20 ; 03Exx ; 03F40

... Lire [+]

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

- 584 p.
ISBN 978-2-9500919-0-1

Nur al-mantiq wal-ma'rifah¶ , 0001

Localisation : Ouvrage RdC (POIZ)

théorie des modèles # logique mathématiques

03-01 ; 03-02 ; 03C45 ; 03C07

... Lire [+]

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

- pag. mult.

Collection de logique mathématique

Localisation : Ouvrage RdC (FRAI)

algèbre de relation # calcul logique # logique formelle

03-XX

... Lire [+]

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

- 181 p.

Collection de logique mathématique

Localisation : Ouvrage RdC (FRAI)

algèbre de relation # calcul logique # compacité # complétude # formule logique # logique mathématique # relation

03-XX

... Lire [+]

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

- 197 p.

Collection de logique mathématique

algèbre de relation # calcul logique # logique # logique formelle

03-XX

... Lire [+]

Z