Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-1312-6
Proceedings of symposia in applied mathematics , 0012
Localisation : Collection 1er étage
03A05 ; 03Bxx
... 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (LOND)
analyse non-standard # axiomatique d'Euclide # dagme de Frege # dialectique grecque # fondement des mathématiques # formalisation du second ordre # logique et heuristique # mathématique post-godelienne et philosophie # mode platonicien de parole # métaphysique du calcul # philosophie des mathématiques # preuve d'indépendance de Cohen # preuve de complétude # rigueur informe # théorie des ensembles
03A05 ; 03B48 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 418 p.
ISBN 978-3-540-15673-4
Lecture notes in mathematics , 1141
Localisation : Collection 1er étage
03Bxx ; 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-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.
- 166 p.
ISBN 978-2-7606-0770-5
Seminaire de mathematiques superieures , 0099
Localisation : Salle de manutention
algebre universelle # logique # theorie des classes
03Bxx ; 08A40 ; 08Axx
... 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-0-444-88543-2
Colloquia mathematica societatis janos bolyai , 0054
Localisation : Colloque 1er étage (BUDA)
algebre cylindrique # logique algebrique # logique du premier ordre # logique module
03-06 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 360 p.
ISBN 978-0-8218-5027-5
Contemporary mathematics , 0029
Localisation : Collection 1er étage
démonstration automatique de théorème # informatique # intelligence artificielle # logique générale # logique mathématique # mécanisation des preuves
03B35 ; 03Bxx ; 68-XX ; 68T15 ; 68Txx
... 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.
Localisation : Colloque 1er étage (IASI)
algorithme # analyse numérique # informatique # logique mathématique # multimédia # polymère # # réseau neuronal # théorie de l'approximation
03Bxx ; 65Dxx ; 65Lxx ; 92B20 ; 92Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 389 p.
ISBN 978-0-521-55961-4
London mathematical society lecture note series , 0222
Localisation : Collection 1er étage
algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # théorie de la preuve # théorie des ensembles
algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # ...
03B15 ; 03Bxx ; 03C45 ; 03D15 ; 68S05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 541 p.
ISBN 978-3-540-60017-6
Lecture notes in computer science , 0933
Localisation : Collection 1er étage
lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis
03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-61434-0
Lecture notes in logic , 0006
Localisation : Colloque 1er étage (BRUN)
Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie
03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 419 p.
ISBN 978-0-521-63550-9
London mathematical society lecture note series , 0259
Localisation : Collection 1er étage
arithmétique # logique # model de calcul # théorie de preuve # théorie des ensembles
03-06 ; 03B48 ; 03Bxx ; 03Cxx ; 03Exx ; 03Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 516 p.
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (BUFF)
logique # théorie de la démonstration # intuition # théorie de Church # théorie de quantification # théorie de Cohen # théorie de Brouwer # théorie de Gentzen # théorie de Herbrand
03-06 ; 03Bxx ; 03Fxx ; 00B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvii-705 p.
ISBN 978-981-4401-52-4
World scientific proceedings series on computer engineering and information science , 5
Localisation : Colloque 1er étage (XIAN)
logique # logique floue # programmation # intelligence artificielle
03-06 ; 03Bxx ; 03B70 ; 03E72 ; 68Qxx ; 00B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 145 p.
ISBN 978-90-277-0882-3
Synthese library , 0123
Localisation : Ouvrage RdC (KUIP)
logique mathématique et fondation # logique générale # probabilité et logique inductive # théorie de la probabilité et processus stochastique # fondation de la théorie de la probabilité # axiome
03Bxx ; 60A05 ; 60Axx
... Lire [+]