Mini faq
Schaum's Easy Outline Logic: Based on Schaum's Outline of Theory and Problems of Logic
ISBN: 9780071455350 / Angielski / Miękka / 150 str. For a quick nutsandbolts overview of logic, there's no book that does it better Pareddown, simplified, and tightly focused, "Schaum's Easy Outline of Logic" is perfect for anyone turned off by dense text. Cartoons, sidebars, icons, and other graphic pointers get the material across fast, and concise text focuses on the essence of logic. This is the ideal book for lastminute test preparation.
For a quick nutsandbolts overview of logic, there's no book that does it better Pareddown, simplified, and tightly focused, "Schaum's Easy Ou... 

cena:
54,05 zł 
Symbolic Logic and Mechanical Theorem Proving
ISBN: 9780121703509 / Angielski / Twarda / 331 str. This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 49 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists o...


cena:
266,12 zł 
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
ISBN: 9780122063824 / Angielski / Twarda / 609 str. Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.
Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function th...


cena:
266,12 zł 
Fuzzy Sets and Systems: Theory and Applications
ISBN: 9780122227509 / Angielski / Twarda / 393 str. 

cena:
266,12 zł 
Elements of Set Theory
ISBN: 9780122384400 / Angielski / Twarda / 279 str. This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interestit is a subject with intruiging results anout simple objects. This book starts with material that nobody can do without. There is no end to what can be learned of set theory, but here is a beginning.
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory...


cena:
286,91 zł 
Elementary Logic
ISBN: 9780195014914 / Angielski / Twarda / 256 str. 

cena:
529,91 zł 
Collected Works: Volume I: Publications 19291936
ISBN: 9780195039641 / Angielski / Twarda / 490 str. Kurt Godel (19061978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to...
Kurt Godel (19061978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The 

cena:
1548,92 zł 
Collected Works: Volume II: Publications 19381974
ISBN: 9780195039726 / Angielski / Twarda / 432 str. Kurt Godel was the most outstanding logician 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. Less wellknown is his discovery of unusual cosmological models for Einstein's equations, permitting "timetravel" into the past.
This second volume of a... Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number ...


cena:
1548,92 zł 
Introduction to Logic and to the Methodology of the Deductive Sciences
ISBN: 9780195044720 / Angielski / Twarda / 256 str. Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw upon the concepts and principles presented in the first section. Numerous exercises and an...
Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book ex...


cena:
1548,92 zł 
Collected Works: Volume III: Unpublished Essays and Lectures
ISBN: 9780195072556 / Angielski / Twarda / 560 str. Kurt Godel (19061978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory and stronger systems, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, the foundations of computation theory, unusual cosmological models, and for the strong individuality of his writings on the philosophy of mathematics. The Collected Works is a landmark resource that draws together a lifetime of creative...
Kurt Godel (19061978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the inc...


cena:
1723,55 zł 
Recursion Theory for Metamathematics
ISBN: 9780195082326 / Angielski / Twarda / 184 str. This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's in...


cena:
1025,01 zł 
Logical Reasoning with Diagrams
ISBN: 9780195104271 / Angielski / Twarda / 288 str. One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore the properties of diagrams, charts, and maps, and...
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logica...


cena:
1345,18 zł 
The Moment of Proof
ISBN: 9780195139198 / Angielski / Miękka / 352 str. When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka " In The Moment of Proof, Donald Benson attempts to convey to general readers the feeling of eurekathe joy of discoverythat mathematicians feel when they first encounter an elegant proof.
This is not an introduction to mathematics so much as an introduction to the pleasures of mathematical thinking. And indeed the delights of this book are many and varied. The book is packed with intriguing conundrumsLoyd's Fifteen Puzzle, the... When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eurek...


cena:
297,30 zł 
Mathematics and the Roots of Postmodern Thought
ISBN: 9780195139679 / Angielski / Twarda / 200 str. This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations of mathematics early in the 20th century, then compares developments in mathematics to what took place in the arts and humanities, discussing issues as diverse as literary theory, arts, and artificial intelligence. This is a straightforward, easily understood presentation of what can be difficult...
This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a ...


cena:
221,39 zł 
The Indispensability of Mathematics
ISBN: 9780195166613 / Angielski / Miękka / 192 str. The QuinePutnam indispensability argument in the philosophy of mathematics urges us to place mathematical entities on the same ontological footing as other theoretical entities essential to our best scientific theories. Recently, the argument has come under serious scrutiny, with many influential philosophers unconvinced of its cogency. This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.
The QuinePutnam indispensability argument in the philosophy of mathematics urges us to place mathematical entities on the same ontological footing as...


cena:
361,39 zł 
Computational Complexity and Statistical Physics
ISBN: 9780195177374 / Angielski / Twarda / 384 str. Computer science and physics have been closely linked since the birth of modern computing. In recent years, an interdisciplinary area has blossomed at the junction of these fields, connecting insights from statistical physics with basic computational challenges. Researchers have successfully applied techniques from the study of phase transitions to analyze NPcomplete problems such as satisfiability and graph coloring. This is leading to a new understanding of the structure of these problems, and of how algorithms perform on them.
Computational Complexity and Statistical Physics... Computer science and physics have been closely linked since the birth of modern computing. In recent years, an interdisciplinary area has blossomed at...


cena:
1112,33 zł 
Mathematics as a Science of Patterns
ISBN: 9780198236085 / Angielski / Twarda / 304 str. 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 subjectmatter 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 mathematicsthe 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:
908,59 zł 
Definition
ISBN: 9780198241607 / Angielski / Twarda / 216 str. The purpose of this book is to clarify the concept of definition and improve defining activities.
The purpose of this book is to clarify the concept of definition and improve defining activities.


cena:
617,53 zł 
Polish Logic 19201939
ISBN: 9780198243045 / Angielski / Twarda / 420 str. Polish Logic 19201939
Polish Logic 19201939


cena:
879,48 zł 
Conceptual Notation and Related Articles
ISBN: 9780198243595 / Angielski / Twarda / 306 str. 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:
733,95 zł 