Réseaux de calcul Des grappes aux nuages de calcul
Réseaux de calcul étudie le coeur de trois nouvelles architectures informatiques distribuées : les grappes, les grilles et les nuages de calcul. Il présente leur système nerveux central respectif constitué d'un réseau complexe d'interconnexion et de ...
(paru le 01/04/2011, consulté 533 fois)
Introduction pratique aux logiques classiques Avec exercices corrigés
Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel, aussi bien qu'au souhait de reproduire des raisonnements humains dans des systèmes informatiques.
Cet...
(paru le 01/09/2010, consulté 982 fois)
The Moment of Proof Mathematical Epiphanies
In The Moment of Proof, Donald Benson attempts to convey to
general readers the feeling of eureka - the joy of
discoverythat mathematicians feel when they first encounter
an elegant proof. This is not an introduction to
mathematics so much as an introduct...
(paru le 01/05/2001, consulté 1346 fois)
Combinatorial Optimization
This book offers an in-depth overview of polyhedral
methods and efficient algorithms in combinatorial
optimization.These methods form a broad, coherent and
powerful kernel in combinatorial optimization, with strong
links to discrete mathematics, mathemati...
(paru le 17/01/2003, consulté 2362 fois)
Alternative Logics. Do Sciences Need Them?
The contributions collected here address the question
whether the usage of logic in the sciences, especially in
modern physics, requires a deviation from classical
mathematical logic.
Written for: Researchers, graduate students
Contents
General Topics...
(paru le 24/11/2003, consulté 2192 fois)
Godel's Proof
In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel...
(paru le 31/10/2001, consulté 1714 fois)
The Elements of Advanced Mathematics
The gap between the rote, calculational learning mode of
calculus and ordinary differential equations and the more
theoretical learning mode of analysis and abstract algebra
grows ever wider and more distinct, and students' need for
a well-guided transiti...
(paru le 07/03/2002, consulté 1785 fois)
Theory and Problems of Logic
The explosive progress of logic, since Frege, has produced applications in linguistics, mathematics and computer science. Students and practitioners of any of these fields, and of philosophy, will find this book an excellent reference or introduction. Now...
(paru le 01/08/1998, consulté 2294 fois)
Mathematical logic
This classic introduction to the main areas of mathematical
logic provides the basis for a first graduate course in the
subject. It embodies the viewpoint that mathematical logic
is not a collection of vaguely related results, but a
coherent method of att...
(paru le 01/01/2001, consulté 1821 fois)
Free Logic Selected Essays
Free logic is an important field of philosophical logic
that first appeared in the 1950s. J. Karel Lambert was one
of its founders and coined the term itself. The essays in
this collection (written over a period of 40 years) explore
the philosophical foun...
(paru le 15/11/2002, consulté 1845 fois)
Logic for Dummies
Clarify your thinking and apply logic to everyday life
Looking to learn logic, but feel lost? Relax! This friendly guide explains logic concepts in plain English, from proofs, predicate logic, and paradox to symbolic logic, semantic structures, and s...
(paru le 01/11/2006, consulté 3633 fois)
Logique épistémique et philosophie des mathématiques
La logique du savoir-faire se réduit-elle à la logique du savoir ?
Paul Gochet entend montrer qu'il faut répondre négativement à cette question. Pour cela, il compare les mérites respectifs des différentes logiques développées récemment pour analy...
(paru le 12/11/2007, consulté 4132 fois)