» książki » Mathematics - Logic
topmenu
 |
Lectures on Inductive Logic
ISBN: 9780199666478 / Angielski / Twarda / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its conclusion, aiming to provide a theory of how one should reason in the face of uncertainty. It has applications to decision making and artificial intelligence, as well as how scientists should reason when not in possession of the full facts.
In this book, Jon Williamson embarks on a quest to find a general, reasonable, applicable inductive logic (GRAIL), all the while examining why pioneers such... Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to...
|
cena:
437,82 |
 |
Abstractionism: Essays in Philosophy of Mathematics
ISBN: 9780199645268 / Angielski / Twarda / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Abstractionism, which is a development of Frege's original Logicism, is a recent and much debated position in the philosophy of mathematics. This volume contains 16 original papers by leading scholars on the philosophical and mathematical aspects of Abstractionism. After an extensive editors' introduction to the topic of abstractionism, five contributions deal with the semantics and meta-ontology of Abstractionism, as well as the so-called Caesar Problem. Four papers then discuss abstractionist epistemology, focusing on the idea of implicit definitions and non-evidential warrants...
Abstractionism, which is a development of Frege's original Logicism, is a recent and much debated position in the philosophy of mathematics. This volu...
|
cena:
437,82 |
 |
There's Something about Gödel: The Complete Guide to the Incompleteness Theorem
ISBN: 9781405197663 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Berto's highly readable and lucid guide introduces students and the interested reader to Godel's celebrated Incompleteness Theorem, and discusses some of the most famous - and infamous - claims arising from Godel's arguments.
Berto's highly readable and lucid guide introduces students and the interested reader to Godel's celebrated Incompleteness Theorem, and discuss...
|
cena:
437,96 |
 |
Fuzzy Logic: Applications, Systems & Technologies
ISBN: 9781624171512 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
438,17 |
 |
Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory
ISBN: 9789814551397 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, i.e. Dialectica and Diller-Nahm interpretation as well as Kreisel's modified realization, together with their Troelstra-style hybrids, are applied to...
This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel�...
|
cena:
440,80 |
 |
Logic in Wonderland: An Introduction to Logic Through Reading Alice's Adventures in Wonderland - Teacher's Guidebook
ISBN: 9789813208629 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ordinary textbooks for such a course are purely mathematical in their nature, and students usually find the course difficult, boring and very technical. Our approach motivates the students through reading the classic novel Alice's Adventures in Wonderland, written by Lewis Caroll who was not only one of the best storytellers but also a logician.
Ordinary textbooks for such a course are purely mathematical in their nature, and students usually find the course difficult, boring and very technica...
|
cena:
440,80 |
 |
Computability Theory and Foundations of Mathematics - Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathe
ISBN: 9789811259289 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
440,80 |
 |
Mathematical Logic, Computability, Complexity, & Randomness
ISBN: 9789819815937 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
440,80 |
 |
Thinking Matters: Critical Thinking as Creative Problem Solving
ISBN: 9789811216848 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
440,80 |
 |
Mathematics Almost Everywhere: In Memory of Solomon Marcus
ISBN: 9789813237308 / Angielski / Twarda / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
440,80 |
 |
Mathematical Foundations and Aspects of Discrete Mathematics
ISBN: 9789819822461 / Angielski / 28-02-2026 Książka dostępna od: 28-02-2026 |
|
Termin ukazania się książki: 28-02-2026
Książkę można już zamówić z rabatem 5% |
|
418,76 |
 |
Proof in Mathematics Education : Research, Learning and Teaching
ISBN: 9789460912450 / Angielski / Twarda / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Research on teaching and learning proof and proving has expanded in recent decades. This reflects the growth of mathematics education research in general, but also an increased emphasis on proof in mathematics education. This development is a welcome one for those interested in the topic, but also poses a challenge, especially to teachers and new scholars. It has become more and more difficult to get an overview of the field and to identify the key concepts used in research on proof and proving.
This book is intended to help teachers, researchers and graduate students to overcome the... Research on teaching and learning proof and proving has expanded in recent decades. This reflects the growth of mathematics education research in gene...
|
cena:
441,93 |
 |
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
ISBN: 9780521881289 / Angielski / Twarda / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is an accessible introduction to the subject of many-valued and fuzzy logic suitable for use in relevant advanced undergraduate and graduate courses. The text opens with a discussion of the philosophical issues that give rise to fuzzy logic - problems arising from vague language - and returns to those issues as logical systems are presented. For historical and pedagogical reasons, three-valued logical systems are presented as useful intermediate systems for studying the principles and theory behind fuzzy logic.
This volume is an accessible introduction to the subject of many-valued and fuzzy logic suitable for use in relevant advanced undergraduate and gradua...
|
cena:
442,46 |
 |
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
ISBN: 9780198529811 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is...
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students....
|
cena:
442,46 |
 |
Proof Analysis: A Contribution to Hilbert's Last Problem
ISBN: 9781107008953 / Angielski / Twarda / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.
Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.
|
cena:
442,46 |
 |
How to Prove It: A Structured Approach
ISBN: 9781108424189 / Angielski / Twarda / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
442,46 |
 |
Structural Proof Theory
ISBN: 9780521793070 / Angielski / Twarda / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a...
|
cena:
442,46 |
 |
Formal Languages in Logic
ISBN: 9781107020917 / Angielski / Twarda / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history...
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in...
|
cena:
442,46 |
 |
Interpreting Gödel: Critical Essays
ISBN: 9781107002661 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The logician Kurt Godel (1906 1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Godel's work on the foundations and philosophy of mathematics. Their essays explore almost every...
The logician Kurt Godel (1906 1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, am...
|
cena:
442,46 |
 |
Probabilistic Logic in a Coherent Setting
ISBN: 9781402009709 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general view of conditional probability. It is a flexible' and unifying tool suited for handling, e.g., partial probability assessments (not requiring that the set of all possible outcomes' be endowed with a previously given algebraic structure, such as a Boolean algebra), and conditional independence, in a...
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characte...
|
cena:
442,79 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
