m

F Nous contacter

0

Documents  03B30 | enregistrements trouvés : 36

O

-A +A

P Q

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


ISBN 978-0-444-87999-8

Studies in logic and the foundations of mathematics , 0120

Localisation : Colloque 1er étage (MANC)

axiomatique # logiq ue modale # logique # logique com binatoire # logique mathematiques # logique symbolique # recursivite # theorie des sembles

03-06 ; 03B30 ; 03Bxx ; 03Cxx ; 03D10

... Lire [+]

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

- 84 p.
ISBN 978-0-8405-0080-9

SMS(Séminaire de Mathématiques Supérieures) , 0020

Localisation : Salle de manutention

algèbre logique # axiomatisabilité finie # extension et restriction logiques # formule logique # homogénéité logique # interprétabilité libre # isomorphisme local # multirelation # opérateur libre # prédicat # quanteur # relation homogène # relation monomorphe # relation riche # théorie des relations # âge

03B30 ; 03Gxx ; 04A05

... Lire [+]

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

- 440 p.
ISBN 978-0-7204-2235-1

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (JERU)

03A05 ; 03B30

... Lire [+]

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

- xxvii; 447 p.
ISBN 978-3-03719-196-5

IRMA lectures in mathematics and theoretical physics , 0029

Localisation : Ouvrage RdC (EIGH)

géométrie non-euclidéenne # géométrie sphérique # géométrie hyperbolique # géométrie de type Busemann # courbure # application géométrique # zone non-euclidéenne # formule de Brahmagupta # théorème de Ptolémée # théorème de Casey # formule de Sforza # problème de Seidel # rigidité infime # rigidité statique # application de Pogorelov # correspondance de Maxwell-Cremona # géométrie hyperbolique extérieure # géométrie de Sitter # conique non-euclidéenne # propriété bifocale # propriété focus-dirextrix # crayon de conique # géométrie projective # convexité # dualité # transition # trigonométrie hermitienne # trigonométrie projective complexe # forme invariante # plan métrique # plan projectif géométrie non-euclidéenne # géométrie sphérique # géométrie hyperbolique # géométrie de type Busemann # courbure # application géométrique # zone non-euclidéenne # formule de Brahmagupta # théorème de Ptolémée # théorème de Casey # formule de Sforza # problème de Seidel # rigidité infime # rigidité statique # application de Pogorelov # correspondance de Maxwell-Cremona # géométrie hyperbolique extérieure # géométrie de Sitter # conique ...

03B30 ; 51A05 ; 51F15 ; 51F20 ; 51M04 ; 51M05 ; 51M09 ; 51M10 ; 51M16 ; 51M20 ; 51M25 ; 51N15 ; 52A15 ; 52A55 ; 52B15 ; 52C25 ; 05C62 ; 53-01 ; 53A05 ; 53A30 ; 53A35 ; 53C35 ; 53C45

... Lire [+]

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

- xxv; 893 p.
ISBN 978-1-138-19901-9

Discrete mathematics and its applications

Localisation : Ouvrage RdC (GUND)

induction # théorie de la démonstration # inégalité # propriété de divisibilité # théorie des graphes # théorie de Ramsey

00A05 ; 00A07 ; 03-01 ; 05-01 ; 11-01 ; 03B30

... Lire [+]

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

- v; 101 p.
ISBN 978-1-4704-2657-6

Memoirs of the American Mathematical Society , 1187

Localisation : Collection 1er étage

mathématiques inversées # théorie du modèle calculable # modèle atomique # modèle homogène

03B30 ; 03C07 ; 03C15 ; 03C50 ; 03C57 ; 03D45 ; 03F30 ; 03F35

... Lire [+]

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

- xv; 214 p.
ISBN 978-981-4612-61-6

Lecture notes series , 0028

Localisation : Ouvrage RdC (HIRS)

ensemble récursif # mathématiques inversées # théorème de Ramsey # ensemble stable # ensemble cohérent # WKL # lemme de König # arbre # ordre # chaîne # ensemble libre # ensemble maigre # ensemble générique # RCA

03-02 ; 03B30 ; 03F35 ; 03D30 ; 03D80 ; 03E05 ; 05D10

... Lire [+]

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

- viii; 197 p.
ISBN 978-1-107-01451-0

Lecture notes in logic

Localisation : Ouvrage RdC (EFFE)

