m

Documents  Critères de recherche : "Logique mathématique" | enregistrements trouvés : 36

O

-A +A

P Q

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

- 136 p.

Seminaire de mathematiques superieures , 0006

Localisation : Salle de manutention

logique mathematiques # theorie des modeles

03Cxx

... Lire [+]

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

Bulletin of the belgian mathematical society supplément , 5

Localisation : Colloque 1er étage (LIEG)

enseignement des mathématiques # logique

94-XX

... Lire [+]

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

- 196 p. + 16 p.
ISBN 978-2-7056-1409-6

Collection formation des enseignants et formation continue , 1409

Localisation : Ouvrage RdC (BERT)

68A05

... Lire [+]

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

- 229 p.

Localisation : Ouvrage RdC (ONIC)

générale # matières spécifiques générales et diverses # méthodologie et philosophie des mathématiques

00A30 ; 03A05

... 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.

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.

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.

- 197 p.

Collection de logique mathématique

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

03-XX

... Lire [+]

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

- 215 p.
ISBN 978-2-9500919-1-8

Nur al-mantiq wal-ma'rifah , 0002

Localisation : Ouvrage RdC (POIZ)

groupe stable

03C45 ; 03Gxx ; 14Lxx ; 30C60

... Lire [+]

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

- 447 p.
ISBN 978-2-228-88483-9

Bibliotheque scientifique payot

Localisation : Ouvrage RdC (Logi)

Bolzano # Boole # Cantor # épistémologie # fondement des mathématiques # Frege # Hilbert # logique # logique et mathématique # Peirce # Zermelo

03-03

... Lire [+]

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

- 241 p.

Collection de logique mathématique séries a , 0001

Localisation : Ouvrage RdC (BETH)

aximatique # démonstrat ion de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

... Lire [+]

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

- 241 p.

Collection de logique mathématique séries a , 0001

Localisation : Ouvrage RdC (BETH)

aximatique # démonstration de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

... Lire [+]

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

- 261 p.
ISBN 978-2-251-35606-8

Collection UNESCO d'oeuvres représentatives

Localisation : Ouvrage RdC (AVIC)

histoire des mathématiques # histoire des sciences

01A30 ; 01A35 ; 01Axx ; 03-03 ; 92-03

... Lire [+]

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

- 469 p.
ISBN 978-2-7056-5871-7

Localisation : Ouvrage RdC (DIEU)

analyse fonctionnelle # fonction elliptique # histoire des mathématiques # logique mathématique # probabilité # topologie différentielle

01A50 ; 01A55 ; 33-03 ; 46-03 ; 54-03

... 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.

- 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.

- 51 p.

Actualités scientifiques et industrielles , 0226

Localisation : Ouvrage RdC (HAHN)

logique et réalité # mathématique et réalité # pensée et réalité # problème de la vérité # science et métaphysique # science unitaire # théorie et expérience

00A30 ; 00A71 ; 00A79 ; 03A05

... Lire [+]

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

- 522 p.
ISBN 978-2-7116-1067-9

L'histoire des sciences

Localisation : Ouvrage RdC (SEBE)

Bolzano # fondement de la logique # histoire de la logique # logique mathématique

01A55 ; 03-03 ; 03B30

... Lire [+]

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

- 212 p.

Monographies de la Société Mathématique de France , 0003

Localisation : Ouvrage RdC (KREI)

calcul des prédicats # calcul propositionnel # exercice # logique mathématique # modèle

00A07 ; 03-01

... Lire [+]

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

- 276 p.

Localisation : Ouvrage RdC (BOUD)

calcul des propositions # calcul des prédicats # langage mathématique # logique mathématique axiomatique # logique mathématique non axiomatique # quantificateur fini ou relatif # relativité des langages # syntaxe et sémantique # théorie des langages # théorie quantifiée # théorie égalitaire

03Bxx ; 68Qxx ; 68SXX

... Lire [+]

Z