CIRM - Videos & books LibraryDocuments

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

- xi; 294 p.
ISBN 978-1-4939-9050-4

Fields institute communications , 0082

Localisation : Collection 1er étage

analyse numérique # algèbre informatique # quantification de la fiabilité et de l'incertitude # théorie de la complexité # combinatoire # analyse des erreurs # théorie des perturbations # mathématiques expérimentales # épistémologie # fondement des mathématiques

Documents

Thesaurus

Revues

Documents 03-06 | enregistrements trouvés : 137

Algorithms and complexity in mathematics, epistemology, and science.Proceedings of 2015 and 2016 ACMES conferences Fillion, Nicolas ; Corless, Robert M. ; Kotsireas, Ilias | Springer;The Fields Institute for Research in Mathematical Sciences 2019 Nouveau

Model theory of modules, algebras and categories :international conferenceErice # July 28-August 2, 2017 Facchini, Alberto ; Gregory, Lorna ; L'Innocente, Sonia ; Tressl, Marcus | American Mathematical Society 2019 Nouveau

Trends in set theory.Simon Fest conference in honor of Simon Thomas's 60th birthdayPiscataway # September 15-17, 2017 Coskey, Samuel ; Sargsyan, Grigor | American Mathematical Society 2020 Nouveau

Logic and algebra.Proceedings of the international conference dedicated to the memory of Roberto MagariPontignano # April 26-30, 1994 Ursini, Aldo ; Agliano, Paolo | CRC Press 1996 Nouveau

Foundations of mathematics.Logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthdayCambridge # March 27-29, 2015 Caicedo, Andrés Eduardo ; Cummings, James ; Koellner, Peter ; Larson, Paul B. | American Mathematical Society 2017 Nouveau

Forcing, iterated ultrapowers, and Turing degrees.Lecture notes from the 2010 and 2011 Asian Initiative for Infinity (AII) logic summer schoolSingapore # 2010 and 2011 Chong, Chitat ; Feng, Qi ; Slaman, Theodore A. ; Woodin, W. Hugh ; Yang, Yue | World Scientific 2016 Nouveau

Algebra, logic and number theory.Proceedings of the 3rd joint conferences on algebra, logic and number theoryBedlewo # June 8-13, 2014 Gladki, Pawel ; Koprowski, Przemyslaw ; Kuhlmann, Franz-Viktor ; Misik, Ladislav ; Sladek, Andrzej ; Szymiczek, Kazimierz | Polish Academy of Sciences 2016 Nouveau

Appalachian set theory 2006-2012.Based on the Appalachian set theory workshop series during the period 2006-2012 Cummings, James ; Schimmerling, Ernest | Cambridge University Press 2013 Nouveau

Model theory and applications:lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.) Bressanone # june 20-28, 1975 Mangani, P. | Springer;Fondazione CIME 2011 Nouveau

Groups and model theory:in honor of Rüdiger Gbel's 70th birthday,May 30-June 3, 2011#Conference center "Die Wolfsburg", Mülheim an der Ruhr, Germany Strüngmann, Lutz ; Droste, Manfred ; Fuchs, Laszlo ; Tent, Katrin | American Mathematical Society 2012 Nouveau

Proceedings of the 11th Asian logic conference:in honor of professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore# 22-27 June 2009 Arai, Toshiyasu ; Feng, Qi ; Kim, Byunghan ; Wu, Guohua ; Yang, Yue | World Scientific 2012 Nouveau

Quantitative logic and soft computing:proceedings of the QL&SC 2012 Wang, Guojun ; Zhao, Bin ; Li, Yongming | World Scientific 2012 Nouveau

Tools for teaching logic.Third international congress, TICTTL 2011Salamanca # june 1-4, 2011 Blackburn, Patrick ; Van Ditmarsch, Hans ; Manzano, Maria ; Soler-Toscano, Fernando | Springer 2011 Nouveau

Automata, languages and programming.Proceedings of a symposium organized by the Institut de Recherche d'Informatique et d'Automatique (IRIA)Rocquencourt # july 3-7, 1972 Nivat, M. | North-Holland Publishing Co.;American Elsevier Publishing Co., Inc. 1973 Nouveau

Model theoretic methods in finite combinatorics.AMS-ASL joint special sessionWashington # january 5-8, 2009 Grohe, Martin ; Makowsky, Johann A. | American Mathematical Society 2011 Nouveau

Algorithmic aspects of algebra and logic.Collected papers dedicated to academician Sergei Ivanovich Adian on the occasion of his 80th birthday | MAIK Nauka/Interperiodica Publishing 2011 Nouveau

Finite and algorithmic model theory.Based on a workshopDurham # january 9-13, 2006 Esparza, Javier ; Michaux, Christian ; Steinhorn, Charles | Cambridge University Press 2011 Nouveau

Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai.Proceedings of a conferenceMontréal # june 18-20, 2009 Hart, Bradd ; Kucera, Thomas G. ; Pillay, Anand ; Scott, Philip J. ; Seely, Robert A. G. | American Mathematical Society 2011 Nouveau

Model theory and applications:based on the Euro-conference in model theory and applicationsRavello # may 27 - june 1, 2002 Bélair, L. ; Chatzidakis, Z. ; D'Aquino, P. ; Marker, D. ; Otero, M. ; Point, F. ; Wilkie, A. | ARACNE 2002 Nouveau

