» książki » Mathematics - Logic
topmenu
 |
Deductive Systems and the Decidability Problem for Hybrid Logics
ISBN: 9788323336952 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of the book itself. The first type of results concern...
This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed...
|
cena:
232,00 |
 |
Logic and Its Applications: 11th Indian Conference, Icla 2025, Kolkata, India, February 3-5, 2025, Proceedings
ISBN: 9783031896095 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
233,45 |
 |
Reasoning Web. Explainable Artificial Intelligence: 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures
ISBN: 9783030314224 / Angielski / Miękka / 283 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
233,45 |
 |
Conceptual Mathematics
ISBN: 9780521719162 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics, Second Edition, introduces the concept of 'category' for the learning, development, and use of mathematics, to both beginning students and general readers, and to practicing mathematical scientists. The treatment does not presuppose knowledge of specific fields, but rather develops, from basic definitions, such elementary categories as discrete dynamical systems and directed graphs; the fundamental ideas are then illuminated by examples in...
In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics,...
|
cena:
233,66 |
 |
The Logic of Infinity
ISBN: 9781107678668 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the door to an intricate axiomatic theory of sets which was born in the decades that followed. Written for the motivated novice, this book provides an overview of key ideas in set theory, bridging the gap between technical accounts of mathematical foundations and popular accounts of logic. Readers will learn of the formal construction of the classical number systems, from the natural numbers to the real numbers and beyond, and see how set theory has...
Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the d...
|
cena:
233,66 |
 |
Sets for Mathematics
ISBN: 9780521010603 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advanced undergraduate or beginning graduate students need a unified foundation for their study of geometry, analysis, and algebra. For the first time, this book uses categorical algebra to build such a foundation, starting from intuitive descriptions of mathematically and physically common phenomena and advancing to a precise specification of the nature of Categories of Sets. Set theory as the algebra of mappings is introduced and developed as a unifying basis for advanced mathematical subjects such as algebra, geometry, analysis, and combinatorics. The formal study evolves from general...
Advanced undergraduate or beginning graduate students need a unified foundation for their study of geometry, analysis, and algebra. For the first time...
|
cena:
233,66 |
 |
Intensionality: Lecture Notes in Logic 22
ISBN: 9781568812687 / Angielski / Miękka / 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:
235,04 |
 |
A New Introduction to Modal Logic
ISBN: 9780415126007 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic.
A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of... This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion...
|
cena:
235,04 |
 |
Referential Opacity and Modal Logic
ISBN: 9780415998444 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. First Published in 2004. Routledge is an imprint of Taylor & Francis, an informa company.
First Published in 2004. Routledge is an imprint of Taylor & Francis, an informa company.
|
cena:
235,04 |
 |
The Magic Garden of George B and Other Logic Puzzles
ISBN: 9789814675055 / Angielski / Twarda / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The author presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution - moreover, one that requires a chain of lesser puzzles to be solved first. The reader is thus taken on a journey through a maze of subsidiary problems that has all the earmarks of an entertaining detective story. This book leads the unwary reader into deep logical waters through seductively entertaining logic puzzles. One example is Boolean algebra with such weird looking equations as 1+1=0 - a subject which today plays a vital role, not only...
The author presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution -...
|
cena:
235,10 |
 |
Building Proofs: A Practical Guide
ISBN: 9789814641296 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
235,10 |
 |
Circularity: A Common Secret to Paradoxes, Scientific Revolutions and Humor
ISBN: 9789814723671 / Angielski / Twarda / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 'Circularity' is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries, and on the other hand is used to trick the mind into believing the impossible. Alongside mathematical revolutions that eventually led to the invention of the computer, the book describes ancient paradoxes that arise from circular thinking. Another aspect of circularity, its ability to entertain, leads to a surprising insight on the time old question 'What is humor'. The book presents the ubiquity of circularity in many fields, and its power to confuse and to instruct.See...
'Circularity' is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries, and on the other hand is us...
|
cena:
235,10 |
 |
Realism in Mathematics
ISBN: 9780198240358 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application of mathematics in the physical sciences reinforces this picture of mathematics as an objective study. For philosophers, however, this realism about mathematics raises serious questions: What are mathematical things? Where are they? How do we know about them? Offering a scrupulously fair treatment of both mathematical and philosophical concerns, Penelope Maddy here delineates and defends a novel version of mathematical realism. She answers the...
Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application...
|
cena:
235,94 |
 |
Automata and Languages
ISBN: 9780198534426 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
238,26 |
 |
An Introduction to String Diagrams for Computer Scientists
ISBN: 9781009625708 / Angielski / Twarda / 122 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
238,26 |
 |
Introduction to Homotopy Type Theory
ISBN: 9781108844161 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
238,30 |
 |
Logical Dilemmas: The Life and Work of Kurt Gödel
ISBN: 9781568812564 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This biography of the logician and philosopher Kurt Godel is an in-depth account to integrate details of his personal life with his work. Based on the author's intensive study of Godel's papers and surviving correspondence, the author examines the life of
This biography of the logician and philosopher Kurt Godel is an in-depth account to integrate details of his personal life with his work. Based on the...
|
cena:
239,94 |
 |
Mathematical Logic
ISBN: 9780387942582 / Angielski / Twarda / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe- matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is Godel's completeness theorem, which shows that the con- sequence relation coincides with formal provability: By means of a calcu- lus consisting of simple formal inference rules, one can obtain all...
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe- matical ...
|
cena:
241,34 |
 |
Classical Descriptive Set Theory
ISBN: 9780387943749 / Angielski / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. It includes a wide variety of examples, exercises (over 400), and applications, in order to illustrate the general concepts and results of the theory.
This text provides a first basic course in classical descriptive set theory and covers material with which mathematicians interested in the subject for its own sake or those that wish to use it in their field... Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced...
|
cena:
241,34 |
 |
A Course in Mathematical Logic for Mathematicians
ISBN: 9781441906144 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory has shown that insights acquired in the study of formal languages could be used fruitfully in solving old problems of conventional mathematics. (ii) Mathematics has been and is moving with growing acceleration from the set-theoretic language of structures to the language and intuition of (higher) categories, leaving behind...
1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some ...
|
cena:
241,34 |
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