théorie des modèles # algèbre commutative # algèbre différentielle # théorie des graphes # théorie des ensembles

03-06 ; 03B30 ; 03C57 ; 03Dxx ; 03E15 ; 00B25

... Lire [+]

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

- xix; 523 p.
ISBN 978-3-540-77532-4

Springer monographs in mathematics

Localisation : Ouvrage RdC (KOHL)

logique # théorie de la démonstration # fonctionnelle de Gödel # appoximation par des polynômes # unicité de la meilleure approximation # théorie du point fixe

03F03 ; 03F10 ; 03B30 ; 41A10 ; 41A52 ; 47H09 ; 47H99

... Lire [+]

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

- 237 p.
ISBN 978-1-4020-0689-0

Synthese library , 0310

Localisation : Ouvrage RdC (GAUT)

logique # logique interne # philosophie des mathématiques # épistémologie des mathématiques # fondement des mathématiques # arithmétique # Kronecker # Cantor # Brouwer # Hilbert # Frege # 19è siècle # 20è siècle # preuve de consistance # arithmétique avec descente infinie

03-01 ; 00A30 ; 03-03 ; 03B30

... Lire [+]

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

- 424 p.
ISBN 978-0-521-77034-7

Encyclopedia of mathematics and its applications , 0082

Localisation : Collection 1er étage

logique mathématique # fondement des mathématiques # théorie des ensembles # théorie classique # philosophie des mathématiques # épistémologie # ensemble ordonné # nombre naturel # théorie euclidienne des ensembles # théorie cantorienne des ensembles

03B30 ; 00A30 ; 03A05 ; 03E30 ; 03E70

... Lire [+]

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

- 294 p.
ISBN 978-0-306-11062-7

Siberian school of algebra and logic

Localisation : Ouvrage RdC (PERE)

logique mathématique # théorie axiomatique

03B30 ; 03Bxx

... Lire [+]

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

- 517 p.
ISBN 978-2-7056-6024-6

Localisation : Ouvrage RdC (DIEU)

1700- 1900 # 18 ème siècle # 1840 # algèbre et géométrie # analyse fonctionnelle # analyse mathématique # axiomatique et logique # fonction analytique # fonction elliptique # fondement de l'analyse # géométrie différentielle # intégrale abélienne # théorie des nombres # topologie

01A50 ; 01A55 ; 01A60 ; 03B30 ; 11-03

... Lire [+]

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

- 166 p.
ISBN 978-2-225-82567-5

Logique Mathématiques Informatique

Localisation : Ouvrage RdC (BENZ)

algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage rationnel # logique des prédicats # modèle de Turing # programme intératif # résolution par unification # résolution sans variable # résolution sélective # système formel de Hoare # système formel de logique des propositions # système formel de logique du premier ordre # sémantique de la déduction # sémantique de langage du premier ordre algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage ...

03B05 ; 03B10 ; 03B22 ; 03B25 ; 03B30

... Lire [+]

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

- 134 p.
ISBN 978-2-225-84195-8

Axiomes

Localisation : Ouvrage RdC (SMUL)

Gödel # axiomatique # décidabilité # logique # logique des prédicats # théorème d'incomplétude de Gödel # théorème de Gödel-Tarki

03A05 ; 03B30

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

- 407 p.
ISBN 978-0-19-503964-1

Collected works , 0002

Localisation : Oeuvres complètes RdC (GODE)

Godel # axiome # finitude # fondement des mathématiques # hypothèse du continu # logique mathématique # oeuvres complètes # philosophie des mathématiques # épistémologie

00A30 ; 00A35 ; 03A05 ; 03B30 ; 03E50

... Lire [+]

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

- 493 p.
ISBN 978-90-277-1542-5

Synthese library , 0164

Localisation : Ouvrage RdC (Hand)

logique classique

03-XX ; 03B05 ; 03B30 ; 03B48

... Lire [+]

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

- 318 p.
ISBN 978-0-8218-1041-5

American mathematical society colloquium publications , 0041

Localisation : Collection 1er étage

logique # logique mathématique # logique symbolique # théorie d'ensembles

03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15

... Lire [+]

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

- 273 p.
ISBN 978-0-442-23109-5

Localisation : Ouvrage RdC (WANG)

logique mathématiques # logique symbolique

03B15 ; 03B30 ; 03B65 ; 68A40 ; 03-XX

... Lire [+]

Z