Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Votre recherche a retourné 29 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
Essays in constructive mathematics par Edwards, Harold M. Publication : [S.l.] Springer 2004 . 232 p. , Contents and treatment are fresh and very different from the standard treatments Presents a fully constructive version of what it means to do algebra The exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader. 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
Mathematical thinking and writing A transition to higher mathematics par Maddox, Randall B. Publication : [S.l.] Academic Press 2002 . 304 p. , The ability to construct proofs is one of the most challenging aspects of the world of mathematics. It is, essentially, the defining moment for those testing the waters in a mathematical career. Instead of being submerged to the point of drowning, readers of Mathematical Thinking and Writing are given guidance and support while learning the language of proof construction and critical analysis. Randall Maddox guides the reader with a warm, conversational style, through the task of gaining a thorough understanding of the proof process, and encourages inexperienced mathematicians to step up and learn how to think like a mathematician. A student's skills in critical analysis will develop and become more polished than previously conceived. Most significantly, Dr. Maddox has the unique approach of using analogy within his book to clarify abstract ideas and clearly demonstrate methods of mathematical precision. 25 cm. Date : 2002 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Purity, spectra and localisation par Prest, Mike. Publication : Cambridge | New York Cambridge University Press 2009 . xxviii, 769 pages 25 cm. Date : 2009 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
A course on mathematical logic / par Srivastava, S. M. Publication : New York, NY : Springer, 2013 . 1 online resource. Date : 2013 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 Part II / par Börger, Egon. Publication : Berlin, Heidelberg : Springer Berlin Heidelberg, 1984 . 1 online resource (viii, 475 pages .). Date : 1984 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Logical frameworks for truth and abstraction : an axiomatic study / par Cantini, Andrea. Publication : . 1 online resource (xii, 461 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780444823069,  http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135,

Ajouter au panier
Admissibility of logical inference rules / par Rybakov, Vladimir V. Publication : . 1 online resource (617 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780444895059,  http://www.sciencedirect.com/science/publication?issn=0049237X&volume=136,

Ajouter au panier
From Peirce to Skolem : a neglected chapter in the history of logic / par Brady, Geraldine. Publication : . 1 online resource (xi, 468 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780444503343,  http://www.sciencedirect.com/science/publication?issn=09282017&volume=4,

Ajouter au panier
Mathematical logic / par Turing, Alan Mathison, Publication : . 1 online resource (xii, 293 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780444504234,

Ajouter au panier
A theory of sets / par Morse, Anthony P. Publication : . 1 online resource (xxxi, 130 pages) Disponibilité :  http://www.sciencedirect.com/science/book/9780123745675,  http://www.sciencedirect.com/science/publication?issn=00798169&volume=18,

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