m

F Nous contacter

0

Documents  03-06 | enregistrements trouvés : 134

O

-A +A

P Q

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

- 454 p.
ISBN 978-83-01-02145-0

Banach center publications , 0009

Localisation : Salle des périodiques 1er étage

algèbre universel # algèbre classique # système algébrique # structure ordonnée # théorie des groupes # logique # treillis # logique quantique

08-06 ; 06-06 ; 20-06 ; 03-06

... Lire [+]

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

- ix; 200 p.
ISBN 978-0-8218-4833-3

Contemporary mathematics , 0530

Localisation : Collection 1er étage

logique mathématique # ensemble combinatoire # théorie de Ramsey # ultrafiltres

03C20 ; 03E05 ; 03H05 ; 05C55 ; 28E15 ; 03-06 ; 00B25

... Lire [+]

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


ISBN 978-0-19-850127-5

Oxford logic guides , 0036

Localisation : Colloque 1er étage (VENI)

analyse constructive # analyse récursive # fondement # logique d'ordre supérieur # mathématique constructive # structure logique # système constructif # théorie de la preuve # théorie des types de logique

03-06 ; 03B15 ; 03F50 ; 03F60 ; 03F65

... Lire [+]

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


ISBN 978-0-19-851476-3

Localisation : Colloque 1er étage (MUSS)

fondement # logique mathématique # philosophie des mathématiques # épistémologie

00A30 ; 03-06 ; 03A05

... Lire [+]

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

Travaux de logique , 0007

Localisation : Colloque 1er étage (NEUC)

Gödel # logique # preuve non constructive # théorie des modèles # théorème d'indécidabilité # théorème de Gödel

03-06

... Lire [+]

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


ISBN 978-3-540-05920-2

Lecture notes in mathematics , 0274

Localisation : Collection 1er étage

complexe co-tangent # déformation de torseur # formalisation des mathématiques constructives de Bishop # formalisme de dualité en géométrie algébrique # géométrie algébrique # hypothèse du continu # logique # schéma de groupe # système déductif et catégorie # théorie des faisceaux # topos classifiant # treillis continu

03-06 ; 03Exx ; 06B23 ; 14Axx ; 14L99

... Lire [+]

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

- xi, 255 p.
ISBN 978-3-642-21349-6

Lecture notes in computer science , 6680

Localisation : Collection 1er étage

informatique # intélligence artificielle # enseignement # logique formelle

03-06 ; 68-06 ; 97-06

... Lire [+]

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

- 418 p.
ISBN 978-3-540-08138-8

Lecture notes in computer science , 0048

Localisation : Collection 1er étage

théorie des automates # combinatoire # réseau de Petri # démonstration de théorème # langage algébrique # schéma programme # arborescence # fondement des mathématiques # informatique théorique # langage # logique # programmation # théorie constructive # théorie de la preuve

00Bxx ; 68-06 ; 94-06 ; 03-06

... Lire [+]

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

Localisation : Colloque 1er étage (MARS)

algorithme pour tableau pour calcul propositionnel intuition # circonscription et modèles minimaux pour logique proportionn # méthode de recherche de la preuve en logique linéaire # preuve de théorème # preuve de théorème par élimination de modèles # tableau analytique # tableau pour logique modale propositionnelle de non-monotoni # tableaux clausaux avec liens et lemmes # élagage de l'espace de recherche en faisant échec à la crois

03-06 ; 03Bxx ; 03Fxx

... Lire [+]

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

- 494 p.
ISBN 978-0-7204-2233-7

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (BERK)

algèbre cylindrique # algèbre de Boole # catégorie algébrique # foncteur algbrique # forcing # géométrie elliptique # insolvabilité # mathématique non-archimédienne # mesure de Haar # système de Lewis # théorie algébrique # théorie de la définition # théorie des ensembles de Godel-Bernays # théorie des modèles # théorie quantique

03-06 ; 03Cxx

... Lire [+]

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

Localisation : Colloque 1er étage (BERK)

aleph indice alpha # algèbre cylindrique # algèbre de Boole # deux puissance aleph indice 0 # géométrie elliptique # théorie de quantification # théorie des modèles # théorie des nombres

