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.
Mémorial des sciences mathématiques , 0015
Localisation : Périodique 1er étage
catégorie # chaînon logique # classe # deux espèces de propositions de logique # démonstration complète # ensemble # fonction logique # identité propositionnelle # idéographie # logique des mathématiques # logique déductive # opération sur les propositions # prémisse logique en théorie mathématique # prémisse mathématique # structure de démonstration mathématique # structure générale de théorie déductive
03-03 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 92 p.
ISBN 978-2-290-10076-9
Mémo
Localisation : Loisir RdC
logique mathématique # jeux de logique # vulgarisation
00A09
... 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.
- 164 p.
Localisation : Ouvrage RdC (PONA)
logique # sémantique # ensemble # algèbre # topologie
03-01
... 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.
- 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.
- 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.
- 332 p.
Collection universitaire de mathématiques , 0014
Localisation : Ouvrage RdC (NOVI)
logique mathématique # prédicat # proposition # axiomatique arithmétique # théorie de la démonstration
03Bxx
... 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.
- 412 p.
Collection U
Localisation : Ouvrage RdC (KLEE)
logique # calcul propositionnel # calcul de prédicat # théorie des modèles # théorie de la démonstration # décidabilité # calculabilité # fondement des mathématiques # machine de Turing # théorème de Church # théorème de Gödel # théorème de Gentzen # théorème d'Herbrand # interpolation de Craig # théorème de complétude de Gödel # théorème de Löwenheim-Skolem
03-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-225-84642-7
Memo-Guides
Localisation : Disparu
Prolog # algorithme # arbre # automate # ensemble ordonné # exercice corrigé # graphe # langage et grammaire # licence # liste # logique des prédicats # logique déclarative # mathématique pour l'intelligence artificielle # maîtrise # pile # queue # relation n- aire # structure monoïde # système formel # treillis # école d'ingénieur # étudiant en informatique des IUT
03-01 ; 03Bxx ; 05-01 ; 05Cxx ; 68-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 352 p.
Matematicheskaya logika i osnovaniya matematiki [Logique mathématique et fondements des mathématiques]
Localisation : Fonds Russe réserve
... 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.
- 287 p.
ISBN 978-2-03-590742-4
Localisation : Loisir RdC
jeux de logique # jeux mathématiques # vulgarisation
00A08 ; 97A20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 174 p.
ISBN 978-2-84134-040-8
concepts
Localisation : Ouvrage RdC (GAUT)
logique mathématique # philosophie des mathématiques # épistémologie des mathématiques
00A30 ; 03-01 ; 03A35
... 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 [+]
