Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Affiner votre recherche

Votre recherche a retourné 36 résultats.

˜The œevolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition par Linsky, Bernard. Publication : Cambridge | New York Cambridge University Press 2011 . vii, 407 pages , "Originally published in 1910, Principia Mathematica led to the development of mathematical logic and computers and thus to information sciences. It became a model for modern analytic philosophy and remains an important work. In the late 1960s the Bertrand Russell Archives at McMaster University in Canada obtained Russell's papers, letters and library. These archives contained the manuscripts for the new Introduction and three Appendices that Russell added to the second edition in 1925. Also included was another manuscript, 'The Hierarchy of Propositions and Functions', which was divided up and re-used to create the final changes for the second edition. These documents provide fascinating insight, including Russell's attempts to work out the theorems in the flawed Appendix B, 'On Induction'. An extensive introduction describes the stages of the manuscript material on the way to print and analyzes the proposed changes in the context of the development of symbolic logic after 1910"-- 26 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Computational logic and human thinking : how to be artificially intelligent par Kowalski, Robert. Publication : Cambridge | New York : Cambridge University Press 2011 . xxii, 310 pages , "The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented"-- | "The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English"-- 24 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Discrete thoughts : essays on mathematics, science, and philosophy / par Kac,, Mark. Publication : Boston : Birkhäuser, 2008 . xii, 264, [2] pages : 24 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Dynamics of viscous compressible fluids / par Feireisl,, Eduard. Publication : [S.l.] : Oxford University Press, USA, 2004 . 224 p. ; , The book develops the most recent ideas and concepts of the mathematical theory of viscous, compressible and heat conducting fluids. Two main goals are pursued: (I) global existence theory within the framework of variational (weak) solutions for the full system of the Navier-Stokes equations supplemented with large data; and (II) optimal existence results for the barotropic flows with respect to the available a priori estimates. The book is intended to be a compact and self-contained presentation of the most recent results of the mathematical theory of viscous compressible fluids. In order to place the text in better perspective, each chapter is concluded with a section devoted to historical notes including references to all-important and new results. The material is by no means intended to be the last word on the subject but rather to include possible directions of future research. It is aimed at research mathematicians, theoretical physicists, engineers and graduate students. 24 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Essays in the philosophy and history of logic and mathematics / par Murawski, Roman. Publication : Amsterdam ; | New York, NY : Rodopi, 2010 . 343 pages ; , A collection of previously published essays; those originally written in Polish have been translated into English for this publication. 23 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Essays on the foundations of mathematics par Pasch, Moritz, Publication : Dordrecht | New York Springer 2010 . xi, 245 pages 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Fisher, Neyman, and the Creation of Classical Statistics. par Lehmann, Erich, Publication : New York : Springer 2010 . 1 online resource (iv, 150 pages) Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
On the metaphysics of experimental physics / par Rogers,, Karl. Publication : [S.l.] : Palgrave Macmillan, 2005 . 264 p. ; , This provocative and critical work addresses the question of why scientific realists and positivists consider experimental physics to be a natural and empirical science. Taking insights from contemporary science studies, continental philosophy, and the history of physics, this book describes and analyzes the metaphysical presuppositions that underwrite the technological use of experimental apparatus and instruments to explore, model, and understand nature. 22 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Strict finitism and the logic of mathematical applications par Ye, Feng, Publication : Dordrecht | New York Springer Science. 2011 . xii, 272 pages 25 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
The philosophy of mathematical practice   Publication : [S.l.] Oxford University Press, USA 2008 . 460 p. , Contemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas of work one could list developments of the classical foundational programs, analytic approaches to epistemology and ontology of mathematics, and developments at the intersection of history and philosophy of mathematics. But anyone familiar with contemporary philosophy of mathematics will be aware of the need for new approaches that pay closer attention to mathematical practice. This book is the first attempt to give a coherent and unified presentation of this new wave of work in philosophy of mathematics. The new approach is innovative at least in two ways. First, it holds that there are important novel characteristics of contemporary mathematics that are just as worthy of philosophical attention as the distinction between constructive and non-constructive mathematics at the time of the foundational debates. Secondly, it holds that many topics which escape purely formal logical treatment--such as visualization, explanation, and understanding--can nonetheless be subjected to philosophical analysis. The Philosophy of Mathematical Practice comprises an introduction by the editor and eight chapters written by some of the leading scholars in the field. Each chapter consists of a short introduction to the general topic of the chapter followed by a longer research article in the area. The eight topics selected represent a broad spectrum of contemporary philosophical reflection on different aspects of mathematical practice: diagrammatic reasoning and representational systems; visualization; mathematical explanation; purity of methods; mathematical concepts; the philosophical relevance of category theory; philosophical aspects of computer science in mathematics; the philosophical impact of recent developments in mathematical physics. 24 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Foundations of set theory / par Fraenkel, Abraham Adolf, Publication : . 1 online resource (x, 404 pages) Disponibilité :  http://www.sciencedirect.com/science/book/9780720422702,  http://www.sciencedirect.com/science/publication?issn=0049237X&volume=67,

Ajouter au panier
Foundations of set theory par Fraenkel, Abraham Adolf, Publication : . 1 online resource (x, 415 pages) Disponibilité :  http://www.sciencedirect.com/science/book/9780444533883,

Ajouter au panier
Vous ne trouvez pas ce que vous cherchez ?
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha