» książki » Mathematics - Logic
topmenu
 |
Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic
ISBN: 9781848902664 / Angielski / Miękka / 728 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
148,90 |
 |
Passed Over in Silence. on Wittgenstein's Tractatus and Its System
ISBN: 9781848900080 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A hundred years ago, October 18th 1911, young Wittgenstein invaded Russells room to start studying with him. Seven years later he had finished the Tractatus Logico-Philosophicus; a highly original ethical deed that involved presenting a logical system in literary fashion. The current book sets out to show that despite its condensed literary presentation the Tractatus has a strong interpretation, both philosophically and in its technical fine-structure. It makes clear how Wittgensteins early views on ethics and logic are related to his symbolic turn. To this end, the symbolic nature of...
A hundred years ago, October 18th 1911, young Wittgenstein invaded Russells room to start studying with him. Seven years later he had finished the Tr...
|
cena:
148,90 |
 |
The Lambda Calculus. Its Syntax and Semantics
ISBN: 9781848900660 / Angielski / Miękka / 656 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively algebraic, computational, with more (coinductive) identifications, and finally set-theoretic.
The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to... The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with w...
|
cena:
148,90 |
 |
A Transition to Abstract Mathematics: Mathematical Thinking and Writing
ISBN: 9780123744807 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge is a defining moment for those considering a career in mathematics or related fields. A Transition to Abstract Mathematics teaches readers to construct proofs and communicate with the precision necessary for working with abstraction. It is based on two premises: composing clear and accurate mathematical arguments is critical in abstract mathematics, and that this skill requires development and support. Abstraction is the destination, not...
Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge i...
|
cena:
148,96 |
 |
Aristotelian Logic
ISBN: 9780791406908 / Angielski / Miękka / 545 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides detailed treatment of topics in traditional logic: the theory of terms; the theory of definition; the informal fallacies; and division and classification. Aristotelian Logic teaches techniques for solving semantic problems -- problems caused by confusion over terminology. It teaches the theory of definition -- the different kinds of definition and the criteria by which each is judged. It also teaches that definitions are like tools in that some are better suited for a particular task than others. Several chapters are devoted to informal fallacies. A new...
This book provides detailed treatment of topics in traditional logic: the theory of terms; the theory of definition; the informal fallacies; and divis...
|
cena:
149,51 |
 |
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
ISBN: 9780192895943 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
150,09 |
 |
Rigor and Structure
ISBN: 9780198822677 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means. John P. Burgess clarifies the nature of mathematical rigor and of mathematical structure, and above all of the relation between the two, taking into account some of the latest developments in mathematics, including the rise of experimental mathematics on the one hand and computerized formal proofs on the other hand....
While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structu...
|
cena:
150,09 |
 |
Taking on Gravity: A Guide for Practical Gravitation
ISBN: 9781478717751 / Angielski / Miękka / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
150,10 |
 |
Die Gödel'schen Unvollständigkeitssätze: Eine Geführte Reise Durch Kurt Gödels Historischen Beweis
ISBN: 9783827429995 / Niemiecki / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
150,44 |
 |
Zur Philosophie Der Mathematik: Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze
ISBN: 9783662562369 / Niemiecki / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
150,44 |
 |
Grenzen Der Mathematik: Eine Reise Durch Die Kerngebiete Der Mathematischen Logik
ISBN: 9783662566169 / Niemiecki / Miękka / 441 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Band bietet einen Überblick über die Kerngebiete der mathematischen Logik - bis zu den Grenzen mathematischen Wissens. Beispiele und Abbildungen erleichtern das Verständnis. Der Band bietet mehr als 70 Aufgaben, mit Lösungen auf der begleitenden Website.
Der Band bietet einen Überblick über die Kerngebiete der mathematischen Logik - bis zu den Grenzen mathematischen Wissens. Beispiele und Abbildungen...
|
cena:
150,44 |
 |
