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.
- ix; 207 p.
ISBN 978-1-4704-4332-0
Contemporary mathematics , 0752
Localisation : Collection 1er étage
Simon Thomas # théorie des ensembles # théorie descriptive des ensembles # théorie des modèles internes # théorie ergodique # combinatoire # théorie des modèles
03E15 ; 03E35 ; 03E45 ; 03E60 ; 03E75 ; 03C45 ; 28D05 ; 05C45 ; 00B30 ; 03Exx ; 03-06
... 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.
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 [+]