Set theory and its applications.Annual Boise extravaganza in set theoryBoise # 1995-2010 Babinkostova, L. ; Caicedo, A. E. ; Geschke, S. ; Scheepers, M. | American Mathematical Society 2011 Nouveau

Filtrer

Type

Codes MSC

Documents

Références

Auteurs

Thesaurus

Algorithms and complexity in mathematics, epistemology, and science.
Proceedings of 2015 and 2016 ACMES conferences Fillion, Nicolas ; Corless, Robert M. ; Kotsireas, Ilias | Springer;The Fields Institute for Research in Mathematical Sciences 2019 Nouveau

Model theory of modules, algebras and categories :
international conference
Erice # July 28-August 2, 2017 Facchini, Alberto ; Gregory, Lorna ; L'Innocente, Sonia ; Tressl, Marcus | American Mathematical Society 2019 Nouveau

Trends in set theory.
Simon Fest conference in honor of Simon Thomas's 60th birthday
Piscataway # September 15-17, 2017 Coskey, Samuel ; Sargsyan, Grigor | American Mathematical Society 2020 Nouveau

Logic and algebra.
Proceedings of the international conference dedicated to the memory of Roberto Magari
Pontignano # April 26-30, 1994 Ursini, Aldo ; Agliano, Paolo | CRC Press 1996 Nouveau

Foundations of mathematics.
Logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthday
Cambridge # March 27-29, 2015 Caicedo, Andrés Eduardo ; Cummings, James ; Koellner, Peter ; Larson, Paul B. | American Mathematical Society 2017 Nouveau

Forcing, iterated ultrapowers, and Turing degrees.
Lecture notes from the 2010 and 2011 Asian Initiative for Infinity (AII) logic summer school
Singapore # 2010 and 2011 Chong, Chitat ; Feng, Qi ; Slaman, Theodore A. ; Woodin, W. Hugh ; Yang, Yue | World Scientific 2016 Nouveau

Appalachian set theory 2006-2012.
Based on the Appalachian set theory workshop series during the period 2006-2012 Cummings, James ; Schimmerling, Ernest | Cambridge University Press 2013 Nouveau

Model theory and applications:
lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.)
Bressanone # june 20-28, 1975 Mangani, P. | Springer;Fondazione CIME 2011 Nouveau

Groups and model theory:
in honor of Rüdiger Gbel's 70th birthday,
May 30-June 3, 2011#
Conference center "Die Wolfsburg", Mülheim an der Ruhr, Germany Strüngmann, Lutz ; Droste, Manfred ; Fuchs, Laszlo ; Tent, Katrin | American Mathematical Society 2012 Nouveau

Proceedings of the 11th Asian logic conference:
in honor of professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore# 22-27 June 2009 Arai, Toshiyasu ; Feng, Qi ; Kim, Byunghan ; Wu, Guohua ; Yang, Yue | World Scientific 2012 Nouveau

Quantitative logic and soft computing:
proceedings of the QL&SC 2012 Wang, Guojun ; Zhao, Bin ; Li, Yongming | World Scientific 2012 Nouveau

Tools for teaching logic.
Third international congress, TICTTL 2011
Salamanca # june 1-4, 2011 Blackburn, Patrick ; Van Ditmarsch, Hans ; Manzano, Maria ; Soler-Toscano, Fernando | Springer 2011 Nouveau

Automata, languages and programming.
Proceedings of a symposium organized by the Institut de Recherche d'Informatique et d'Automatique (IRIA)
Rocquencourt # july 3-7, 1972 Nivat, M. | North-Holland Publishing Co.;American Elsevier Publishing Co., Inc. 1973 Nouveau

Model theoretic methods in finite combinatorics.
AMS-ASL joint special session
Washington # january 5-8, 2009 Grohe, Martin ; Makowsky, Johann A. | American Mathematical Society 2011 Nouveau

Algorithmic aspects of algebra and logic.
Collected papers dedicated to academician Sergei Ivanovich Adian on the occasion of his 80th birthday | MAIK Nauka/Interperiodica Publishing 2011 Nouveau

Finite and algorithmic model theory.
Based on a workshop
Durham # january 9-13, 2006 Esparza, Javier ; Michaux, Christian ; Steinhorn, Charles | Cambridge University Press 2011 Nouveau

Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai.
Proceedings of a conference
Montréal # june 18-20, 2009 Hart, Bradd ; Kucera, Thomas G. ; Pillay, Anand ; Scott, Philip J. ; Seely, Robert A. G. | American Mathematical Society 2011 Nouveau

Model theory and applications:
based on the Euro-conference in model theory and applications
Ravello # may 27 - june 1, 2002 Bélair, L. ; Chatzidakis, Z. ; D'Aquino, P. ; Marker, D. ; Otero, M. ; Point, F. ; Wilkie, A. | ARACNE 2002 Nouveau

Set theory and its applications.
Annual Boise extravaganza in set theory
Boise # 1995-2010 Babinkostova, L. ; Caicedo, A. E. ; Geschke, S. ; Scheepers, M. | American Mathematical Society 2011 Nouveau