03-06 ; 03Cxx

... Lire [+]

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

- 229 p.

Proceedings of the Steklov institute of mathematics , 0098

Localisation : Collection 1er étage

03-06

... Lire [+]

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

Lecture notes in mathematics , 0125

Localisation : Collection 1er étage

axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve automatique # système d'axiome en preuve de théorème automatique # théorie de la preuve # théorie de la résolution # théorème de complétude de Herbrand # validité constructive axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve ...

03-06 ; 03F03 ; 03F50 ; 03Fxx ; 18C10

... Lire [+]

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


ISBN 978-0-444-86706-3

Studies in logic and the foundations of mathematics , 0111

Localisation : Colloque 1er étage (SING)

analyse non standard # axiome du choix # cardinal grand séquentiellement # combinatoire à valeur booléenne # ensemble # forcing # indécidabilité # manifestation d'attribut # matroide # méthode axiomatique # orthologique # quantification de Henkin # structure # système formel # théorie de la récursion # théorie des modèles # théorème d'approximation de Barwise # équivalence récursive

03-06 ; 03Dxx

... Lire [+]

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

- 436 p.
ISBN 978-0-521-63549-3

London mathematical society lecture note series , 0258

Localisation : Collection 1er étage

combinatoire # logique # logique de propositions # logique de prédicats # modèle de calcul # théorie d'ensembles # théorie de preuve

03-06 ; 03Exx ; 03Fxx

... Lire [+]

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

- 1174 p.
ISBN 978-3-540-10849-8

Lecture notes in mathematics , 0872

Localisation : Collection 1er étage

algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles

03-06 ; 03-XX ; 03Cxx ; 03Exx

... Lire [+]

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

- xi; 330 p.
ISBN 978-0-8218-4812-8

Contemporary mathematics , 0533

Localisation : Collection 1er étage

théorie des ensembles # théorie de Ramsey

03C55 ; 03E15 ; 03E17 ; 03E35 ; 03E60 ; 46L05 ; 54A20 ; 54A25 ; 54D20 ; 91A44 ; 03-06 ; 03Exx ; 00B25

... Lire [+]

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


ISBN 978-3-540-08521-8

Lecture notes in mathematics , 0619

Localisation : Collection 1er étage

algèbre de Boole # algèbre de Lindenbaum # arbre # bon ordonnancement # calcul différentiel # consistance de théorie ZF + L puissance 1 différent HOD # décidabilité # extensibilité de structure # extension de fin de modèle d'arithmétique # filtre # forcing aléatoire # groupe abélien # hypothèse du continu # langage L (Q indice 1) # modèle d'axiome de Peano # méthode nonstandard # nombre cardinal # ordonnancement linéaire # preuve engendrée par hiérarchie # propriété de Baire # propriété infinitoire # quantification Q indice alpha # relation entre epsilon-delta procédure # récursion de type fini # réduction de la théorie des types # sigma saturé # théorie de classe # théorie de la hiérarchie # théorie des ensembles # théorie des ensembles alternative # topologie # treillis de degré de constructibilité algèbre de Boole # algèbre de Lindenbaum # arbre # bon ordonnancement # calcul différentiel # consistance de théorie ZF + L puissance 1 différent HOD # décidabilité # extensibilité de structure # extension de fin de modèle d'arithmétique # filtre # forcing aléatoire # groupe abélien # hypothèse du continu # langage L (Q indice 1) # modèle d'axiome de Peano # méthode nonstandard # nombre cardinal # ordonnancement linéaire # preuve engendrée par ...

00Bxx ; 03-06

... Lire [+]

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

- 160 p.
ISBN 978-0-8218-2786-4

DIMACS series in discrete mathematics and theorerical computer science , 0058

Localisation : Collection 1er étage

théorie des nombres # relation de partition # théorie descriptive des ensembles # grand cardinal # convergence des resultats # indépendance des résultats

03-06 ; 03Exx ; 03E02 ; 03E15 ; 03E35 ; 03E55

... Lire [+]

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

Publications mathematiques de l'universite paris vii , 0027

Localisation : Publication 1er étage

logique

03-02 ; 03-06

... Lire [+]

Z