Einführung in Die Mathematische Logik: Ein Lehrbuch
ISBN: 9783834805782 / Niemiecki / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses umfassende Lehrbuch wurde geschrieben fur Studenten und Dozenten der Mathematik und Informatik, und wegen der ausfuhrlichen Darstellung der Godelschen Unvollstandigkeitssatze auch fur Fachstudenten der Philosophischen Logik.
Fur diese Neuauflage wurde der Text sachlich und stilistisch vollstandig uberarbeitet, er enthalt verbesserte Beweise und Ubungen mit Losungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhangig von Vorlesungen aber auch zum Selbststudium genutzt werden. " Dieses umfassende Lehrbuch wurde geschrieben fur Studenten und Dozenten der Mathematik und Informatik, und wegen der ausfuhrlichen Darstellung der God...
|
cena:
150,44 |
 |
Mathematisch-Strukturelle Grundlagen Der Informatik
ISBN: 9783540419235 / Niemiecki / Miękka / 622 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In funf sorgfaltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pradikatenlogik, die fur das Verstandnis des formalisierten Problemlosens entscheidend und damit fur Informatiker unerlasslich sind. Eine Einfuhrung in die intuitive Mengentheorie vermittelt zunachst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Pradikatenlogik aus...
In funf sorgfaltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen...
|
cena:
150,44 |
 |
Diskrete Mathematik Mit Grundlagen: Lehrbuch Für Studierende Von Mint-Fächern
ISBN: 9783658327590 / Niemiecki / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
150,44 |
 |
Meta-logical Investigations in Argumentation Networks
ISBN: 9781848901032 / Angielski / Miękka / 774 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book regards Dung's abstract argumentation frames as a general network, comparable to other networks such as general logics neural-nets, ecology nets, electrical networks, flow networks and so on. As such the book imports general meta-logical methods and applies them to argumentation and exports ideas from argumentation to general logics and networks. Among the topics discussed are Connection with modal logic Connections with the Peirce-Quine dagger connective Combining and merging networks Bipolar networks Numerical and weighted argumentation networks The equational approach to networks...
This book regards Dung's abstract argumentation frames as a general network, comparable to other networks such as general logics neural-nets, ecology ...
|
cena:
151,05 |
 |
Construction. Festschrift for Gerhard Heinzmann
ISBN: 9781848900165 / Angielski / Miękka / 708 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift is published on the occasion of Gerhard Heinzmann's 60th birthday. Its title "Construction" refers to Heinzmann's philosophical options (intuitionism, dialogical pragmatism, constructivism), as well as to his exceptional involvement in the building of many scientific enterprises and new scientific institutions. Sixty authors contributed to the volume, and the gathered essays witness the various centers of interest and intellectual achievements of Heinzmann. They are organised in five sections: (1) Henri Poincare; (2) History and Philosophy of Mathematics; (3) History and...
This Festschrift is published on the occasion of Gerhard Heinzmann's 60th birthday. Its title "Construction" refers to Heinzmann's philosophical optio...
|
cena:
151,05 |
 |
Burden of Proof, Presumption and Argumentation
ISBN: 9781107678828 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The notion of burden of proof and its companion notion of presumption are central to argumentation studies. This book argues that we can learn a lot from how the courts have developed procedures over the years for allocating and reasoning with presumptions and burdens of proof, and from how artificial intelligence has built precise formal and computational systems to represent this kind of reasoning. The book provides a model of reasoning with burden of proof and presumption, based on analyses of many clearly explained legal and non-legal examples. The model is shown to fit cases of everyday...
The notion of burden of proof and its companion notion of presumption are central to argumentation studies. This book argues that we can learn a lot f...
|
cena:
151,33 |
 |
Book of Proof
ISBN: 9780989472135 / Angielski / Twarda / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
151,53 |
 |
Lateral Solutions to Mathematical Problems
ISBN: 9781032370927 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a fresh approach to mathematical problem solving via lateral thinking. This book is appropriate for interested high school students, undergraduates and postgraduates, looking for relief from technical material and also looking for insight into the methodology of mathematics.
This book offers a fresh approach to mathematical problem solving via lateral thinking. This book is appropriate for interested high school students,...
|
cena:
151,78 |
 |
Parabolic Problems: 60 Years of Mathematical Puzzles in Parabola
ISBN: 9781032483191 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
151,78 |
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
