» książki » Mathematics - Logic
topmenu
 |
Conceptual Notation and Related Articles
ISBN: 9780198243595 / Angielski / Twarda / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Professor Bynum has contributed a biographical essay, introduction, and extensive bibliography. ong Copy
This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Profes...
|
cena:
582,75 zł |
 |
Mathematics as a Science of Patterns
ISBN: 9780198250142 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics is about things that really exist.
This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathe...
|
cena:
283,00 zł |
 |
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
ISBN: 9780198500490 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic forms the basis of mathematics and is a fundamental part of any mathematics course. This book provides students with a clear and accessible introduction to this important subject, using the concept of model as the main focus and covering a wide area of logic. The chapters of the book cover propositional calculus, boolean algebras, predicate calculus and completelness theorems with answeres to all of the exercises and the end of the volume. This is an ideal introduction to mathematics and logic for the advanced undergraduate student.
Logic forms the basis of mathematics and is a fundamental part of any mathematics course. This book provides students with a clear and accessible intr...
|
cena:
859,45 zł |
 |
Collected Works: Volume IV: Correspondence, A-G
ISBN: 9780198500735 / Angielski / Twarda / 688 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kurt Godel was one of the most outstanding logicians of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory, permitting time travel into the past. The book is...
Kurt Godel was one of the most outstanding logicians of the twentieth century, famous for his work on the completeness of logic, the incompleteness of...
|
cena:
1320,61 zł |
 |
Collected Works: Volume V: Correspondence, H-Z
ISBN: 9780198500759 / Angielski / Twarda / 696 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kurt Godel was one of the most outstanding logicians of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Godel's writings. The first three volumes, already published consists of the papers and essays of Godel. The final two volumes of the set deal with Godel's correspondence with his contemporary mathematicians, this fifth volume consists of material from correspondents from H-Z.
Kurt Godel was one of the most outstanding logicians of the 20th century and a giant in the field. This book is part of a five volume set that makes a...
|
cena:
1482,01 zł |
 |
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
ISBN: 9780198501275 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Per Martin-Lof's work on the development of constructive type theory has had a tremendous impact on the fields of logic and the foundations of mathematics. It also has broader philosophical significance and important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Lof over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable...
Per Martin-Lof's work on the development of constructive type theory has had a tremendous impact on the fields of logic and the foundations of mathema...
|
cena:
478,99 zł |
 |
Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning
ISBN: 9780198503064 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the design of intelligent systems. The book shows that reasoning processes - the drawing on inferences and changing one's beliefs - can be viewed as belonging to the realm of practical reason by embedding logical theories into the broader context of the theory of rational choice. The book unifies lively and significant strands of research in logic, philosophy, economics and artificial intelligence. It elaborates on the relevant theories and provides a...
Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the design o...
|
cena:
928,62 zł |
 |
Fibring Logics
ISBN: 9780198503811 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.
Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working t...
|
cena:
582,75 zł |
 |
Elementary Categories, Elementary Toposes
ISBN: 9780198514732 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book covers elementary aspects of category theory and topos theory for graduate students in mathematics, computer science, and logic; it has few mathematical prerequisites, and uses categorical methods throughout, rather than beginning with set theoretical foundations. Working with key concepts such as Cartesian closedness, adjunctions, regular categories, and the internal logic of a topos, the book features full statements and elementary proofs for the central theorems, including the fundamental theorem of toposes, the sheafification theorem, and the construction of Grothendieck toposes...
The book covers elementary aspects of category theory and topos theory for graduate students in mathematics, computer science, and logic; it has few m...
|
cena:
674,98 zł |
 |
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
ISBN: 9780198526339 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including...
|
cena:
778,74 zł |
 |
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
ISBN: 9780198529804 / Angielski / Twarda / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is...
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students....
|
cena:
1032,38 zł |
 |
Geometric Stability Theory
ISBN: 9780198534372 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gives an account of the fundamental results in geometric stability theory, a subject that has grown out of categoricity and classification theory. This approach studies the fine structure of models of stable theories, using the geometry of forking; this often achieves global results relevant to classification theory. Topics range from Zilber-Cherlin classification of infinite locally finite homogenous geometries, to regular types, their geometries, and their role in superstable theories. The structure and existence of definable groups is featured prominently, as is work by...
This book gives an account of the fundamental results in geometric stability theory, a subject that has grown out of categoricity and classification t...
|
cena:
651,92 zł |
 |
Diagonalization and Self-Reference
ISBN: 9780198534501 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a systematic, unified treatment of fixed points as they occur in Godel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.
" This book presents a systematic, unified treatment of fixed points as they occur in Godel's incompleteness proofs, recursion theory, combinatory logic...
|
cena:
1193,79 zł |
 |
Automorphisms of First-Order Structures
ISBN: 9780198534686 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This superb survey of the study of mathematical structures details how both model theoretic methods and permutation theoretic methods are useful in describing such structures. In addition, the book provides an introduction to current research concerning the connections between model theory and permutation group theory. Comprised of a collection of articles--some introductory, some more in-depth, and some containing previously unpublished research--the book will prove invaluable to graduate students meeting the subject for the first time as well as to active researchers studying mathematical...
This superb survey of the study of mathematical structures details how both model theoretic methods and permutation theoretic methods are useful in de...
|
cena:
449,01 zł |
 |
Arithmetic, Proof Theory, and Computational Complexity
ISBN: 9780198536901 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory": the study of bounded arithmetic, propositional proof systems, length of proof, and similar themes, and the relations of these topics to computational complexity theory. Issuing from a two-year international collaboration, the book contains articles concerning the existence of the most general unifier, a special case of Kreisel's conjecture on length-of-proof, propositional logic proof size, a new alternating logtime algorithm for boolean formula evaluation and relation to branching...
This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory": the study of bounded arithmetic, proposit...
|
cena:
435,18 zł |
 |
Substructural Logics
ISBN: 9780198537779 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and...
Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguis...
|
cena:
536,63 zł |
 |
Modal Logic
ISBN: 9780198537793 / Angielski / Twarda / 624 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist can use the book as a source...
For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models...
|
cena:
1228,37 zł |
 |
Many-Valued Logics
ISBN: 9780198537878 / Angielski / Twarda / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many-valuedness. With its selective bibliography and many useful historical references, this book provides logicians, computer scientists, philosophers, and mathematicians with...
This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the ma...
|
cena:
617,34 zł |
 |
Model Theory
ISBN: 9780198538516 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures and logic, now has a wide range of applications in areas such as computing, philosophy, and linguistics. Model theory's power comes from its usefulness in defining new structures and in classifying existing ones by establishing links between them. This book, suitable for both mathematicians and students from outside the field, provides a clear and readable introduction to the subject. It...
Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned wit...
|
cena:
928,62 zł |
 |
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:
813,33 zł |
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
