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.

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.

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

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

Z