» książki » Mathematics - Logic
 |
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
ISBN: 9780674324497 / Angielski / Miękka / 680 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the publication in 1879 of Gottlob Frege's Begriffsschrift that opened a great epoch in the history of logic by presenting, in full-fledged form, the propositional calculus and quantification theory. Frege's book, translated in its entirety, begins the present volume. The emergence of two new... The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered ... |
cena:
210,36 |
 |
Handbook of Deontic Logic and Normative Systems
ISBN: 9781848901285 / Angielski / Twarda / 646 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics. Although building on decades of previous work in the field, it is the first collection to take into account the significant changes in the landscape of deontic logic that have occurred in the past twenty years. These changes have resulted largely, though not entirely, from the interaction of deontic logic with a variety of other fields, including computer science, legal theory, organizational theory, economics, and linguistics. This...
The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and relat...
|
cena:
211,48 |
 |
Constructibility and Mathematical Existence
ISBN: 9780198239758 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and philosophers of logic, mathematics, and science.
Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of...
|
cena:
212,73 |
 |
Introduction to Lattices and Order
ISBN: 9780521784511 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ordered structures have been increasingly recognized in recent years due to an explosion of interest in theoretical computer science and all areas of discrete mathematics. This book covers areas such as ordered sets and lattices. A key feature of ordered sets, one which is emphasized in the text, is that they can be represented pictorially. Lattices are also considered as algebraic structures and hence a purely algebraic study is used to reinforce the ideas of homomorphisms and of ideals encountered in group theory and ring theory. Exposure to elementary abstract algebra and the rotation of...
Ordered structures have been increasingly recognized in recent years due to an explosion of interest in theoretical computer science and all areas of ...
|
cena:
215,05 |
 |
Proof Complexity Generators
ISBN: 9781009611701 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
215,10 |
 |
Metamathematics, Machines and Gödel's Proof
ISBN: 9780521585330 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Godel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems in mathematics, the advent of electronic computers and sophisticated software means in practice there are many quite effective systems for automated reasoning that can be used for checking mathematical proofs. This book describes the use of a computer program to check the proofs of several celebrated theorems in metamathematics including those of Godel...
The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Godel's first incomplet...
|
cena:
215,10 |
 |
The Matrix Algebra of Logic: From Logic Operators to Cellular Automata
ISBN: 9783112230046 / Angielski / 09-03-2026 Książka dostępna od: 09-03-2026 |
|
Termin ukazania się książki: 09-03-2026
Książkę można już zamówić z rabatem 5% |
|
204,55 |
 |
Constructivism in Mathematics, Vol 1: Volume 121
ISBN: 9780444702661 / Angielski / Twarda / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of... These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamath... |
cena:
215,45 |
 |
Logic Colloquium 2007
ISBN: 9781107696778 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay s conjecture, and on...
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings i...
|
cena:
215,48 |
 |
Conjecture and Proof
ISBN: 9780883857229 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Budapest semesters in mathematics were initiated with the aim of offering undergraduate courses that convey the tradition of Hungarian mathematics to English-speaking students. This book is an elaborate version of the course on 'Conjecture and Proof'. It gives miniature introductions to various areas of mathematics by presenting some interesting and important, but easily accessible results and methods. The text contains complete proofs of deep results such as the transcendence of e, the Banach-Tarski paradox and the existence of Borel sets of arbitrary (finite) class. One of the purposes...
The Budapest semesters in mathematics were initiated with the aim of offering undergraduate courses that convey the tradition of Hungarian mathematics...
|
cena:
215,50 |
 |
Computability: Computable Functions, Logic, and the Foundations of Mathematics
ISBN: 9780981550725 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Now in a new edition --the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Godel's incompleteness theorems. Part IV considers...
Now in a new edition --the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivat...
|
cena:
215,58 |
 |
