» książki  » Mathematics - Logic
topmenu
 |
Paradoxes and Inconsistent Mathematics
ISBN: 9781108995009 / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
131,53 |
 |
Abstraction and Infinity
ISBN: 9780198822684 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction. A familiar way of introducing concepts in mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which introduces the concept of number by stating that two concepts have the same number if and only if the objects falling under each one of them can be put in one-one correspondence. This principle is at the core of neo-logicism. In the first two chapters of the book, Mancosu provides a historical...
Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction...
|
cena:
131,53 |
 |
Grundlegungen Zu Einer Allgemeinen Affinen Geometrie
ISBN: 9783764351717 / Niemiecki / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In den letzten Jahrzehnten wurden eine ganze Reihe unterschiedlicher Konzepte zur Analyse allgemeiner affin-geometrischer Strukturen entwickelt. In der vor- liegenden Abhandlung werden diese Konzepte zueinander in Beziehung gesetzt und auf eine breite axiomatische Grundlage gestellt, die fur die weitere Entwick- lung dieses Forschungsgebietes zukunftsweisend ist. In den letzten Jahrzehnten wurden eine ganze Reihe unterschiedlicher Konzepte zur Analyse allgemeiner affin-geometrischer Strukturen entwickelt. In... |
cena:
131,64 |
 |
The Foundations of Mathematics
ISBN: 9781904987147 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for students who plan to specialize in logic, as well as for those who are interested in the applications of logic to other areas of mathematics. Used as a text, it could form the basis of a beginning graduate-level course. There are three main chapters: Set Theory, Model Theory, and Recursion Theory. The Set Theory chapter describes the set-theoretic foundations of...
Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, a...
|
cena:
131,64 |
 |
Dictionary of Argumentation: A Introduction to Argumentation Studies
ISBN: 9781848902718 / Angielski / Miękka / 640 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
131,64 |
 |
Einführung in Die Mengenlehre
ISBN: 9783662638651 / Niemiecki / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
131,64 |
 |
Einstieg in die beweisorientierte Mathematik: Mit Versuch und Irrtum zum Beweis
ISBN: 9783662663554 / Niemiecki / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Schulmathematik vermittelt meist nur einen sehr eingeschränkten Einblick in die beweisorientierte und axiomatisch aufgebaute moderne Mathematik – Studienanfänger werden daher oft unvorbereitet von der Hochschulmathematik getroffen.Dieses Lehrbuch erleichtert den nötigen Übergang zum selbstständigen Erarbeiten und Lernen mathematischer Beweise und Inhalte: Es motiviert die Lesenden, selbst aktiv zu werden und sich alleine an den gegebenen Problemstellungen zu versuchen. Dabei wird viel Wert auf leichte Sprache, ausführliche Erklärungen und detaillierte Beispiele gelegt. Somit ist...
Die Schulmathematik vermittelt meist nur einen sehr eingeschränkten Einblick in die beweisorientierte und axiomatisch aufgebaute moderne Mathematik â...
|
cena:
131,64 |
 |
Fuzzy Sets and Fuzzy Logic: The Foundations of Application -- From a Mathematical Point of View
ISBN: 9783322868138 / Niemiecki / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Methods from Fuzzy Logic since the end of the 80th were the sources for remarkable applications of computer modelling in fields which before looked essentially inaccessible. The main tool for that, the fuzzy controllers - a method of rule based rough modelling using fuzzy information - is presented in this book and investigated from a mathematical point of view. The basic notions from fuzzy set theory and many-valued logic are explained in detail, and a theory of fuzzy equations and systems of them is developed and applied to fuzzy controllers. The final chapter discussed methodological...
Methods from Fuzzy Logic since the end of the 80th were the sources for remarkable applications of computer modelling in fields which before looked es...
|
cena:
131,64 |
 |
Kurt G?del: Metamathematisches Genie
ISBN: 9783031431500 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
131,64 |
 |
Logik Für Informatiker
ISBN: 9783519005186 / Niemiecki / Miękka / 177 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logik ist eine wichtige Grundlage der Informatik. Sie ist fur die Formalisierung der Softwaretechnik, fur Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie fur die logische Programmierung und die Kunstliche Intelligenz.
Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren fur Studierende der Informatik und informatiknaher Studiengange halt. Es gibt eine Einfuhrung in die Logik aus der Sicht der Informatik." Logik ist eine wichtige Grundlage der Informatik. Sie ist fur die Formalisierung der Softwaretechnik, fur Verifikation und Spezifikation von Programme...
|
cena:
131,64 |
 |
