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