» książki » Mathematics - Logic
topmenu
 |
The Homotopy Theory of (∞,1)-Categories
ISBN: 9781107101364 / Angielski / Twarda / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An introductory treatment to the homotopy theory of homotopical categories, presenting several models and comparisons between them.
An introductory treatment to the homotopy theory of homotopical categories, presenting several models and comparisons between them.
|
cena:
533,10 |
 |
Large Cardinals, Determinacy and Other Topics: The Cabal Seminar, Volume IV
ISBN: 9781107182998 / Angielski / Twarda / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
533,10 |
 |
Computable Structure Theory: Within the Arithmetic
ISBN: 9781108423298 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
533,10 |
 |
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
ISBN: 9781009229692 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
533,10 |
 |
Computational Logic and Human Thinking
ISBN: 9780521194822 / Angielski / Twarda / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn how computational logic, as developed in artificial intelligence, can be applied to everyday situations.
Learn how computational logic, as developed in artificial intelligence, can be applied to everyday situations.
|
cena:
533,10 |
 |
A Course on Set Theory
ISBN: 9781107008175 / Angielski / Twarda / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This fresh approach to set theory covers the theoretical fundamentals as well as outline connections with other parts of mathematics.
This fresh approach to set theory covers the theoretical fundamentals as well as outline connections with other parts of mathematics.
|
cena:
533,10 |
 |
Cognition and Intractability: A Guide to Classical and Parameterized Complexity Analysis
ISBN: 9781107043992 / Angielski / Twarda / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
533,10 |
 |
Mathematical Logic
ISBN: 9780470280744 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Mathematical Logic" presents mathematical or "symbolic" logic as a reliable tool for deductive reasoning. It trains the student in both the established "Hilbert" style of writing proofs in mathematics, as well as in the emerging "equational" style that finds fruitful application in computer science curricula, especially in the areas of software engineering and program correctness. There are extensive sets of examples, remarks, problems, references, and textual discussions that aim to help the reader understand what makes logic a powerful tool in the scheme of mathematical truths.
"Mathematical Logic" presents mathematical or "symbolic" logic as a reliable tool for deductive reasoning. It trains the student in both the establish...
|
cena:
534,87 |
 |
Fuzzy Systems: Theory and Applications
ISBN: 9781632388537 / Angielski / Twarda / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
535,08 |
 |
Mathematics & Common Sense: A Case of Creative Tension
ISBN: 9781568812700 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From the Preface: "This book is addressed to all who are curious about the nature of mathematics and its role in society. It is neither a text book nor a specialists' book. It consists of a number of loosely linked essays that may be read independently and for which I have tried to provide a leitmotif by throwing light on the relationship between mathematics and common sense. In these essays I hope to foster a critical attitude towards both the existence of common sense in mathematics and the ambiguous role that it can play."
From the Preface: "This book is addressed to all who are curious about the nature of mathematics and its role in society. It is neither a text book no...
|
cena:
536,56 |
 |
Fundamentals of Mathematical Logic
ISBN: 9781568812625 / Angielski / Twarda / 894 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Godel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic."
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Godel's Incompleteness Theor...
|
cena:
536,56 |
 |
Logical Labyrinths
ISBN: 9781568814438 / Angielski / Twarda / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author s puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science....
This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common languag...
|
cena:
536,56 |
 |
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15
ISBN: 9781568811697 / Angielski / Twarda / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium ...
|
cena:
536,56 |
 |
Model Theory of Fields: Lecture Notes in Logic 5, Second Edition
ISBN: 9781568812816 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory.
The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields t...
|
cena:
536,56 |
 |
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
ISBN: 9781568812755 / Angielski / Twarda / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion...
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamenta...
|
cena:
536,56 |
 |
Intensionality : Lecture Notes in Logic 22
ISBN: 9781568812670 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume highlights the particular interdisciplinary nature of intensionality with articles spanning the areas of philosophy, linguistics, mathematics, and computer science.
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality...
|
cena:
536,56 |
 |
A Level of Martin-Lof Randomness
ISBN: 9781578087518 / Angielski / Twarda / 130 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work addresses the notion of compression ratios greater than what has been known for random sequential strings in binary and larger radix-based systems as applied to those traditionally found in Kolmogorov complexity. A culmination of the author's decade-long research that began with his discovery of a compressible random sequential string, the book maintains a theoretical-statistical level of introduction suitable for mathematical physicists. It discusses the application of ternary-, quaternary-, and quinary-based systems in statistical communication theory, computing, and... This work addresses the notion of compression ratios greater than what has been known for random sequential strings in binary and larger radix-base... |
cena:
536,56 |
 |
Proceedings of the 14th and 15th Asian Logic Conferences
ISBN: 9789813237544 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
536,56 |
 |
Foundations and Applications of Possibility Theory - Proceedings of Fapt '95
ISBN: 9789810222895 / Angielski / Twarda / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
536,56 |
 |
Transition to Proofs
ISBN: 9789811272080 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook is aimed at transitioning high-school students who have already developed proficiency in mathematical problem solving from numerical-answer problems to proof-based mathematics. It serves to guide students on how to write and understand mathematical proofs. It covers proof techniques that are commonly used in several areas of mathematics, especially number theory, combinatorics, and analysis. In addition to just teaching the mechanics of proofs, this book showcases key materials in these areas, thus introducing readers to interesting mathematics along with proof techniques.
This textbook is aimed at transitioning high-school students who have already developed proficiency in mathematical problem solving from numerical-ans...
|
cena:
536,56 |
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
