» książki » Mathematics - Logic
topmenu
 |
Schaum's Easy Outline Logic: Based on Schaum's Outline of Theory and Problems of Logic
ISBN: 9780071455350 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For a quick nuts-and-bolts overview of logic, there's no book that does it better Pared-down, 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 last-minute test preparation.
For a quick nuts-and-bolts overview of logic, there's no book that does it better Pared-down, simplified, and tightly focused, "Schaum's Easy Ou... |
cena:
56,78 zł |
 |
Symbolic Logic and Mechanical Theorem Proving
ISBN: 9780121703509 / Angielski / Twarda / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 4-9 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:
276,44 zł |
 |
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
ISBN: 9780122063824 / Angielski / Twarda / 609 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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:
276,44 zł |
 |
Fuzzy Sets and Systems: Theory and Applications
ISBN: 9780122227509 / Angielski / Twarda / 393 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
260,80 zł |
 |
Elements of Set Theory
ISBN: 9780122384400 / Angielski / Twarda / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 interest--it 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:
294,20 zł |
 |
Discovering Higher Mathematics: Four Habits of Highly Effective Mathematicians
ISBN: 9780124454606 / Angielski / Twarda / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Funded by a National Science Foundation grant, Discovering Higher Mathematics emphasizes four main themes that are essential components of higher mathematics: experimentation, conjecture, proof, and generalization. The text is intended for use in bridge or transition courses designed to prepare students for the abstraction of higher mathematics. Students in these courses have normally completed the calculus sequence and are planning to take advanced mathematics courses such as algebra, analysis and topology. The transition course is taken to prepare students for these courses by...
Funded by a National Science Foundation grant, Discovering Higher Mathematics emphasizes four main themes that are essential components of high...
|
cena:
831,85 zł |
 |
Elementary Logic
ISBN: 9780195014914 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
862,37 zł |
 |
Collected Works: Volume I: Publications 1929-1936
ISBN: 9780195039641 / Angielski / Twarda / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kurt Godel (1906-1978) 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 (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The |
cena:
1377,80 zł |
 |
Collected Works: Volume II: Publications 1938-1974
ISBN: 9780195039726 / Angielski / Twarda / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 well-known is his discovery of unusual cosmological models for Einstein's equations, permitting "time-travel" 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:
1377,80 zł |
 |
Introduction to Logic and to the Methodology of the Deductive Sciences
ISBN: 9780195044720 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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:
648,81 zł |
 |
Collected Works: Volume III: Unpublished Essays and Lectures
ISBN: 9780195072556 / Angielski / Twarda / 560 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kurt Godel (1906-1978) 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 (1906-1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the inc...
|
cena:
1538,43 zł |
 |
Recursion Theory for Metamathematics
ISBN: 9780195082326 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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:
871,22 zł |
 |
Logical Reasoning with Diagrams
ISBN: 9780195104271 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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:
717,95 zł |
 |
The Moment of Proof
ISBN: 9780195139198 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 eureka--the joy of discovery--that 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 conundrums--Loyd'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:
97,68 zł |
 |
Mathematics and the Roots of Postmodern Thought
ISBN: 9780195139679 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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:
134,75 zł |
 |
The Indispensability of Mathematics
ISBN: 9780195166613 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Quine-Putnam 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 Quine-Putnam indispensability argument in the philosophy of mathematics urges us to place mathematical entities on the same ontological footing as...
|
cena:
223,71 zł |
 |
Computational Complexity and Statistical Physics
ISBN: 9780195177374 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 NP-complete 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:
760,01 zł |
 |
Tracking Reason
ISBN: 9780195187137 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. One claim of the book is that, despite our apparent intuitive grasp of consequence, we do not introspect rules by which we reason, nor do we grasp the scope and range of the domain, as it were, of our reasoning. This point is illustrated with a close analysis of a paradigmatic case of...
When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our sel...
|
cena:
206,42 zł |
 |
Mathematics as a Science of Patterns
ISBN: 9780198236085 / Angielski / Twarda / 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:
312,72 zł |
 |
Definition
ISBN: 9780198241607 / Angielski / Twarda / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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:
562,32 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