From Asynchronous Logic to the Standard Model to Superflight to the Stars: Volume 2 Superluminal Cp and CPT Symmetry, U(4) Complex General Relativity
ISBN: 9780984553051 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
215,58 |
 |
The Equivalence of Elementary Particle Theories and Computer Languages: Quantum Computers, Turing Machines, Standard Model, Superstring Theory, and a
ISBN: 9780974695822 / Angielski / Miękka / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This breakthrough book establishes deep connections between elementary particle theories such as the Standard Model and Superstring theories, and computer languages such as Assembly language, C, and C++ suitably extended. It also proves, for the first time, that the universe must be quantum in nature based on Godels celebrated theorem (that there are statements in any non-trivial mathematical deductive system that cannot be proved or disproved.) Therefore all attempts at building a deterministic fundamental theory of physics (such as Bohms theory) are unacceptable.
This breakthrough book establishes deep connections between elementary particle theories such as the Standard Model and Superstring theories, and comp...
|
cena:
215,58 |
 |
Propositional Logics Third Edition
ISBN: 9780983452164 / Angielski / Twarda / 510 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Propositional Logics presents the history, philosophy, and mathematics of the major systems of propositional logic. Classical logic, modal logics, many-valued logics, intuitionism, paraconsistent logics, and dependent implication are examined in separate chapters. Each begins with a motivation in the originators' own terms, followed by the standard formal semantics, syntax, and completeness theorem. The chapters on the various logics are largely self-contained so that the book can be used as a reference. An appendix summarizes the formal semantics and axiomatizations of the logics. The view...
Propositional Logics presents the history, philosophy, and mathematics of the major systems of propositional logic. Classical logic, modal logics, man...
|
cena:
215,58 |
 |
From Qubits to the Unified Superstandard Model with Embedded Superstrings a Derivation
ISBN: 9780998457598 / Angielski / Twarda / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an explanation of the number of space-time dimensions in our universe based on the number of qubit interactions and on the nature of the Asynchronous Logic parallelism requirements (both discussed in earlier books). Both approaches set the number of dimensions of our space-time to 4. The book also shows that our Unified SuperStandard Model can be viewed as a distinct variant of SuperString theory due to the presence of strings within dressed free particles and the presence of SuperSymmetry. In brief the theory dresses particles with strings unlike SuperString... This book provides an explanation of the number of space-time dimensions in our universe based on the number of qubit interactions and on the natur... |
cena:
215,58 |
 |
Time and Space in Formal Logic
ISBN: 9781938421686 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
215,58 |
 |
Predicate Logic
ISBN: 9780983452188 / Angielski / Twarda / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The forms and scope of logic rest on assumptions of how language and reasoning connect to
experience. In this volume an analysis of meaning and truth provides a foundation for studying modern propositional and predicate logics. Chapters on propositional logic, parsing propositions, and meaning, truth and reference give a basis for criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples of formalizations of propositions and arguments illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers,... The forms and scope of logic rest on assumptions of how language and reasoning connect to
experience. In this volume an analysis of meaning and t... |
cena:
215,58 |
 |
Unified Logic: How to Divide by Zero, Solve the Liar's Paradox, and Understand the Nature of Truth
ISBN: 9781732536609 / Angielski / Twarda / 864 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
215,75 |
 |
Topics in Subset Space Logic
ISBN: 9783639233315 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this work, we will first provide a comprehensive outlook of subset space logic in detail to set the basis for our discussions. Then, we will import some simple truth preserving operations and observe that these operations are valid in subset space logic as well. Equipped with all these tools, we will observe that the subset space logic is strong enough to axiomatize the dynamic aspects of knowledge change, in particular, the public announcement logic. We will then provide the full axiomatization of subset space public announcement logic and its then straightforward completeness ...
In this work, we will first provide a comprehensive outlook of subset space logic in detail to set the basis for our discussions. Then, we will impo...
|
cena:
219,18 |
 |
The Scientific Art of Logic
ISBN: 9781666749830 / Angielski / Twarda / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
219,65 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
