» książki » Mathematics - Logic
topmenu
 |
Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan
ISBN: 9783030102036 / Angielski / Miękka / 1309 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
805,10 |
 |
The New Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of Its Creators
ISBN: 9781071635964 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
805,10 |
 |
The New Mathematical Coloring Book
ISBN: 9781071635995 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. The New Mathematical Coloring Book (TNMCB) includes striking results of the past 15-year renaissance that produced new approaches, advances, and solutions to problems from the first edition. A large part of the new edition “Ask what your computer can do for you,” presents the recent breakthrough by Aubrey de Grey and works by Marijn Heule, Jaan Parts, Geoffrey Exoo, and Dan Ismailescu. TNMCB introduces new open problems and conjectures that will pave the way to the future keeping the book in the center of the field. TNMCB presents mathematics of coloring as an evolution of...
The New Mathematical Coloring Book (TNMCB) includes striking results of the past 15-year renaissance that produced new approaches, advance...
|
cena:
805,10 |
 |
Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods
ISBN: 9783031530654 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume comprises selected contributions by the participants of the second "Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods" conference, which took place at the University of Almería, Spain, in July 2022. The conference was devoted to several seemingly unrelated fields: functor categories, model theory of modules, algebraic analysis (including linear control systems), and constructive category theory, to mention just a few. The fact that these fields are actually related is a very recent realization. The connections between...
This volume comprises selected contributions by the participants of the second "Functor Categories, Model Theory, Algebraic Analysis and Construc...
|
cena:
805,10 |
 |
Mathematical Aspects of Natural and Formal Languages
ISBN: 9789810219147 / Angielski / Twarda / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text contains original reviews in the field of mathematical linguistics and formal language theory. Topics covered include: contextual grammars; grammar systems; automata theory; the algebraic approach to computer science; cryptography; grammatical inference; and natural language processing.
This text contains original reviews in the field of mathematical linguistics and formal language theory. Topics covered include: contextual grammars; ...
|
cena:
806,40 |
 |
Essential Logic: Basic Reasoning Skills for the Twenty-First Century
ISBN: 9780195155051 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Essential Logic offers:
. Readability. A dialogue-like yet challenging style makes this introductory logic textbook engaging and interesting. . Essentials. Deductive and inductive reasoning, formal and informal logic are placed within a philosophical perspective. . Rigor. A careful sequence of learning steps communicates the essential skills of reasoning and directs students to write, support, and argue by connecting criticism to key concepts. . Relevance. Explanations and examples... Essential Logic offers:
. Readability. A dialogue-like yet challenging style makes this introductory logic textbook... |
cena:
807,03 |
 |
Inner Models and Large Cardinals
ISBN: 9783110163681 / Angielski / Twarda / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is an introduction to inner model theory, an area of set theory which is concerned with fine structural inner models reflecting large cardinal properties of the set theoretic universe. The monograph contains a detailed presentation of general fine structure theory as well as a modern approach to the construction of small core models, namely those models containing at most one strong cardinal, together with some of their applications. The final part of the book is devoted to a new approach encompassing large inner models which admit many Woodin cardinals. The... This volume is an introduction to inner model theory, an area of set theory which is concerned with fine structural inner models reflecting large c... |
cena:
807,17 |
 |
What Is a Logical System?
ISBN: 9780198538592 / Angielski / Twarda / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in...
This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading...
|
cena:
811,68 |
 |
Models of Peano Arithmetic
ISBN: 9780198532132 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
811,68 |
 |
Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach
ISBN: 9780521898331 / Angielski / Twarda / 744 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The author not only provides a thorough description of the theory, but also details its applications, on the one hand to the...
The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constr...
|
cena:
816,28 |
 |
Optimization Methods for Logical Inference
ISBN: 9780471570356 / Angielski / Twarda / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning to combine. Thus the need for logical inference models, particularly those that involve quantitative methods, is growing. As generated in operations research and computer science, the methods of combinatorial optimization can be powerful tools for understanding and solving logical inference problems which arise in Artificial Intelligence (AI) and other fields.
Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning to combine. Thus the need for lo...
|
cena:
817,91 |
 |
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel's Theorems, Set Theory, Model Theory
ISBN: 9780198500513 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the ever-growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The foundations having been laid in Part 1, this book starts with recursion theory, a topic essential...
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science...
|
cena:
823,18 |
 |
A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definab
ISBN: 9780691199658 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
830,69 |
 |
Tools and Techniques in Modal Logic: Volume 142
ISBN: 9780444500557 / Angielski / Twarda / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.
This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer th...
|
cena:
831,12 |
 |
New Methods and Paradigms for Modeling Dynamic Processes Based on Cellular Automata
ISBN: 9781799826507 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
834,13 |
 |
Proper and Improper Forcing
ISBN: 9781107168367 / Angielski / Twarda / 1066 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifth publication in the Perspectives in Logic series, studies set-theoretic independence results (independence from the usual set-theoretic ZFC axioms), in particular for problems on the continuum. The author gives a complete presentation of the theory of proper forcing and its relatives, starting from the beginning and avoiding the...
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig...
|
cena:
834,69 |
 |
Logic of Mathematics: A Modern Course of Classical Logic
ISBN: 9780471060260 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic
Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book available that contains complete and precise proofs of all of these important theorems: * Godel's theorems of completeness and incompleteness * The independence of Goodstein's... A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, comp...
|
cena:
838,36 |
 |
Quantification in Nonclassical Logic: Volume 153
ISBN: 9780444520128 / Angielski / Twarda / 615 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and
language in ancient times; they were studied by traditional informal methods until the 20th century. In the last century the tools became highly mathematical, and both modal logic and quantification found numerous applications in Computer Science. At the same time many other kinds of nonclassical logics were investigated and applied to Computer Science. Although there exist several good books in propositional modal logics, this book is the first... Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and
language in anc... |
cena:
840,40 |
 |
Model Theory of Operator Algebras
ISBN: 9783110768213 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Continuous model theory is an extension of classical first order logic which is best suited for classes of structures which are endowed with a metric. Applications have grown considerably in the past decade. This book is dedicated to showing how the techniques of continuous model theory are used to study C*-algebras and von Neumann algebras. This book geared to researchers in both logic and functional analysis provides the first self-contained collection of articles surveying the many applications of continuous logic to operator algebras that have been obtained in the last 15 years.
Continuous model theory is an extension of classical first order logic which is best suited for classes of structures which are endowed with a metric....
|
cena:
849,66 |
 |
Laws of Form: A Fiftieth Anniversary
ISBN: 9789811247422 / Angielski / Twarda / 700 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
850,12 |
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