An Introduction to Proof via Inquiry-Based Learning
ISBN: 9781470463335 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. An Introduction to Proof via Inquiry-Based Learning is a textbook for the transition to proof course for mathematics majors. Designed to promote active learning through inquiry, the book features a highly structured set of leading questions and explorations. The reader is expected to construct their own understanding by engaging with the material. The content ranges over topics traditionally included in transitions courses: logic, set theory including cardinality, the topology of the real line, a bit of number theory, and more. The exposition guides and mentors the reader through an adventure...
An Introduction to Proof via Inquiry-Based Learning is a textbook for the transition to proof course for mathematics majors. Designed to promote activ...
|
cena:
132,18 |
 |
The Baseball Mysteries: Challenging Puzzles for Logical Detectives
ISBN: 9781032365053 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains numerous logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. The puzzles are solved by reasoning from the rules of the game and a few facts. The puzzles offer a unique and scintillating connection between abstract logic and gritty reality.
This book contains numerous logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. The puzzles are so...
|
cena:
132,18 |
 |
Sets, Models and Proofs
ISBN: 9783319924137 / Angielski / Miękka / 141 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory.
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic an...
|
cena:
132,80 |
 |
There's Something about Gödel: The Complete Guide to the Incompleteness Theorem
ISBN: 9781405197670 / Angielski / Miękka / 254 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:
133,78 |
 |
The Axiom of Choice
ISBN: 9781904987543 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents an overview of the development of the Axiom of Choice since its introduction by Zermelo at the beginning of the last century. The book surveys the Axiom of Choice from three perspectives. The first, or mathematical perspective, is that of the "working mathematician." This perspective brings into view the manifold applications of the Axiom of Choice-usually in the guise of Zorns Lemma- in a great variety of areas of mathematics. The second, foundational, perspective is that of the logician or constructive mathematician concerned with the foundational status of the Axiom of...
This book presents an overview of the development of the Axiom of Choice since its introduction by Zermelo at the beginning of the last century. The b...
|
cena:
133,79 |
 |
Handbook of Mathematical Fuzzy Logic. Volume 2
ISBN: 9781848900547 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuses on many-valued logics with linearly ordered truth values and has yielded elegant and deep mathematical theories and challenging problems, thus continuing to attract an ever increasing number of researchers. This two-volume handbook provides an up-to-date systematic presentation of the best-developed...
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of...
|
cena:
133,79 |
 |
Handbook of Mathematical Fuzzy Logic. Volume 1
ISBN: 9781848900394 / Angielski / Miękka / 492 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuses on many-valued logics with linearly ordered truth values and has yielded elegant and deep mathematical theories and challenging problems, thus continuing to attract an ever increasing number of researchers. This two-volume handbook provides an up-to-date systematic presentation of the best-developed...
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of...
|
cena:
133,79 |
 |
Advances in Modal Logic Volume 9
ISBN: 9781848900684 / Angielski / Miękka / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability...
Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of ...
|
cena:
133,79 |
 |
Errors of Reasoning. Naturalizing the Logic of Inference
ISBN: 9781848901148 / Angielski / Miękka / 620 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Errors of Reasoning is the long-awaited continuation of the author's investigation of the logic of cognitive systems. The present focus is the individual human reasoner operating under the conditions and pressures of real life with capacities and resources the natural world makes available to him. The ensuing logic is thus agent-centred, goal-directed, and time-and-action oriented. It is also as psychologically real a logic as consistent with lawlike regularities of the better-developed empirical sciences of cognition. A point of departure for the book is that good reasoning is typically...
Errors of Reasoning is the long-awaited continuation of the author's investigation of the logic of cognitive systems. The present focus is the individ...
|
cena:
133,79 |
 |
Proceedings of the International Workshop on Combinatorial Algorithms 2008
ISBN: 9781904987741 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Workshop on Combinatorial Algorithms was established in 1989 as the Australasian Workshop on Combinatorial Algorithms. As a consequence of the workshop's success in attracting mathematicians and computer scientists from around the world, it was decided at the 2006 meeting to go global, to change the workshop's name, and to hold it in appropriate venues around the world. The workshop supports basic research on the interface between mathematics and computing, specifically * Algorithms & Data Structures * Complexity Theory * Algorithms on Graphs & Strings * Combinatorial...
The International Workshop on Combinatorial Algorithms was established in 1989 as the Australasian Workshop on Combinatorial Algorithms. As a conseque...
|
cena:
133,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
