Stanford: Center for the Study of Language and Information, 1996. — 390 p. This book is meant to be a primer, that is an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely created by Adams. It treats conditionals as bearers of conditional probabilities and discusses an...
Plano: XYZ Press, 2017. — 440 p. — ISBN: 978-0996874595, 0996874593. This book serves as a very good resource and teaching material for anyone who wants to discover the beauty of Induction and its applications, from novice mathematicians to Olympiad-driven students and professors teaching undergraduate courses. The authors explore 10 different areas of mathematics, including...
Birkhäuser, 2022. — xvi, 328 p. — (Studies in Universal Logic). — ISBN 978-3-031-14886-6, 978-3-031-14887-3. This book connects logic with algebra. It covers universal logic and the question of what logic is as well as universal algebraic logic and duality theories between the world of logics and the world of algebra. It also discusses algebraic logic proper including algebras...
New York: Springer; 2nd edition. 2002. 404 p. ISBN: 978-90-481-6079-2; ISBN: 978-94-015-9934-4 (eBook). This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying...
Springer International Publishing AG, 2018. — 277 p. — ISBN: 3319629344. This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program, illustrate its mathematical content and...
Springer International Publishing AG, 2018. — 277 p. — ISBN: 3319629344. This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program, illustrate its mathematical content and...
Princeton University Press, 2021. — 162 p. A facsimile edition of Alan Turing's influential Princeton thesis Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912–1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic....
Cambridge: Cambridge University Press, 2019. — xxi+248 p. — (Cambridge Tracts in Mathematics 216). — ISBN: 978-1-108-66110-2. Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and...
CRC Press, Taylor & Francis Group, 2013. VII, 392 p. — ISBN13: 978-981-4411-51-6 (eBook - PDF). The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of...
Cambridge: Cambridge University Press, 2022. — 526 p. — ISBN 978-1-108-47875-5, 978-1-108-77875-6. This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof...
Springer, 2017. — 165 p. — (Undergraduate Topics in Computer Science). — ISBN: 978-3-319-51651-6 This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for...
Cambridge University Press, 2017. — 460 p. — (Perspectives in Logic). — ISBN: 978-1-107-16809-1. Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the twelfth...
Cham: Springer, 2015. — 125 p. This book examines three connected aspects of Frege’s logicism: the differences between Dedekind’s and Frege’s interpretation of the term ‘logic’ and related terms and reflects on Frege’s notion of function, comparing its understanding and the role it played in Frege’s and Lagrange’s foundational programs. It concludes with an examination of the...
Berlin, Heidelberg.: Springer, 2009. — (xi) 516 p. — ISBN10: 3-642-03358-X. — ISBN13: 978-3-642-03358-2. 22nd International Conference, TPHOLs 2009. Munich, Germany, August 17-20, 2009. Proceedings. This volume constitutes the proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009), which was held during August 17-20, 2009 in...
McGraw-Hill, 2003. - 576 pages.
This outstanding book is a leading text for symbolic or formal logic courses. All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and self-contained) allows instructors the freedom to cover the topics they want in the...
McGraw-Hill Humanities/Social Sciences/Languages, 2014. — 640 p. — 6th ed. — ISBN: 0078038413, 9780078038419
The Logic Book is a leading text for symbolic logic courses that presents all concepts and techniques with clear, comprehensive explanations. There is a wealth of carefully constructed examples throughout the text, and its flexible organization places materials within...
Wiley-Blackwell, 2009. — xx, 234 p. — ISBN 978-1-4051-9766-3, 978-1-4051-9767-0. Berto’s highly readable and lucid guide introduces students and the interested reader to Godel’s celebrated Incompleteness Theorem, and discusses some of the most famous – and infamous – claims arising from Godel's arguments. Offers a clear understanding of this difficult subject by presenting each...
Birkhäuser, 2007. — 247 p. Logica Universalis (or Universal Logic, Logique Universelle, Universelle Logik, in vernacular languages) is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as...
Academic Press, 1993. - 253 Pages. Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of deductive methods on the level of propositional and first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different...
Orange Grove Texts Plus, 2009. — 166 p. — ISBN: 1616100060¸ 9781616100063 A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is for the...
Department of Mathematics Trent University, 1991, -186 pp. This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositional and first-order logic through the Soundness, Completeness, and Compactness Theorems. Volume II, Computation, covers the basics of computability using Turing machines and recursive functions, the...
CRC Press, 2012. — 353 p. Combinatory logic was invented in the 1920s and has been developing ever since — often in the company of l-calculi. Both of these formalisms, together with their variants, can capture the notion of a computable function or algorithm. This places combinatory logic next to recursion theory and computer science. On the other hand, typed combinatory logic...
Boston: The MIT Press, 2021. — 366 p. A general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference. In this book, Alexander Bochman presents a general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference, basing it on a supposition that causal reasoning is not a competitor of logical...
Kendall Hunt Publishing Company, 1999. — 288 p. This book is intended as an introduction to symbolic logic and elementary set theory, including mathematical induction. It is designed to meet the needs of a semester-long course, with the needs and interests of computer science majors and others requiring a foundation in the construction of proofs and in the use of discrete...
Cambridge University Press, 1995. — 314 p. — ISBN: 978-0521483254. This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but...
Cambridge University Press, 1995. — 314 p. — ISBN: 978-0521483254. This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but...
Издательство Academic Press, 1979, -441 pp. Mechanical theorem-proving is crucial to the automation of reasoning about computer programs. Today, few computer programs can be mechanically certified to be free of bugs. The principal reason is the lack of mechanical theorem-proving power. In current research on automating program analysis, a common approach to overcoming the lack...
Academic Press, 1988. — 428 p. This book is a user's guide to a computational logic. "A computational logic" is a mathematical logic that is both oriented towards discussion of computation and mechanized so that proofs can be checked by computation. The computational logic discussed in this handbook is that developed by Boyer and Moore. This handbook contains a precise and...
Cambridge: Cambridge University Press, 2023. — 862 p. Constructive mathematics – mathematics in which 'there exists' always means 'we can construct' – is enjoying a renaissance. fifty years on from Bishop's groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of mathematics and to have profound influence in...
Basic Books, 2002. — 135 p. — ISBN13: 978-0738205892. A thrilling way to learn about probability, statistics, and math-by watching Sherlock Holmes help victims exploited by evil con men. "I wish I understood these matters, of chance and luck!" I said as we walked. "But to a dunce like myself, it all seems hopelessly paradoxical." Holmes smiled as he tucked the Marquis's...
Upper Saddle River: Prentice Hall, 1998. — 452 p. This book provides an elementary "hands-on" presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more...
Seoul: Yonsei University. — 23 стр. Лекции по теоремам Гёделя о неполноте, доказательство через неподвижную точку (современное синтаксическое доказательство). Все строго, без махания руками. Лекции начинаются с определения рекурсивных функций.
Wiley-ISTE, 2011. — 537 p. — ISBN: 1848213018, 9781848213012
Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as...
Oxford University Press, UK, 2015. — 368 p. — ISBN10: 0198715692 Logical consequence is the relation that obtains between premises and conclusion(s) in a valid argument. Orthodoxy has it that valid arguments are necessarily truth-preserving, but this platitude only raises a number of further questions, such as: how does the truth of premises guarantee the truth of a conclusion,...
Carnielli W., Coniglio M., Gabbay D.M., Gouveia P., Sernadas C. Springer, 2008. — 622 p. — (Applied Logic Series, Vol. 35). — ISBN: 140206781X, 9048177251, 9781402067822 Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order...
Title Page [Титул] Syllogism [Силлогизм] Advertisement [Замечания] Preface to the Fourth Edition [Предисловие к четвертому изданию] Introduction to Learners [Обращение к учащимся] [Оглавление] Book I Things and Their Attributes [Книга I. Предметы и их признаки] Chapter I Introductory [Глава I. Введение] Chapter II Classification [Глава II. Классификация] Chapter III Division...
Springer, 2016. — 180 p. — ISBN: 978-3319442440 This book consolidates and extends the authors’ work on the connection between iconicity and abductive inference. It emphasizes a pragmatic, experimental and fallibilist view of knowledge without sacrificing formal rigor. Within this context, the book focuses particularly on scientific knowledge and its prevalent use of...
Jones and Bartlett, 1994. — 440 p. Logic, set theory, and mathematical induction play essential roles in modern mathematics and computer science. This book is intended to fill the gap between rigorous, advanced mathematical logic texts and "discrete mathematics" texts that do not treat logic with the depth and rigor required in modern computer science. It will prepare students...
Singapore: World Scientific Publishing Company, 2023. — 220 p. — ISBN 9811268533. Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech...
Springer, 2010. — 250 p. — (Synthese Library 345). — ISBN 978-90-481-3245-4. Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy...
Springer, 1999. — 128 p. Having published four books on this subject, why a fifth? Because there’s something new: I compare and contrast Gödel’s, Turing’s and my work in a very simple and straight-forward manner using LISP. Up to now I never wanted to examine Gödel’s and Turing’s work too closely - I wanted to develop my own viewpoint. But there is no longer any danger. So I set...
New York: Springer, 2019. — 132 p. Gödel's true-but-unprovable sentence from the first incompleteness theorem is purely logical in nature, i.e. not mathematically natural or interesting. An interesting problem is to find mathematically natural and interesting statements that are similarly unprovable. A lot of research has since been done in this direction, most notably by Harvey...
Oxford University Press, 2007. — 258 p. Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical...
Walter de Gruyter, 2015. — 314 p. — (De Gruyter Series in Logic and Its Applications, 8). — ISBN: 978-3-11-027564-3. This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the...
Springer, 2020. — 84 p. — (SpringerBriefs in Applied Sciences and Technology). — ISBN: 978-3-030-45243-8. This book demonstrates and discusses the hypothesis that, within the theory of multiple intelligences, graphic intelligence can be isolated and defined as the ability to use graphic skills to solve problems and create products through the integration and coordination of...
Springer, 2021. — 476 p. This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both propositional and...
Oxford University Press, 2022. — xvi, 336 p. — (Oxford Logic Guides, 55). — ISBN 978-0-19-286641-7. The publication of Rasiowa and Sikorski's The Mathematics of Metamathematics (1970), Rasiowa's An Algebraic Approach to Non-Classical Logics (1974), and Wójcicki's Theory of Logical Calculi (1988) created a niche in the field of mathematical and philosophical logic. This in-depth...
New York: Springer, 2002. — 295 p. The theory of probability is usually based on very peculiar and restrictive assumptions: for example, it is maintained that the assessment of probabilities requires an overall design on the whole set of all possible envisaged situations. A "natural" consequence is that the use of probability in the management of uncertainty is often...
Wiley, 2015. — 451 p. — ISBN: 1118751272, 9781118751275 A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught...
Oxford: Oxford University Press, 2002. — 360 p. 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...
Oxford: Oxford University Press, 2001. 347 p. Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction...
Paris: A K Peters/CRC Press, 2005. — 424 p. This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special significance to the Mathematics and Logic...
C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams. — N.Y.: Dover Publications, Inc., 1990. — 90 p. — ISBN 0-486-26404-1. This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical survey of logic in ancient times, it traces the 17th-century development of calculus...
Dover Publications, 1990. — 91 p. — ISBN-13 9780486264042. This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, GodelвЂs theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further...
Dover Publications, 2010. — 91 p. — (Dover Books on Mathematics). — ISBN-13 9780486264042. This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, GodelвЂs theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more....
Springer, 2022. — 322 p. — (Problem Books in Mathematics). — ISBN 978-3-030-79009-7. This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and...
De Gruyter, 2023. — 270 р. — ISBN 978-3-11-078219-6. Mathematical An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the...
De Gruyter, 2023. — 270 р. — ISBN 978-3-11-078201-1. Mathematical An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the...
De Gruyter, 2023. — 270 р. — ISBN: 978-3-11-078219-6. Mathematical An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the...
De Gruyter, 2023. — 270 р. — ISBN: 978-3-11-078219-6. Mathematical An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the...
4th Edition. — Springer, 2004. — x, 268 p. — (Universitext). — ISBN 978-3-540-20879-2. Logic appears in a ‘sacred’ and in a ‘profane’ form; the sacred form is dominant in proof theory, the profane form in model theory. The phenomenon is not unfamiliar, one observes this dichotomy also in other areas, e.g. set theory and recursion theory. Some early catastrophies, such as the...
Springer, 2018. - 557 p. - (Springer Undergraduate Texts in Philosophy) - ISBN: 3030032531 This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to...
Reading: Addison-Wesley Publishing Company, 1970. — 328 p. — ISBN: 9780201014990, 0201014998. Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logic from ancient to modern times and compellingly examines the nature of logic and its...
Delvin Keith, 2012. — 117 p. — ISBN13: 978-0615653631, ISBN10: 0615653634. Many students encounter difficulty going from high school math to college-level mathematics. Even if they do well at math in school, most students are knocked off course for a while by the shift in emphasis from the K-12 focus on mastering procedures to the “mathematical thinking” characteristic of much...
Routledge, 1999. - 128 pages. First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy. Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of. * Logic: Argument, Turing Machine, Variable. * Set and...
Riga, Latvia: University of Latvia, 2017. — 238 p. This book explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gdel, Church, Kleene, Rosser, and Turing. From the table of contents What Is Logic,...
Riga: University of Latvia, 2017. — 236 p. Introduction. What Is Logic, Really? Propositional Logic. Predicate Logic. Completeness Theorems (Model Theory). Normal Forms. Resolution Method. Miscellaneous.
CRC Press, 2004. — 154 p. This book is designed to help the university student make the difficult transition from calculus to university-level pure mathematics.
N.-Y.: Springer, 2010. - 240p.
Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for systems...
Монография в картинках. 2009, Bloomsbury, New York, 2009, 347 стр.
Первая в мире математическая монография в жанре комикса, посвященная жизни, творчеству и научным идеям выдающегося логика и философа Бертрана Рассела.
2nd Edition. — Oxford University Press, 2005. — xii, 332 p. — (Oxford logic guides, 39). — ISBN 0-19-850524-8. This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment...
2nd Edition. — Oxford University Press, 2005. — xii, 332 p. — (Oxford logic guides, 39). — ISBN 0-19-850524-8. This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment...
Springer, 2022. — 591 p. — ISBN 978-3-030-71429-1. This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on...
Springer, 2022. — 591 p. — ISBN 978-3-030-71429-1. This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on...
The Experiment, 2024. — 423 p. — ISBN 979-8-89303-030-3 Open a new portal into Shakespeare's words—and his Renaissance life—with math and numbers as your key. Shakespeare's era was abuzz with mathematical progress, from the new concept of "zero" to Galileo's redraft of the heavens. Now, Rob Eastaway uncovers the many surprising ways math shaped Shakespeare's plays—and his...
3rd edition. — Springer, 2021. — 305 p. — (Graduate Texts in Mathematics, 291). — ISBN 978-3-030-73838-9. This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out...
Springer, 1984. — 113 p. Some of the central questions of mathematical logic are: What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers, the most pleasing of which is given by Gödel's...
Springer, 1984. — 221 p. — 1st ed. — ISBN: 0387908951, 3540908951. 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...
2nd edition. — Cham: Springer, 2022. — 325 p. Harold Edwards published his book Essays in Constructive Mathematics in 2005 but continued to think deeply about the themes discussed in the essays. At the time of his death in November 2020, Edwards was completing a long essay that contained his final thoughts on three of his favorite topics: Galois’s first memoir, points on an...
A Harcourt Science and Technology Company, 2001. - 330 pages. Second Edition ISBN: 0122384520 A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and...
Harcourt/Academic Press, 2001. - 317 Pages.
An accessible, flexible introduction to the subject of mathematical logic, the second edition of this popular and widely-adopted text has been revised to be appropriate for courses enrolling either advanced undergraduates or graduate students.
Like the First Edition, this book is an introduction to the concepts of proof, truth, and...
Princeton University Press, 2011. — 540 p. — ISBN10: 0691123004, ISBN13: 978-0691123004. In Classical Mathematical Logic , Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the...
World Scientific Publishing, 2025. — 1336 p. — ISBN 978-981-12-8936-1. Vol. 1. Propositional Logic Vol. 2. Predicate Logic Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes - propositional logic and predicate logic. The volume presents some of...
Amsterdam: Gordon and Breach Science Publishers, 2000. — x+284 p. — ISBN: 90-5699-266-X This is the first of three books of Lectures on Mathematical Logic, destined for students of mathematics or computer science, in their third or fourth year at the university, as well as for their instructors. It is written as the traditional combination of textbook and monograph: while the...
Amsterdam: Gordon and Breach Science Publishers, 2000. — x+332 p. — ISBN: 90-5699-267-8 This is the second of three books of Lectures on Mathematical Logic, destined for students of mathematics or computer science, in their third or fourth year at the university, as well as for their instructors. It is written as the traditional combination of textbook and monograph: while the...
Amsterdam: Gordon and Breach Science Publishers, 2000. — x+284 p. — ISBN: 90-5699-268-6 This is the third of three books of Lectures on Mathematical Logic, destined for students of mathematics or computer science, in their third or fourth year at the university, as well as for their instructors. It is written as the traditional combination of textbook and monograph: while some...
Springer, 2022. — 208 p. — ISBN 3030776565. In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name from David Hilbert's seminal talk...
Cham: Springer, 2022. — 293 p. In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name from David Hilbert's seminal talk Axiomatisches...
2nd edition. — Oxford University Press, 2016. — 176 p. Science Without Numbers caused a stir in philosophy on its original publication in 1980, with its bold nominalist approach to the ontology of mathematics and science. Hartry Field argues that we can explain the utility of mathematics without assuming it true. Part of the argument is that good mathematics has a special...
Princeton University Press, 1980. — 130 p. — ISBN: 0631126724. According to the doctrine of nominalism, abstract entities―such as numbers, functions, and sets―do not exist. The problem this normally poses for a description of the physical world is as follows: any such description must include a physical theory, physical theories are assumed to require mathematics, and...
New York: Springer, 1996. — 338 p. There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise....
2nd Edition. — Springer, 1996. — 337 p. — (Graduate Texts In Computer Science). — ISBN-13 978-14612-7515-2. There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance....
North Holland, 1981. — 317 p. The subject matter of this book is becoming standard; the particular development we have chosen is rather individualistic. The reader will see proofs of equivalence between our presentations and some of those more common in the literature, but the development using generalized elementary formal systems will not be found elsewhere. Its advantage is...
Springer, 1998. — 480 p. — (Synthese library, 276). — ISBN 978-90-481-5105-9, 978-94-017-3616-9. Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms «construction» and «proof» has never been adequately...
Springer, 1998. — 480 p. — (Synthese library, 276). — ISBN 978-90-481-5105-9, 978-94-017-3616-9. Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms «construction» and «proof» has never been adequately...
London: College Publ., 2016. — 558 p. Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emerging subfield of mathematical logic consolidated since the 1980s, and is considered as the algebraic logic of the twenty-first century; as such it...
Cambridge University Press, 2003. — 245 p. — (London Mathematical Society Student Texts 56). — ISBN: 0521533619. Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an...
A. K. Peters, Ltd. 2005. — 182 p. — ISBN: 9781568812380. "Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the...
Springer, 2019. — 173 p. — (Synthese Library Studies in Epistemology, Logic, Methodology, and Philosophy of Science 408). — ISBN 978-3-030-18277-9. Логика сортировок: концептуалистский подход Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the...
World Scientific Publishing, 2018. — 277 p. — ISBN: 978-981-3223-51-6. The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015. This special collection reports on important and recent interactions between the fields of Set Theory and...
London: College Publications, 2016. — 361 p. Elementary Logic with Applications is written for undergraduate logic and logic programming courses. Logic has been applied to a wide variety of subjects such as software engineering and hardware design, to programming and artificial intelligence. In this way, it has served to stimulate the search for clear conceptual foundations....
Springer, 2016. — 365 p. — ISBN: 978-3319468150 In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several...
2nd Edition. — Dover Publications, Inc., 2015. — 528 p. — ISBN: 978-0-486-78082-5. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers...
2nd Edition. — Dover Publications, Inc., 2015. — 528 p. — ISBN: 978-0-486-78082-5. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers...
2nd Edition. — Dover Publications, Inc., 2015. — 528 p. — ISBN: 978-0-486-78082-5. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers...
Springer, 2016. — 193 p. — ISBN: 978-3-319-22086-4 ISBN: 978-3-319-22087-1. This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here...
New York: Morgan & Claypool, 2017. - 161 p. This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged...
Lanham: University Press of America, 1984. — 47 p. This helpful volume explains and proves Godel's theorem, which states that arithmetic cannot be reduced to any axiomatic system. Written simply and directly, this book is intended for the student and general reader and presumes no specialized knowledge of mathematics or logic.
Математическая логика для чайников
McGraw-Hill Professional, 2005. - 290 pages.
Almost every student has to study some sort of mathematical proofs, whether it be in geometry, trigonometry, or with higher-level topics. In addition, mathematical theorems have become an interesting course for many students outside of the mathematical arena, purely for the reasoning and logic...
Математическая логика для чайников McGraw-Hill Professional. 2005. - 290 p., - ISBN: 0-07-144576-5, English. Almost every student has to study some sort of mathematical proofs, whether it be in geometry, trigonometry, or with higher-level topics. In addition, mathematical theorems have become an interesting course for many students outside of the mathematical arena, purely for...
Paris: European Mathematical Society, 2011. — 551 p. These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, i.e., the implicit and the explicit. The problem is delicate mathematically and...
Cambridge University Press, 1989. — 175 p. Sense, Denotation and Semantics. Natural Deduction. The Curry-Howard Isomorphism. The Normalisation Theorem. Sequent Calculus. Strong Normalisation Theorem. Goedel's system T. Coherence Spaces. Denotational Semantics of T. Sums in Natural Deduction. System F. Coherence Semantics of the Sum. Cut Elimination (Hauptsatz). Strong...
Oxford University Press, 1986. — 501 p. Here is the first volume of a comprehensive edition of the works of Kurt Godel, the most outstanding logician of the twentieth century. This volume includes all of Godel's published writings in the period 1926-1936, and begins with his dissertation of 1929, available previously only through the University of Vienna. One of our basic...
Oxford University Press, 1989. — 425 p. 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...
Oxford: Oxford University Press, 1995. — 552 p. Kurt Gödel (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...
Cambridge University Press, 2022. — 285 p. — ISBN 978-1-108-94947-7. Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy...
Springer, 2011. — 203 p. — (Logic, Epistemology, and the Unity of Science 22). — ISBN: 9400736398. Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. This book expounds several aspects of...
Ontario, Canada: Broadview Press, 2017. — 474 p. — ISBN: 978-1-55481-272-1. Formal Logic is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The book’s nine chapters offer thorough coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal logic....
New York: Springer, 2021. — 334 p. Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and...
Cambridge, UK: Cambridge University Press, 2001. — 322 p. — ISBN10: 0521775019; ISBN13: 978-0521775014 This is an introductory textbook on probability and induction written by one of the world's foremost philosophers of science. The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal...
Cambridge, UK: Cambridge University Press, 2001. — 322 p. — ISBN10: 0521775019; ISBN13: 978-0521775014 This is an introductory textbook on probability and induction written by one of the world's foremost philosophers of science. The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal...
Springer, 2011. — 372 p. The present work constitutes an effort to approach the subject of symbolic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their relations, their differences. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of...
Cambridge University Press, 2017. — 475 p. — (Perspectives in Logic). — ISBN: 1107168414, 9781107168411. Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third...
Washington: MAA, 2009. — 150 p. This book is based on the notes for a course in logic given by Paul Halmos. This book retains the spirit and purpose of those notes, which was to show that logic can (and perhaps should) be viewed from an algebraic perspective.Propositional logic and monadic predicate calculus-predicate logic with a single quantifier-are the principal topics...
Prentice Hall, 2002. - 341 Pages. This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata-motivating topics by linking them to computing and to computational applications, sometime with whole chapters. They achieve exceptional clarity through a plethora of...
Massachusetts (USA): MIT Press, 2000. — 475 p. — (Foundations of Computing Series). — ISBN: 0-262-08289-6. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional...
Cambridge University Press, 2009. — 681 p. The sheer complexity of computer systems has meant that automated reasoning, i.e. the use of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use...
London: Clarendon Press, 2014. — 322 p. Editorial Notes Frege's Theorem: An Overview The Development of Arithmetic Die Grundlagen der Arithmetik 82-83 Frege's Principle Julius Caesar and Basic Law V The Julius Caesar Objection Cardinality, Counting, and Equinumerosity Syntactic Reductionism The Existence of Abstract Objects The Consistency of Contextual Definitions Finitude and...
Oxford University Press, 2004. - 452 pages.
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,...
Harvard University Press, 1967. — 672 p. 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...
2nd Edition. — USA: W.W. Norton & Company, Inc., 1997. — 342 p. — ISBN: 0393972143. This collection of forty-four readings enables students to hone their reasoning skills by engaging fully developed arguments from across the disciplines.Selections are organized around ten broad themes, including education, science, abortion, the causes of crimes, and the existence of God.? An...
Chelsea Publishing Company, New York, 1950. — 184 p. — ISBN: 0821820249 David Hilbert was particularly interested in the foundations of mathematics. Among many other things, he is famous for his attempt to axiomatize mathematics. This now classic text is his treatment of symbolic logic. It lays the groundwork for his later work with Bernays. This translation is based on the...
A K Peters, Ltd., 2005. — xvi+878 p. — ISBN: 978-1568812625. This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the...
AK Peters, 2005. - 896 pages. This introductory graduate text covers modern mathematical logic from propositional, first-order, higher-order and infinitary logic and Gödel’s Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author’s more than 35 years of teaching experience, the book develops...
New York: Dover Publications, 2013. — 237 p. Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and...
3. Auflage. — Springer, 2018. — 446 S. Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren? Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen. Das vorliegende Buch entführt Sie auf eine Reise durch die...
O’Reilly Media, Inc., 2015. — 180 p. — ISBN: 9781491902516.
As a web designer, you encounter tough choices when it comes to weighing aesthetics and performance. Good content, layout, images, and interactivity are essential for engaging your audience, and each of these elements have an enormous impact on page load time and the end-user experience. In this practical book, Lara...
New York: Cambridge University Press, 2009. — 279 p. — ISBN: 9780521895460, 052171978X. Looking for a head start in your undergraduate degree in mathematics? Maybe you’ve already started your degree and feel bewildered by the subject you previously loved? Don’t panic! This friendly companion will ease your transition to real mathematical thinking. Working through the book you...
2nd edition. — Cambridge University Press, 2004. — 440 p. — ISBN-10 052154310X; ISBN-13 978-0521543101 One of the leitmotifs of writing the first edition of our book was the observation that most logics used in the design, specification and verification of computer systems fundamentally deal with a satisfaction relation M φ where M is some sort of situation or model of a system,...
Springer, 2021. — 228 p. — (Springer Undergraduate Texts in Philosophy). — ISBN 978-3-030-64810-7. Understand Logic is a comprehensive introduction to this fascinating though sometimes challenging subject. As well as looking at logic in theoretical terms the book considers its everyday uses and demonstrates how it has genuine practical applications. It will take you step by...
Springer, 2021. — 228 p. — (Springer Undergraduate Texts in Philosophy). — ISBN 978-3-030-64810-7. Understand Logic is a comprehensive introduction to this fascinating though sometimes challenging subject. As well as looking at logic in theoretical terms the book considers its everyday uses and demonstrates how it has genuine practical applications. It will take you step by...
Springer, 2021. — 356 p. — (Studies in Universal Logic). — ISBN 978-3-030-57144-3. This textbook offers a detailed introduction to the methodology and applications of sequent calculus in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculus to prove a wide range of metatheoretical results. The...
Amsterdam: Elsevier, 2005. — 779 p. — (Studies in Logic and the Foundations of Mathematics, vol. 141). — ISBN: 0-444-50170-3. This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and...
Springer, 2017. — 617 p. — (Outstanding Contributions to Logic 13). — ISBN: 3319633325. This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and...
Springer, 2017. — 617 p. — (Outstanding Contributions to Logic 13). — ISBN: 3319633325. This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and...
CRC Press, 2022. — 171 p. — ISBN 978-1-032-10622-9. This book deals with two important branches of mathematics, namely, logic and set theory. Logic and set theory are closely related and play very crucial roles in the foundation of mathematics, and together produce several results in all of mathematics. The topics of logic and set theory are required in many areas of physical...
CRC Press, 2022. — x, 160 p. — (Mathematics and its applications: modelling, engineering, and social sciences). — ISBN 978-0-429-02283-8, 978-1-032-10622-9, 978-0-367-07795-2. This book deals with two important branches of mathematics, namely, logic and set theory. Logic and set theory are closely related and play very crucial roles in the foundation of mathematics, and...
New York: McGraw-Hill, 1991. — 172 p. The first beginning logic text to employ the tree method--a complete formal system of first-order logic that is remarkably easy to understand and use--this text allows students to take control of the nuts and bolts of formal logic quickly, and to move on to more complex and abstract problems. The tree method is elaborated in manageable...
Cambridge University Press, 2016. — 276 p. — (Lecture Notes in Logic 22) — ISBN10: 156881268X. 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;...
Springer Netherlands, 2006. — 360 p. — ISBN: 978-1402023347. This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part...
Springer Netherlands, 2006. — 360 p. — ISBN: 978-1402023347. This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part...
Amsterdam: Springer, 1978. — 249 p. The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time the fullest systematic account from the standpoint of Husserl's phenomenology of what is known as 'finitism' (also as 'intuitionism' and 'constructivism') in mathematics. Since then, important...
Cambridge University Press, 2007. — 216 p. — ISBN: 052170877X, 9780521708777 This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then...
Cambridge University Press, 2021. — 316 p. — (Lecture Notes in Logic 49). — ISBN13: 9781107033405. The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Large Cardinals, Determinacy and Other Topics is the final volume in a series of four books collecting the seminal papers from the original volumes together with...
New York: Prentice-Hall, 1997. — 276 p. The Essence of Logic is an exciting new publication that provides a concise introduction to formal logic. Making little demands on previous mathematical knowledge, this comprehensive text prepares the reader for the analysis and application of logic techniques in computing. It can also be used for the study of mathematical logic in its...
Cambridge: Cambridge University Press, 2022. — 90 p. This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Gödel's proof: arithmetization, strong representability,...
Cambridge University Press, 2011. — 256 p. — (Lecture Notes in Logic 36). — ISBN: 978-1-107-00804-5. It is a unique feature of the field of mathematical logic, that almost any technical result from its various subfields: set theory, models of arithmetic, intuitionism and ultrafinitism, to name just a few of these, touches upon deep foundational and philosophical issues. What is...
Dover Publications Inc., 2002. — 432 p. — ISBN10: 0486425339, ISBN13: 978-0486425337. Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer...
Издательство Van Nostrand, 1963, -224 pp. This introduction to mathematical logic and the philosophy of mathematics is based on courses of lectures given in the University of London, and attended both by undergraduates in the final year of an honours course in mathematics and by graduates beginning research for higher degrees. Planned with a variety of needs in mind, it is...
Birkhäuser, 2015. — xii+520 p. — (Studies in Universal Logic). — ISBN: 978-3-319-10193-4. This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran,...
Birkhäuser, 2015. — xv+604 p. — (Studies in Universal Logic). — ISBN: 978-3-319-15368-1. This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of...
Springer, 2018. — 188 p. — (Springer Graduate Texts in Philosophy 03). — ISBN: 978-3-319-97297-8. This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is...
Springer International Publishing AG, 2018. — 200 p. — (Springer Graduate Texts in Philosophy, vol. 3). — ISBN: 978-3-319-97297-8, 978-3-319-97298-5. This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic...
2nd. ed. - Springer, 2024. - 255 p. - (Springer Graduate Texts in Philosophy, 4). - ISBN 3031562143. This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry . It retains the original two parts found in the first edition , while presenting new material in the form of an added third part to the textbook. The textbook...
Birkhäuser Springer, 2002. — 257 p. — ISBN-13 9781461201151. Справочник по логике и методам доказательства для компьютерных наук Logic plays a central conceptual role in modem mathematics. However, mathematical logic has grown into one of the most recondite areas of mathematics. As a result, most of modern logic is inaccessible to all but the specialist. This new book is a...
Paris: Rene Cori, 2014. — 206 p. The lambda-calculus was invented in the early 1930’s, by A. Church, and has been considerably developed since then. This book is an introduction to some aspects of the theory today : pure lambda-calculus, combinatory logic, semantics (models) of lambda-calculus, type systems. All these areas will be dealt with, only partially, of course, but in...
Cambridge: Cambridge Scholars Publishing, 2022. - 195 p. - ISBN 1527580148. Those who want to understand logic, if they manage to pass at least an initial, though far from simple, modern course of study, eventually conclude that practically logic consists in formulating premises and a taken-from-nowhere assertion in an incomprehensible language and then proving or disproving...
Amazon Digital Services LLC, 2019. — 199 р. — ASIN B07NTYZ1X5. Attention parents: With Logitica your kids will develop the logical thinking needed to learn faster and succeed in all subjects. Logitica specifically teaches how to approach different types of mathematical problems in a logical manner and presents the concepts in an interesting, fun and unique way. The book has been...
2nd ed. — College Publications, 2012. — 262 p. — (Mathematical Logic and Foundations). — ISBN: 1904987141, 9781904987147
Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for students who plan to...
Б.м., б.и. — 2007. — 148 p. Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for students who plan to specialize in logic, as well as for those who are interested in the applications of logic to...
London: College Publications, 2012. — viii, 254 p. — (Studies in Logic: Mathematical Logic and Foundations, 19). — ISBN 978-1-904987-14-7. Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for...
Cambridge: Cambridge University Press, 1988. — 301 p. In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same. Part II demonstrates that...
Springer, 2004. — 362 p. The book presents some of the fundamental ideas of Logic for Computer Science. It introduces classical notions of mathematical logic to computer scientists and the new ideas brought by the theory of complexity. Given a problem, it is important to know if there is an algorithmic solution, i.e, if the problem can be solved by an automatic procedure based...
CRC Press; Taylor & Francis Group, LLC, 2019. — 250 p. — ISBN13: 978-0-8153-8665-0. A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in...
2nd Edition. —Milne Librar, 2015. — 374 p. — ISBN: 978-1-942341-07-9 At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof...
Berkeley: University of California Press: – 1918. – 412 p. The student who has completed some elementary study of symbolic logic and wishes to pursue the subject further finds himself in a discouraging situation. He has, perhaps, mastered the contents of Venn's Symbolic Logic or Couturat's admirable little book, The Algebra of Logic, or the chapters concerning this subject in...
2nd ed. — Dover Publications, Inc., 2000. — 543 p. — ISBN10: 0486601706. The present volume is a most unusual one and meets a long- felt and important need. Recent years have witnessed a considerable growth of interest in symbolic logic in the United States. Americans have made important contributions to the subject, but these contributions have usually been in detached...
Birkhäuser, 2010. — 272 pp. The book consists of two parts, each containing five chapters. The first part presents the core ideas of classical mathematical logic, while the second part deals with the author’s work on formalizing axiomatization. The second part includes a definition of versions of a formal theory, version sequences and their limits. It formalizes the revision of...
2nd. ed. — Birkhäuser, 2014. — 302 p. — (Progress in Computer Science and Applied Logic, 25). — ISBN: 3034808615. Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters...
Springer, 2025. — 393 p. This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Preface to the Series Preface Introduction Decidable DLs R-Calculus...
Springer, Cham, 2022. — 245 p. — ISBN 978-3-030-96436-8. This volume covers many diverse topics related in varying degrees to mathematics in mind including the mathematical and topological structures of thought and communication. It examines mathematics in mind from the perspective of the spiral, cyclic and hyperlinked structures of the human mind in terms of its language, its...
Princeton University Press, 2014. — 338 p. — ISBN: 0691160449, 9780691160443
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances...
Berlin: Springer, 2004. - 265 p. The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on...
Singapore: World Scientific Publishing Company, 1998. — 248 p. Mathematical logic studies logical problems with mathematical methods, principally logical problems in mathematics. It is a branch of mathematics. There are two kinds of mathematical research, proof and computation, which are essentially related to each other. Hence mathematical logic is essentially related to...
Singapore: World Scientific Publishing Company, 1998. — 248 p. Mathematical logic studies logical problems with mathematical methods, principally logical problems in mathematics. It is a branch of mathematics. There are two kinds of mathematical research, proof and computation, which are essentially related to each other. Hence mathematical logic is essentially related to computer...
New York: Springer, 2011. - 196p. This book, provides a critical approach to all major logical paradoxes: from ancient to contemporary ones. There are four key aims of the book: Providing systematic and historical survey of different approaches – solutions of the most prominent paradoxes discussed in the logical and philosophical literature. Introducing original solutions of...
MDPI, 2021. — 198 p. — ISBN 978-3-0365-0778-1. The issue "Mathematical Logic and Its Applications 2020" contains articles related to the following three directions: I. Descriptive Set Theory (3 articles). Solutions for long-standing problems, including those of A. Tarski and H. Friedman, are presented. II. Exact combinatorial optimization algorithms, in which the complexity...
New York: Springer, 1999. — 638 p. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying...
Alberta: The Open Logic Project, 2017. — 310 p. As the title indicates, this is a textbook on formal logic. Formal logic concerns the study of a certain kind of language which, like any language, can serve to express states of a ffairs. It is a formal language, i.e., its expressions (such as sentences) are defined formally. The book is divided into eight parts. The first part...
Ottawa: Carleton University, 2019. — 252 p. This is a free textbook for an undergraduate course on the Theory of Computation , which we have been teaching at Carleton University since 2002. Until the 2011/2012 academic year, this course was offered as a second-year course and was compulsory for all Computer Science students. Starting with the 2012/2013 academic year, the course...
New York: Springer Science+Business Media. 1977. 296 p. ISBN: 978-1-4757-4387-6 ISBN: 978-1-4757-4385-2 (eBook) This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and...
Cambridge University Press, 2011. — 216 p. — (London Mathematical Society Lecture Note Series 386). — ISBN: 0521149347. Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the...
Cambridge University Press, 1996. — xxii, 388 p. — (Cambridge Tracts in Theoretical Computer Science Series, № 19). — ISBN 0-52135435-8. Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted...
Cambridge University Press, 1996. — xxii, 388 p. — (Cambridge Tracts in Theoretical Computer Science Series, № 19). — ISBN 0-52135435-8. Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted...
Kluwer Academic Publishers, 2003. — 376 p. — (Trends in Logic; Studia Logica Library 19). — ISBN: 1402013302. Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the...
New York: Dover Publications, 1990. — 222 p. Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the completeness theorem is proved. "...an...
Cham: Springer Nature Switzerland, 2024. — 359 p. In addition to covering the essentials, the author’s intention in writing this text is to entice the reader to further study mathematical logic. There is no current “standard text” for a first graduate course in mathematical logic and this book will fill that gap. While there is more material than could be covered in a...
Cambridge University Press, 2016. — 187 p. — (Lecture Notes in Logic). — ISBN10: 1107181933. — ISBN13: 978-1107181939. Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students...
John Benjamins Publishing Company, 1992. - 295 p. - (Foundations of Semiotics).
The papers in this volume are concerned with a variety of vitally important topics in philosophical logic, the philosophy of language, the philosophy of mathematics, the philosophy of science, and in the application of modern logic to wider philosophical problems. All of them make fundamental use,...
Bibliopolr, 1984. — 56 p. — (Studies in Proof Theory). Preface : These lectures were given in Padova at the Laboratorio per Ricerche di Di-namica dei Sistemi e di Elettronica Biomedica of the Consiglio Nazionale delle Ricerche during the month of June 1980. I am indebted to Dr. Enrico Pagello of that laboratory for the opportunity of so doing. The audience was made up by...
Hackett Publishing Company, 1991. — 246 p. — ISBN 0-87220-087-6, 0-87220-086-8. Until the early 1970s there was really only one fully articulated technical solution to the semantic paradoxes: Tarski's. Most logicians — and philosophers who were interested — subscribed to it, faute de mieux. Since the seventies, however, satisfaction with this solution has waned and, starting...
6th Edition. — New York: CRC Press, 2015 — xxiv, 472 p. — (Textbooks in Mathematics). — ISBN: 978-1-4822-3778-8. The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of...
CRC Press, 2009. — 469 p. — 5th ed. — ISBN: 1584888768, 9781584888765. Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also...
Chapman & Hall/CRC, 1997. - 456 pages. The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow...
Cambridge: Cambridge University Press, 2022. — 517 p. — (Cambridge Mathematical Textbooks). — ISBN 1108833144. This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of...
New York: Joseph R. Mileti, 2016. — 224 p. Mathematical logic originated as an attempt to codify and formalize the following: The language of mathematics. The basic assumptions of mathematics. The permissible rules of proof. One of the successful results of this program is the ability to study mathematical language and reasoning using mathematics itself. For example, we will...
Morgan & Claypool, 2008. — 150 p. — ISBN: 978-1598291902 Multiple Valued Logic: Concepts and Representations begins with a survey of the use ofmultiple-valued logic in several modern application areas including electronic design automation algorithms and circuit design. The mathematical basis and concepts of various algebras and systems of multiple valued logic are provided...
Springer, 2018. — 151 p. — (Springer Undergraduate Mathematics Series). — ISBN: 978-3-319-92413-7. This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates...
Springer, 2013. — 165 p. — (Atlantis Studies in Computing 03). — ISBN: 9491216945. In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part...
Springer, 2021. — 492 p. — (Logic, Epistemology, and the Unity of Science 49). — ISBN 978-3-030-53653-4. This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general...
Springer, 1976. — 532 p. — (Graduate Texts in Mathematics, Vol. 37). — ISBN: 0387901701, 9781468494525 From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves....
Springer, 1976. — 532 p. — (Graduate Texts in Mathematics, Vol. 37). — ISBN: 0387901701, 9781468494525 From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves....
Cambridge University Press, 2021. — xxii, 190 p. — (Perspectives in Logic). — ISBN 978-1-108-42329-8. In mathematics, we know there are some concepts — objects, constructions, structures, proofs — that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as graphs,...
Oxford University Press, 2022. — 137 p. Preface Note on the Appendix List of illustrations What is Gödel’s theorem? Arithmetic Axiomatization Proof Arithmetical truths and falsehoods Misconceptions of Gödel’s theorem Gödel’s two theorems Axiomatizationits appeal and demands The general appeal of axiomatization The mathematical appeal of axiomatization Euclid’s Elements: a...
Springer, 2018. — 68 p. — ISBN: 978-3-319-65417-1. This is the first book focusing exclusively on fuzzy dual numbers. In addition to offering a concise guide to their properties, operations and applications, it discusses some of their advantages with regard to classical fuzzy numbers, and describes the most important operations together with a set of interesting applications in...
Third Edition. — Springer-Verlag London, 2009, 2012. — 351 p. — ISBN 978-1-4471-4128-0, ISBN 978-1-4471-4129-7 (eBook) Students of science and engineering are required to study mathematics during their first years at a university. Traditionally, they concentrate on calculus, linear algebra and differential equations, but in computer science and engineering, logic, combinatorics...
Arcler Press, 2022. — 424 р. — ISBN 978-1-77469-500-5. “The Use of Abstraction and Logic in Mathematics” is an edited book consisting of 16 contemporaneous open-access articles that are essentially devoted to mathematical logic research, from classical to non-classical logical systems, from algebraic logic to fuzzy logic. The book addresses the following mathematical logic...
Cambridge: Cambridge University Press, 2018. — 250 p. This book presents and applies a framework for studying the complexity of algorithms. It is aimed at logicians, computer scientists, mathematicians and philosophers interested in the theory of computation and its foundations, and it is written at a level suitable for non-specialists. Part I provides an accessible...
Warszawa: Państwowe Wydawnictwo Naukowe, 1970. — 316 s. — (in Polish) Krąg osób zainteresowanych logiką objął w ostatnich czasach także i inżynierów. Konstrukcja maszyn matematycznych, automatyka i wiele innych działów techniki wymaga znajomości szeregu pojęć logicznych, a także umiejętności posługiwania się metodami używanymi w badaniu podstaw matematyki. Na wyższych...
Springer, 2012. – 141 p. – ISBN: 8847023602, 9788847023604
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Godel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Godel's compactness theorem for propositional...
Podręcznik. — Poznań: Uniwersytet im. Adama Mickiewicza, 2016. — 164 p. Książka ta powstała na podstawie wykładów i ćwiczeń z logiki matematycznej i teorii mnogości dla zaocznych studentów informatyki (kurs licencjacki). Jej celem jest przedstawienie elementów obu tych dziedzin, które są niezbędne w dalszym studium informatyki i które stanowią nieodzowny fundament wykształcenia...
New York: Springer, 2019. — 191 p. This text is meant to be used as a textbook for a transition course from mathematics centered on calculation techniques to proof-based mathematics. Most US universities offer such a class after two semesters of Calculus, more for the sake of ensuring a minimum of mathematical maturity than because Calculus itself is of any help. Such a course...
Revised Edition. — New York University Press, — 176 p. — ISBN: 0-8147-5816-9. In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in...
Revised Edition. — Edited and with a new foreword by Douglas R. Hofstadter. — New York: New York University Press, 2001. — 153 p. From Amazon: In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in...
Springer, 1997. — 248 p. One of the most interesting recent developments within the field of automated deduction is inductive logic programming, an area that combines logic programming with machine learning. Within a short time this area has grown to an impressive field, rich in spectacular applications and full of techniques calling for new theoretical insights. This is the...
NY: Springer, 2015. — 391 p. This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and...
New York: Springer, 2015. — 399 p. This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and...
North Holland, 1992. — 680 p. 1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations...
North Holland, 1999. — 960 p. Volume II of Classical Recursion Theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets.The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed...
Springer, 2019. — 163 p. — (Short Textbooks in Logic). — ISBN: 9811379963. This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results...
Издательство Cambridge University Press, 1992, -285 pp. This monograph promotes specification and programming on the basis of Horn logic with equality. As was pointed out in [Pad88a], this theoretical background equips us with a number of deductive methods for reasoning about specifications and designing correct programs. The term declarative programming stands for the...
Springer, 2002. — 316 p. — ISBN: 978-94-017-3179-9. Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of logic tout court. Over the last few decades a vast amount of research papers and even some books have been devoted to this subject. The aim of the present book is to give a...
Bookboon, 2014. — 180 p. n my experience students often struggle to understand Predicate Logic: they drown in the complicated notation; they do not understand the difference between syntax and semantics, proof and truth; they do not appreciate the importance of logic within mathematics and formal methods in general. This book was written specifically to address these issues, at...
Cambridge University Press, 2015. — 354 p. Pure inductive logic is the study of rational probability treated as a branch of mathematical logic. This monograph, the first devoted to this approach, brings together the key results from the past seventy years plus the main contributions of the authors and their collaborators over the last decade to present a comprehensive account...
Springer, 2018. — 233 p. — (Studies in Applied Philosophy, Epistemology and Rational Ethics 43). — ISBN: 3319951467. This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic. It offers extensive information on Gottlob Frege’s logic, discussing which aspects of his...
Springer, 2013. — 120 p. — ISBN: 978-3-319-00965-0. This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. Foundations of Mathematics...
Cambridge University Press, 1987. — 316 p. Growing numbers of computer scientists recognise the importance of formal methods of system design. LCF and ML are often mentioned, seldom understood. There is a wide literature, as the bibliography attests. Gordon, Milner, and Wadsworth describe Edinburgh LCF, with a few remarkable examples. The present book aims to make Cambridge LCF...
Clarendon Press, 1996. — 361 p. — (Oxford Logic guides; 32). — ISBN: 9780198534372, 019853437X. 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...
Riga: University of Latvia, 2015. — 258 p. Platonism, intuition and the nature of mathematics. Axiomatic Set Theory. First Order Arithmetic. Hilbert's Tenth Problem. Incompleteness Theorems. Around Gödel's Theorem. App. 1. About Model Theory. App. 2. Around Ramsey's Theorem. App. 3. Elements of Category Theory (under construction).
New York: Cambridge University Press. - 2008. - 646 p. The major aim of this book is to explain the basic techniques of non-classical logics. However, these techniques do not float in mid-air: they engage with numerous philosophical issues, especially that of conditionality. The meanings of the techniques themselves also raise important philosophical issues. I therefore thought...
Miinchen: Philosophia Verlag, 1989. — 371 p. First Historical Introduction An Outline of the History of (Logical) Dialectic Aspects of the Historical Development of Paraconsistent Logic Classical Logic aufgehoben Systems of Paraconsistent Logic Dynamic Dialectical Logics Paraconsistent and Combinatory Logic Abelian Logic (from A to Z) Paraconsistency and C1 On Detonating...
World Scientific, 2021. — 324 p. — (Problem Solving In Mathematics And Beyond, 22). — ISBN 978-9811228230. Mathematical Labyrinths. Pathfinding provides an overview of various non-standard problems and the approaches to their solutions. The essential idea is a framework laid upon the reader on how to solve nonconventional problems — particularly in the realm of mathematics and...
World Scientific, 2021. — 324 p. — (Problem Solving In Mathematics And Beyond, 22). — ISBN 978-9811228230. Mathematical Labyrinths. Pathfinding provides an overview of various non-standard problems and the approaches to their solutions. The essential idea is a framework laid upon the reader on how to solve nonconventional problems — particularly in the realm of mathematics and...
Cambridge: Harvard University Press, 1981 — 346 pages. W. V. Quine’s systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in...
Springer, 2012. — xvi, 346 p. — (Logic, Epistemology, and the Unity of Science, vol. 23). — ISBN 978-94-007-1922-4, 978-94-007-1923-1. The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael...
Birkhäuser, 2020. — 184 p. — (Studies in Universal Logic). — ISBN: 303056553X. This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises. After an overview of basic first-order...
Springer, 2006. - 260 pages. Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several...
2009. — 131 p. Notation Propositional Logic First-Order Logic Complete Logical Calculi Foundations of Logic Programming Elements of Model Theory Incompleteness and Undecidability On the Theory of Self-Reference Index of Terms and Names Index of Symbols
New York: Addison-Wesley, 2003. — 311 p. An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior...
Springer, 2013. — 127 p. This work started when I first met my adviser, Renata Wassermann, during my under-graduation and it finishes now 7 years later. In the first years of work I had the privilege of meeting professor Grigoris Antoniou who presented me the work of his student Giorgos Flouris. Me and Renata were already working with belief revision in Description Logics and...
Revised ed. — Amsterdam: North-Holland Publishing Company, 1974. — 309 p. — (Studies in Logic & Foundations of Mathematics). — ISBN: 072042237X. Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject. Non-standard analysis grew out of...
Elsevier/MIT Press, 2001. — 969 p. This Handbook presents overviews of the fundamental notions, techniques, ideas, and methods developed and used in automated reasoning and its applications, which are used in many areas of computer science, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive...
Elsevier/MIT Press, 2001. — 1171 p. This Handbook presents overviews of the fundamental notions, techniques, ideas, and methods developed and used in automated reasoning and its applications, which are used in many areas of computer science, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive...
Routledge, 1990. — 168 p. — ISBN 0-415-00033-5. This little book would have borne the sub-title 'An Exposition of the Theory of Kurt Gödel', had I thought of it before Mostowski did. Exposition is, by Locke's description, the regular and methodical disposition of truths, and laying them in a clear and fit order, to make their connexion and force be plainly and easily perceived;...
Routledge, 1990. — 168 p. — ISBN 0-415-00033-5. This little book would have borne the sub-title 'An Exposition of the Theory of Kurt Gödel', had I thought of it before Mostowski did. Exposition is, by Locke's description, the regular and methodical disposition of truths, and laying them in a clear and fit order, to make their connexion and force be plainly and easily perceived;...
Springer International Publishing, 2014. — xii, 286 p. — (Synthese Library, 364). — ISBN 3-319-00403-4, 978-3-319-00403-7, 978-3-319-00404-4. This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known...
N.-Y.: McGrow-Hill, 1953. — 544 p. Hailed by the Bulletin of the AMS as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. Starting with an introduction to symbolic logic, the...
John Wiley & Sons, 2006. — 318 p. — ISBN: 0470042958 A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience as they make the transition from computational mathematics to advanced calculus and algebraic structures, Theorems, Corollaries, Lemmas, and Methods of Proof equips...
Cambridge University Press, 2016. — xvi, 344 p. — (Perspectives in Logic, 2). —ISBN: 978-1-107-16843-5. Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary source of ideas and examples in higher recursion theory. It is also a crossroad for several areas of mathematical logic: in set theory it is an initial segment of Godel's L; in model...
World Scientific Publishing Company, 2003. - 708 Pages.
This invaluable book is a collection of 31 important — both in ideas and results — papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E Sacks. Some of the authors are Gödel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin.
World Scientific, 1999. - 431 pp. The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical. General...
Morgan & Claypool, 2020. — 185 p. — (Synthesis Lectures on Digital Circuits and Systems 57). — ISBN: 9781681736754. Index generation functions are binary-input integer valued functions. They represent functions of content addressable memories (CAMs). Applications include: IP address tables; terminal controllers; URL lists; computer virus scanning circuits; memory patch...
Princeton: Princeton University Press, 2005. — 519 p. So-called classical logic--the logic developed in the early twentieth century by Gottlob Frege, Bertrand Russell, and others--is computationally the simplest of the major logics, and it is adequate for the needs of most mathematicians. But it is just one of the many kinds of reasoning in everyday thought. Consequently, when...
Springer, 1997. — 248 p. Nonmonotonic logics were created as an abstraction of some types of common sense reasoning. They have the surprising property - for logicians trained on classical logic - of being nonmonotonic in the following sense: increasing the axiom set will not necessarily result in an increase in the set of formulas deducible from these axioms. Such situations...
Cambridge: Cambridge University Press, 2011. — 582 p. — (Encyclopedia of mathematics and its applications, 132). — ISBN: 978-0-521-76268-7. Relational mathematics is to operations research and informatics what numerical mathematics is to engineering: it is intended to help modelling, reasoning, and computing. Its applications are therefore diverse, ranging from psychology,...
Birkhäuser, 2008. — 171 p. By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science applications. This book emphasizes such Computer Science aspects in...
Springer, 2023. — 278 p. — (Texts & Monographs in Symbolic Computation). — ISBN 978-3-031-24933-4. This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete...
Springer-Verlag London, 2011. — 435 p. — ISBN 9780857298072; e-ISBN: 9780857298089. This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of...
Springer, 2024. — 281 p. This book is a continuation of the Algebraic Formalization of Smart Systems. Theory and Practice, 2018, and Algebraic Identification of Smart Systems. Theory and Practice, 2021. Algebraic logic refers to the connection between Boolean algebra and classical propositional calculus. This connection was discovered by George Boole and then developed by other...
Springer, 2019. — 222 p. — (Logic, Epistemology, and the Unity of Science 46). — ISBN: 978-3-030-25799-6. This volume aims to provide the elements for a systematic exploration of certain fundamental notions of Peirce and Husserl in respect with foundations of science by means of drawing a parallelism between their works. Tackling a largely understudied comparison between these...
Cambridge: Cambridge University Press, 2022. — 79 p. — (Elements in Philosophy and Logic). — ISBN 1108987001. One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic . This Element will examine the basics of first-order classical...
Cambridge University Press, 2017. — 438 p. — (Perspectives in Logic). — ISBN: 978-1107168350. Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the sixth publication in...
2nd Edition. — Cambridge University Press, 2017. — 1064 p. — (Perspectives in Logic). — ISBN: 978-1-107-16836-7. Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the...
AK Peters/CRC Press, 2001. - 356 pages. This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The...
Ontario: Broadview Press, 2008. — 299 p. The third edition of Essentials of Symbolic Logic is a concise and clearly written introduction to the topic. Based on years of use in colleges and universities, the book provides an accessible and thorough grounding in sentence logic and predicate logic. While technical jargon is kept to a minimum, all necessary logical concepts and...
USA.: The Pennsylvania State University. 2000. - 77p. English. Хорошо составленный курс лекций по математической логике (на английском языке), читаемый автором в университете штата Пенсильвания, США. Содержит: 1. Исчисление высказываний: теоремы полноты и компактности в них; 2. Исчисление предикатов: теоремы полноты и компактности в них; 3. Теория доказательств: система...
Delhi: PHI, 2018. — 431 p. Designed primarily as an introductory text on logic for computer science, this well-organized book deals with almost all the basic concepts and techniques that are pertinent to the subject. It provides an excellent understanding of the logics used in computer science today. Starting with the logic of propositions, it gives a detailed coverage of first...
Springer, 2020. — 268 p. — (Lecture Notes in Electrical Engineering 577). — ISBN: 978-981-13-8820-0. The book compiles efficient design and test methodologies for the implementation of reversible logic circuits. The methodologies covered in the book are design approaches, test approaches, fault tolerance in reversible circuits and physical implementation techniques. The book...
Academic Press, 2020. — 428 p. — ISBN: 978-0-12-819670-0. This book presents the state-of-the-art research on neutrosophic and plithogenic theories and their applications in various optimization fields. Its table of contents covers new concepts, methods, algorithms, modelling, and applications of green supply chain, inventory control problems, assignment problems,...
Cambridge University Press, 2003. — 367 p. — ISBN13: 9781107481107. Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skillful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and...
2nd edition. — Cambridge: Cambridge University Press, 2020. — 428 p. Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition,...
Logic Matters, 2020. — 428 p. — ISBN 9798675803941. Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book , extensively revised and rewritten for the second edition , Peter Smith...
New York: Cambridge University Press, 2007. — 375 p.
In 1931, the young Kurt Godel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Godel also outlined an equally...
Cambridge University Press, 2005. — 173 p. In 1931, the young Kurt Gödel published his First and Second Incompleteness Theorems; very often, these are simply referred to as ‘Gödel’s Theorems’. His startling results settled (or at least, seemed to settle) some of the crucial questions of the day concerning the foundations of mathematics. They remain of the greatest significance...
Logic Matters, 2020. — 402 p. — ISBN 9798673862131. In 1931, the young Kurt Gödel published his First Incompleteness Theorem , which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally...
Logic Matters, 2022. — x, 184 p. — ISBN 978-1-91690633-4. There are many wonderful introductory texts on mathematical logic, but there are also many not-so-useful books. So how do you find your way around the very large literature old and new, and how do you choose what to read? Beginning Mathematical Logic provides the necessary guide. It introduces the core topics and...
Logic Matters, 2022. — 154 p. — ISBN 978-1916906358. Kurt Gödel’s famous First Incompleteness Theorem shows that, for any sufficiently rich theory that contains enough arithmetic, there are some arithmetical truths the theory can express. but cannot prove. How is this remarkable result established ? This short book explains. It also discusses Gödel’s Second Incompleteness...
Department of Computer Science Saarland University, 2014. — 204 p. This course is an introduction to basic logic principles, constructive type theory, and interactive theorem proving with the proof assistant Coq. At Saarland University the course is taught in this format since 2010. Students are expected to be familiar with basic functional programming and the structure of...
Dover Publications, 1995. - 176 p. Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more....
Oxford: Oxford University Press, 1993. — 184 p. — ISBN: 0-19-508232-X. This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness,...
Singapore: World Scientific Publishing Co, 2015. - 181p.
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...
Singapore: World Scientific Publishing Company, 2016. — 286 p. — ISBN: 9814730998. This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan . This book is a sequel to my Beginner's Guide to Mathematical Logic . (см. /file/1849353/). The previous volume deals with elements of propositional and first-order logic, contains a bit on formal...
AK Peters, 2009. - 275 pages. This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the...
Oxford: Oxford University Press, 1993. — 184 p. — ISBN: 0-19-508232-X. This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness,...
Dover Publications, 2014. — 288 p. — ISBN: 0486492370. Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive...
Dover Publications. — 2014. — 198 pages. — ISBN: 0486492370. Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive...
New Jersey, Englewood Cliffs: Prentice-Hall, 1978. - 241p
In his most critically acclaimed work, a well-known mathematician, magician, and author spins a logical labyrinth of more than 200 increasingly complex and challenging problems — puzzles that delve into some of the deepest paradoxes of logic and set theory. Solutions. "The most original, most profound, and most humorous...
6th Edition, Wiley, 2014. - 338 pp., ISBN: 978-1-11-816402-0 How to Read and Do Proofs, provides a systematic approach for teaching students how to read, think about, understand, and create proofs. It develops a method for communicating proofs, categorizing, identifying, and explaining (at the student’s level) the various techniques that are used repeatedly in virtually all...
Dordrecht: Springer, 2011. — 327 p. The book “Foundational Theories of Classical and Constructive Mathematics” is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering...
Springer, 2013. — 207 p. This book is written on the occasion of the centenary of the birth of Kurt Gӧdel (1906–1978), the most exciting logician of all time, whose discoveries shook the foundations of mathematics. His beautiful technique of examining the whole edifice of mathematics within mathematics itself has been likened, not only figuratively but also in precise technical...
Springer, 2008. — 153 p. This book provides a distinctive, well-motivated introduction to mathematical logic. It starts with the definition of first order languages, proceeds through propositional logic, completeness theorems, and finally the two Incompleteness Theorems of Godel.
Morgan & Claypool, 2012. — 168 p. — ISBN: 978-1608459421 Compared to binary switching functions, the multiple-valued functions (MV) offer more compact representations of the information content of signals modeled by logic functions and, therefore, their use fits very well in the general settings of data compression attempts and approaches. The first task in dealing with such...
Cambridge University Press, 1972. - 654 pages. This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas...
New York: Springer, 2022. — 818 p. The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors’ approach emphasizes a thorough understanding of the fundamental principles as well as numerical and...
AK Peters Ltd., 2010. — 193 p. — ISBN: 978-1-56881-466-7. Many popular books have been written on the advances in our understanding of infinity sparked by the set theory of Georg Cantor in the 1870s, and incompleteness theorems of Kurt Godel in the 1930s. However, such books generally dwell on a single aspect of either set theory or logic. I believe it has not been made clear...
Novosibirsk: NSTU Publisher, 2006.
A generic construction realizing basic characteristics of Ehrenfeucht theories, i.e. of complete rst order theories with nitely many but more then one pairwise non-isomorphic countable models, is stated. On the basis of that construction as well as of the Hrushovski — Herwig generic construction, a solution of the Lachlan problem on existence...
Litton Education Publ., 1957. — (Dover Publications, 1999, 2012). — 330 p. — (Dover Books on Mathematics). — ISBN-13 978-0486406879. This well-organized book was designed to introduce students to a way of thinking that encourages precision and accuracy. As the text for a course in modern logic, it familiarizes readers with a complete theory of logical inference and its specific...
Springer, 2016. — xvi, 378 p. — (Logic in Asia: Studia Logica Library). — ISBN 978-3-662-48356-5, 978-3-662-48357-2. This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for...
Milton: Routledge, 2019. — 338 p. Temporal logic of programs: standard approach General logical framework Introduction to temporal logics Propositional temporal logic of programs Effective temporal logics of programs On temporal logic in general Expressing and proving properties of programs in temporal logics: fairness and concurrency On special properties of programs...
Tarski, A. (1994). Introduction to Logic and to the Methodology of the Deductive Sciences (Oxford Logic Guides, 24) (J. Tarski, Ed.; 4, revised ed.). Oxford University Press. 256 pages. On the Use of Variables Constants and variables Expressions containing variables—sentential and designatory functions Construction of sentences in which variables occur—universal and existential...
Taylor & Francis, 2014. — 414 p. The need for proof. The language of mathematics. Reasoning. Deductive reasoning and truth. Example proofs. Logic and Reasoning. Propositions, connectives, and truth tables. Logical equivalence and logical implication. Predicates and quantification. Logical reasoning. Sets and Functions. Sets and membership. Operations on sets. The Cartesian...
Prentice Hall, 1989. — 240 p. This text is a primer in the best sense of the word: A book which presents the basic elements of a subject. Volume I presents sentence logic. Volume II, Part I lays out predicate logic, including identity, functions, and definite descriptions; Part II introduces metatheory, including mathematical induction, soundness, and completeness.
Prentice Hall, 1989. — 149 p. This text is a primer in the best sense of the word: A book which presents the basic elements of a subject. Volume I presents sentence logic. Volume II, Part I lays out predicate logic, including identity, functions, and definite descriptions; Part II introduces metatheory, including mathematical induction, soundness, and completeness.
Oxford: Oxford University Press, 2022. — 376 p. In The Logic of Number, Neil Tennant defines and develops his Natural Logicist account of the foundations of the natural, rational, and real numbers. Based on the logical system free Core Logic, the central method is to formulate rules of natural deduction governing variable-binding number-abstraction operators and other...
Cambridge University Press, UK, 2003. — 342 p. (Cambridge Studies in Advanced Mathematics 82) — ISBN13: 978-0-511-06871-3. This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy....
Wiley, 2008. — 320 p. — ISBN10: 0470280743 A comprehensive and user–friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. With its user–friendly approach, this book successfully equips readers with the key concepts and methods for...
New York: Center for the Study of Language and Inf, 1996. — 216 p. The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in...
Springer, 1969. — 116 p. — (Lecture Notes in Mathematics, 95). — ISBN 3-540-04614-3, 978-3-540-04614-1. This paper is intended as an introduction to the principles of intuitionism. Basic notions, not formal systems are emphasized; proof theoretic results are mentioned to illustrate relative power and formal consequences of various principles. In other words, this paper presents...
Springer, 1969. — 116 p. — (Lecture Notes in Mathematics, 95). — ISBN 3-540-04614-3, 978-3-540-04614-1. This paper is intended as an introduction to the principles of intuitionism. Basic notions, not formal systems are emphasized; proof theoretic results are mentioned to illustrate relative power and formal consequences of various principles. In other words, this paper presents...
Cambridge University Press, 1996. — 353 p. The discovery of the set-theoretic paradoxes around the turn of the century, and the resulting uncertainties and doubts concerning the use of high-level abstractions among mathematicians, led D. HUbert to the formulation of his programme: to prove the consistency of axiomatizations of the essential parts of mathematics by methods which...
Elsevier, 2001. - 293 pp. The book contains a collection of papers on mathematical logic written by the eminent mathematician and the "father of computer" Alan Turing. The papers are accompanied by the historical comments and prefaces. Computability and Ordinal Logics On Computable Numbers, with an Application to the Entscheidungsproblem // P. Lond. Math. Soc. (2) 42, 230-265...
Данная программа служит эмулятором машины Тьюринга. На вход подаются данные и машина, используя три операции "влево", "вправо" и "заменить символ", выполняет всяческие операции по изменению строки или числовых данных.
Для работы требуется NetFraimwork 2.0
Springer, 2014. — 240 p. — (Trends in Logic 37). — ISBN: 978-3-319-00481-5. This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Leśniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey eschews secondary commentary, analyzing...
Springer, 2013. — 266 p. — 5th ed. — (Universitext). — ISBN: 1447145577, 9781447145585 Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an...
Ramapo College of New Jersey., 2018. — 296 p. A logical beginning. A touch of set theory. A touch of analysis. A touch of topology. A touch of group theory.
Cambridge University Press, 2013. — 276 p. — ISBN10: 110761077X, ISBN13: 978-1107610774. Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is...
Milano: Polimetrica, 2009. — 246 p. S(zp,zp) performs an innovative analysis of one of modern logic’s most celebrated cornerstones: the proof of Gödel’s first incompleteness theorem. The book applies the semiotic theories of French post- structuralists such as Julia Kristeva, Jacques Derrida and Gilles Deleuze to shed new light on a fundamental question: how do mathematical...
Singapore: World Scientific, 2017. — 302 p. A history of logic A language and its meaning A symbolic language 1850-1950 : mathematical logic Modern symbolic logic Elements of set theory Sets, functions, relations Induction Turing machines Computability and decidability Propositional logic Syntax and proof systems Semantics of pl Soundness and completeness Diagnosing paradoxes...
Springer, 2018. — 535 p. Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They...
Singapore: Springer, 2022. — 281 p. This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the...
Singapore: Springer, 2022. — 284 p. This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of...
Singapore: Springer, 2023. — 264 p. This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of...
Singapore: Springer, 2021. — 210 p. This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change...
2002. — 263 s. Celem tego podręcznika nie jest systematyczny wykład logiki. Niniejsza pozycja przeznaczona jest przede wszystkim dla tych, którzy pobieżnie zetknąwszy się z logiką, na przykład jako z przedmiotem wykładanym podczas krótkiego kursu na wyższej uczelni, z przerażeniem stwierdzili, że nic z tego nie rozumieją. Przyświeca mi cel pokazania takim osobom, że wbrew...
Oxford: Oxford University Press, 2017. - 217 p. Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its conclusion, aiming to provide a theory of how one should reason in the face of uncertainty. It has applications to decision making and...
Oxford: Oxford University Press, 2017. - 220 p. Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its conclusion, aiming to provide a theory of how one should reason in the face of uncertainty. It has applications to decision making and...
Springer, 1988. — 491 p. — (Synthese library, 147). — ISBN 978-94-015-6944-6, 978-94-015-6942-2. The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly...
Springer, 1988. — 491 p. — (Synthese library, 147). — ISBN 978-94-015-6944-6, 978-94-015-6942-2. The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly...
Mathematical Association of America, 2005, -415 pp. The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for...
Mathematical Association of America, 2005, -415 pp. The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for...
San Luis: Robert S. Wolf, 2008. - 400p.
Starting with an explanation of what 'proof' means to a mathematician, this student-friendly introductory text is aimed at undergraduates in mathematics and related disciplines. It shows students how to read and write mathematical proofs and describes how mathematicians investigate problems and formulate conjecture. Students develop their...
Springer, 2019. — xiv+122 p. — (Springer Briefs in Mathematics). — ISBN: 978-981-13-9949-7. True PDF Gödel's true-but-unprovable sentence from the first incompleteness theorem is purely logical in nature, i.e. not mathematically natural or interesting. An interesting problem is to find mathematically natural and interesting statements that are similarly unprovable. A lot of...
Calgary: openlogicproject.org, 2018. — 236 p. The textbook used for Calgary's Logic III course: includes the material on recursive functions, Gödel's incompleteness theorem, models of arithmetic, and second-order logic. Appendices cover basics of first-order logic with natural deduction, and biographies of some logicians. This text also includes chapter summaries.
Alberta: The Open Logic Project, 2017. - 177 p. Introduction to Incompleteness. Recursive Functions. Arithmetization of Syntax. Representability in Q. Incompleteness and Provability. First-order Logic (App. A). Natural Deduction (App. B). Biographies (App. C). About the Open Logic Project.
Calgary: University of Calgary, 2019. — 279 p. Textbook for Calgary’s Logic III course based on the Open Logic Project . Covers recursive function theory, Gödel’s incompleteness theorem, models of arithmetic, and second-order logic. Introduction to Incompleteness. Recursive Functions. Arithmetization of Syntax. Representability in Q. Incompleteness and Provability. Models of...
Alberta: The Open Logic Project, 2017. - 278 p. This book is an introduction to meta-logic, aimed especially at students of computer science and philosophy. “Meta-logic” is so-called because it is the discipline that studies logic itself. Logic proper is concerned with canons of valid inference, and its symbolic or formal version presents these canons using formal languages,...
Calgary: University of Calgary, 2019. — 372 p. Textbook for Calgary’s Logic II course based on the Open Logic Project . Covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. True PDF
Boulder: Westview Press, 2000. — 345 p. ISBN: 0813390613. Учебник является введением в классическую логику высказываний и классическую логику предикатов первого порядка. Уделяется внимание как исчислениям, так и семантике (с разбором соответствующих теорем). Также обсуждается вопрос о связи логики с теорией множеств. Рассматривается проблема разрешимости. The elements....
Springer, 2025. — 488 p. Mathematical logic is an important basis for mathematics, Computer Science and Artificial Intelligence (AI) alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic. In addition, it presents proof...
Science Press, 2012. — 317 p. — ISBN 978-3-642-23844-4 This introduction is a brief presentation of NCL (Natural Constraint Language) and its software platform POEMR (Programming in Operational and Expressive Models). After reading this chapter, readers will have a clear idea about the main features of NCL. Section 1.1 gives a quick overview of some systems for modeling and...
Учебно-методическое пособие. — Волгоград: Волгоградский государственный технический университет, 2017. — 112 с. — ISBN: 978–5–9948–2443–6. Излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем. Предназначено для студентов всех форм...
Учебное пособие. — М. : МАТИ, 2011. — 80 с. ISBN: 978-5-93271-611-3 Учебное пособие предназначено для студентов МАТИ, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Оно ставит своей целью помочь студентам лучше усвоить...
Учебное пособие. — М.: МАТИ, 2008. — 52 с. — ISBN: 978-5-93271-440-9. Учебное пособие посвящено изучению важных разделов математической логики: алгебры высказываний и логики предикатов. Его основу составляют конспекты лекций, которые читались студентам второго курса дневного отделения «МАТИ» – РГТУ им. К.Э. Циолковского. Пособие содержит большое количество примеров,...
М.: Наука, 1973. — 276 с. — (Труды Математического института им. В.А. Стеклова. Том 133). Сборник посвящается академику П.С. Новикову к его семидесятилетию. Он составлен из 23 статей. Сборник открывается тремя обзорными статьями о научной и педагогической деятельности П.С. Новикова, о его работах в дескриптивной теории множеств и по алгоритмическим вопросам алгебры. В этих...
Петропавл: М. Қозыбаев ат. СҚМУ, 2011. – 90 б. Оқу-әдістемелік құрал математикалық логика және дискретті математиканың әртүрлі бөлімдері бойынша құрастырылған тест тапсырмаларынан тұрады және оқудың кредиттік және қашықтық оқыту түрлерінде аралық, қорытынды бақылауларды өткізу кезінде, әрі студенттердің өз білімін тексеру мақсатында қолдануға болады. «Математика»,...
Учебное пособие. — Новосибирск: Новосибирский государственный университет (НГУ), 2012. — 24 с. Вторая часть краткого конспекта. Первая часть курса находится по адресу /file/2194303/ Секвенциональное исчисление предикатов с равенством (СИПР). Исчисление высказываний гильберовского типа. Теория алгоритмов. Неразрешимость арифметики и теорема Гёделя о неполноте.
Краткий конспект. — Новосибирск: НГУ, механико-математический факультет, 2012. — 29 с. Исчисление высказываний. Теория множеств. Язык исчисления предикатов и его семантика.
Саратов: Профобразование; Москва: Ай Пи Эр Медиа, 2020. — 98 с. — ISBN 978-5-4497-0450-4. Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Учебное пособие предназначено для изучения дисциплин «Математическая логика и...
Учебное пособие, определения и формулировки. — Новосибирск: НГУ, 2014. — 32 с. Исчисление высказываний Теория множеств Язык исчисления предикатов и его семантика
Учебное пособие. — М.: МИФИ, 2003. — 199 с. В настоящем учебном пособии изложены основы теории двоичных функций, исчисления предикатов, теории моделей, элементов теории алгоритмов и теории сложности вычислительных задач. Книга предназначена для студентов, специализирующихся в областях, связанных с информационной безопасностью, а также для преподавателей дискретной математики. В...
Учебное пособие. — Благовещенск: БГПУ, 2001. — 101 с. Учебное пособие рассчитано на студентов физико-математических факультетов педагогических университетов. В нем обобщаются с помощью элементов теории множеств и математической логики некоторые основные вопросы школьного курса математики. Пособие составлено в соответствии с требованиями, предъявляемыми новым стандартом по...
Пермь: Пермский государственный национальный исследовательский университет, 2017. — 111 с. — ISBN: 978-5-7944-2904-6. Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания...
Учебное пособие. — Пермь: Пермский государственный национальный исследовательский университет (ПГНИУ), 2021. — 109 с. — ISBN 978-5-7944-3611-2. Программа учебного курса «Математическая логика» содержит два раздела: «Формальная логика» и «Математическая логика». В предлагаемом учебном пособии излагается материал, относящийся к первому разделу. В издании рассматриваются темы:...
Навчальний посібник. — Львів: Львівський національний університет імені Івана Франка, 2007. — 152. Метою даної книжки є виклад базових тем математичної логіки, до входять до програм цього курсу для студентів механико-математичних факультетів університетів у зручній для сприйняття формі. Семіотика, логічні мови і алгебра висловлень. Семіотика і загальна фнформація про мови...
Учебное пособие. — Краснодар: Кубанский государственный аграрный университет имени И. Т. Трубилина, 2021. — 96 с. — ISBN 978-5-907474-87-1. Учебное пособие содержит систематизированный учебный материал, являющийся обобщением опыта преподавания в вузе разделов «Логика высказываний» и «Предикаты» в рамках изучения курса основ математической логики и теории алгоритмов....
Учеб. пособие. — 2-е изд. – СПб.: СЗТУ, 2003. – 104 с. Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 -"Информатика и вычислительная техника" (Специальность 220100 - "Вычислительные машины, комплексы, системы и сети") и направления подготовки...
Киров: Вятский социально-экономический институт (ВСЭИ), 2010. – 14 с. Цель курса: формирование знаний и представлений о понятиях и методах математической логики, ее месте и роли в науке, современной математике и в школьном курсе математики. Задачи курса: - заложить основы логики и исчисления высказываний и предикатов; - дать представление о формальных математических теориях и...
Учебное пособие. — Белгород: БелГУ, 2016. — 136 с. Пособие содержит следующие разделы курса: введение в теорию множеств, комбинаторика, математическая логика, теория графов, конечно автоматные графы и сети Петри. Учебное пособие предназначено для проведения лекционных и практических занятий по дисциплинам «формально-логические средства организации управления» и...
Монография. — М.: Мир, 1985. — 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный...
М.: Мир, 1985. — 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский...
Москва: Институт проблем управления им. В. А. Трапезникова РАН. — 124 с. Логика высказываний. Алгебра высказываний. Исчисление высказываний. Метод дедуктивного вывода. Принцип резолюции. Проблемы исчисления высказываний. Описание высказываний на языке Prolog. Логика предикатов. Алгебра предикатов. Исчисление предикатов. Проблемы в исчислении предикатов. Логическое программирование.
Учебно-методическое пособие. — Ярославль: Ярославский государственный университет им. П. Г. Демидова (ЯрГУ), 2018. — 52 с. В учебно-методическом пособии излагаются основы теории лямбда-исчисления. Рассматриваются базовые элементы формализма, приводятся примеры различных вычислений и структур данных. Предназначено для студентов факультета информатики и вычислительной техники...
Учебное пособие. — Ярославль: ЯрГУ, 2013. — 139 с. — ISBN: 978-5-8397-0908-9. Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям,...
Учебное пособие. — Ярославль: Ярославский государственный университет им. П. Г. Демидова (ЯрГУ), 2012. — 204 с. Пособие содержит материал по элементам теории множеств, исчислению высказываний, исчислению предикатов, булевым функциям. Приведён ряд задач, дополняющих основное содержание пособия. Предназначено для студентов, обучающихся по направлению 010400.62 Прикладная...
М.: Изд-во иностранной литературы, 1961. — 260 с.
Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор...
М.: Изд-во иностранной литературы, 1961. — 260 с. Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор...
Учебное пособие. — Бирск: Башкирский государственный университет (БашГУ), Бирский филиал, 2015. — 136 с. — ISBN 978-5-86607-475-4. В пособии представлены материалы, необходимые для изучения курса «Математическая логика». Пособие содержит краткую теорию, подборку примеров и задач для практических занятий по выделенным темам, а также задачи для контроля самостоятельной работы...
Учебное пособие. — Бирск: Башкирский государственный университет (БашГУ), Бирский филиал, 2015. — 136 с. — ISBN 978-5-86607-475-4. В пособии представлены материалы, необходимые для изучения курса «Математическая логика». Пособие содержит краткую теорию, подборку примеров и задач для практических занятий по выделенным темам, а также задачи для контроля самостоятельной работы...
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2005. — 34 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов». Приводятся основные понятия и утверждения логики высказываний и предикатов. В логике высказываний даются основные методы построения вывода. В логике предикатов вводятся нормальные формы описания предметной области и получение вывода с помощью метода...
Учебное пособие. — Самара: Поволжский гос. ун-т телекоммуникаций и информатики (ПГУТИ), 2017. — 214 с. Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления...
Казань, 2003. 58 с.
Курс лекций по логической семантике, прочитанный в Казанском университете в 2003 г. Содержит элементарное изложение методов, средств и проблем описания семантики естественных языков.
Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка. Формальная семантика. Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой....
М.: Издательство ЛКИ, 2008. - 216 с. Книга посвящена теории сложности алгоритмов в той ее части, где речь идет о противостоянии Р- и NР- задач. В резонанс с проблемой «Р против NP» входит обширная тематика: комбинаторные задачи на графах, неразрешимые проблемы теории алгоритмов, криптография, целочисленное программирование, вероятностные методы, квантовые вычисления, алгоритмы...
Учебное пособие. — М.: Издательство ЛКИ, 2008. — 216 с. - ISBN 978-5-382-00642-0. Книга посвящена теории сложности алгоритмов в той ее части, где речь идет о противостоянии Р- и NP-задач. В резонанс с проблемой "Р- против NP-" входит обширная тематика: комбинаторные задачи на графах, неразрешимые проблемы теории алгоритмов, криптография, целочисленное программирование,...
Учебное пособие. — М.: КомКнига, 2006. — 208 с. — ISBN 5-484-00463-2. Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью....
Учебное пособие. — М.: КомКнига, 2006. — 208 с. — ISBN: 5-484-00463-2. Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью....
М.: Наука, 1976. — 308 с. В сборнике представлены статьи по аксиоматической теории множеств, теории моделей, дескриптивной теории множеств, арифметике второго порядка, нестандартным моделям арифметики, логике предикатов высших ступеней, а также по многозначным, модальным и другим неклассическим логикам. Кановей В. Г. Определимость с помощью степеней конструктивности Введение...
2-е переработанное издание. — Ленинград: Издательство Ленинградского университета, 1972. — 64 с. Работа представляет собой учебно-методическое пособие для заочников по разделу «Символическая логика» из курса формальной логики, читаемого на философском факультете ЛГУ. В ней излагается круг вопросов, связанных с так называемым классическим исчислением высказываний, и даются...
Пер с англ. В.А. Душского, Е.Ю. Ногиной. — Под ред. С.Н. Артемова. — М.: Мир, 1994. — 396 с.: ил. — ISBN 5-03-003067-0. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической...
Пер. с англ. — М.: Мир, 1994. — 396 с., ил. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о...
Монография. — М.: Московский центр непрерывного математического образования (МЦНМО), 2015. — 360 с. — ISBN 978-5-4439-2401-4. В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр...
Красноярск: Сибирский Федеральный Университет, 2019. — 111 с. — ISBN: 978-5-7638-4076-6. Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления...
Красноярск: СГУ, 2019. — 111 с. Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет...
Учебно-методическое пособие для студентов физико-математических факультетов педвузов. Тобольск, 2010. – 186 c. Рекомендовано УМО по математике педвузов Волго-Вятского региона в качестве учебного пособия для студентов физико-математических специальностей высших учебных заведений. Учебно-методическое пособие представляет конспект курса лекций по математической логике, читаемого...
М.: АНО Институт логики, 2005. — 208 с. — ISBN 5-85593-145-5. Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое исчисление, в котором наряду с формулами присутствуют коды доказательств, преобразуемые по определенным правилам вывода, и операции над ними. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем...
М.: ДМК Пресс, 2021. — 445 с. Доказательства играют центральную роль в высшей математике и теоретической информатике, однако многие студенты испытывают трудности при изучении предметов, которые в значительной степени основаны на доказательствах. Третье издание этого бестселлера помогает студентам перейти от механического решения задач к осмысленному доказательству теорем,...
Лекции для 1-го курса мехмата МГУ. — М., 2000. — 40 с. Логика высказываний . высказывания и операции. Полные системы связок. Исчисление высказываний . Исчисление высказываний. Интуиционистская пропозициональная логика. Языки первого порядка . Формулы и интерпретации. Определение истинности. Выразимые и невыразимые предикаты. Автоморфизмы. Элиминация кванторов. Исчисление...
Учебное пособие для вузов. — М.: МЦНМО. 1999. — 124 с. — ISBN: 5-900916-36-7.
Качество: Отсканированные страницы.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение...
М.: МЦНМО, 2002. — 128 с. 150 задач различной трудности. По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Множества и мощности. Множества. Число элементов. Равномощные множества. Счётные множества. Теорема Кантора-Бернштейна. Теорема...
М.: МЦНМО, 2002. — 128 с. — ISBN: 5-900916-36-7. 150 задач различной трудности. По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Множества и мощности. Множества. Число элементов. Равномощные множества. Счётные множества. Теорема...
Учебное пособие для вузов. — М.: МЦНМО. 1999. — 124 с. — ISBN: 5-900916-36-7. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических...
4-е изд., доп. — М.: МЦНМО, 2012. — 112 c. — ISBN: 978-5-4439-0012-4. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ,...
5-е изд., стереотип. — М.: Московский центр непрерывного математического образования (МЦНМО), 2017. — 112 c. — ISBN 978-5-4439-0943-1. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция,...
5-е изд., испр. — М.: МЦНМО, 2017. — 240 c. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение...
Учебное пособие для вузов. — М.: МЦНМО, 2000. — 291 с. — ISBN: 5-900916-39-1. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала...
4-е изд., испр. — М.: МЦНМО, 2012. — 240 c. — ISBN: 978-5-4439-0013-1. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала...
Москва: МЦНМО, 2002. — 288 с. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на...
Учебное пособие для вузов. — М.: МЦНМО, 2000. — 291 с. — ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний,...
4-е изд., испр. — М.: МЦНМО, 2012. — 240 c.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказыаний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение...
4-е изд., исправленное. — М.: МЦНМО, 2012. — 160 c.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке,...
Учебное пособие для вузов. — М.: МЦНМО, 1999. — 177 с. — ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации...
Учебное пособие для вузов. — М.: МЦНМО, 1999. — 177 с. — ISBN: 5-900916-39-1. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о...
4-е изд., исправленное. — М.: МЦНМО, 2012. — 160 c. — ISBN: 978-5-4439-0014-8. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о...
5-е изд., испр. — М.: МЦНМО, 2017. — 160 c. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m -полнота, теорема о неподвижной точке, арифметическая...
Пермь: Пермский Государственный Технический Университет, 2007. — 49 с. Логика высказываний. Логические исчисления. Логика и исчисление предикатов. Автоматическое доказательство теорем. Теория алгоритмов.
Лекция с анимацией. Высказывания. Операции над высказываниями. Тавтологии. Теоремы. Предикаты. Множества, операции над ними. Отношения между множествами. Анимация переключательной схемы. Знакомство с системой Mathematica. Ее применение для проверки истинности высказываний и выполнения операций над ними, для решения простых задач теории множеств.
Москва: Изд-во МИФИ, 2007. — 306 с. Изложен основной круг задач, сводимых к исчислению объектов - от простого к сложному. Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и λ-исчисления. Все задачи снабжены подробными и...
М.: Вычислительный центр имени А.А. Дородницына РАН, 2007. — 53 с. Лекции по логическим алгоритмам классификации. Материал находится в стадии разработки, может содержать ошибки и неточности.
Учебно-практическое пособие. – Комсомольск-на-Амуре: Комсомольский-на-Амуре государственный технический университет, 2003. — 61 с. По содержанию данное пособие, является методической основой для изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности,...
Учебное пособие. — Казань: Изд-во Казан. гос. техн. ун-та им. А.Н. Туполева, 2002. — 270 с.: ил. — ISBN 5-93629-031-X.
Пособие содержит следующие разделы. Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и...
Казань: Издательство КГТУ им. А. Н. Туполева, 2002. — 270 с. Пособие содержит следующие разделы: Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики....
Учебно-методическое пособие. — Таганрог: Изд-во ТРТУ, 2003. — 65 с. В настоящем пособии изложены основные законы и теоремы математической логики, лежащей в основе современной теории алгоритмов, а также задачи по теории множеств. Пособие предназначено для изучения лекционных курсов "Математическая логика и теория алгоритмов" студентам специальности 07500. Подготовлено на кафедре...
Учебное пособие. — Саратов: Изд-во СГУ, 1999. — 76 с. Данное учебное пособие представляет собой курс лекций, которые автор читает на механико-математическом факультете Саратовского государственного университета, начиная с 1993 года. Содержание курса составили два раздела математической логики: исчисления и алгоритмы. Подбор материала лекций определялся задачей развития у...
Учебное пособие. — 4-е изд., перераб. и доп. — СПб.: Лань, 2014. — 416 c. — (Учебники для вузов. Специальная литература). — ISBN: 978-5-8114-1666-0. Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия...
Учебное пособие, издание третье, исправленное и дополненное. — СПб.: Лема, 2011. — 284 с. Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны языки логики высказываний и логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные...
Учебно—методическое пособие. — Минск: БГУИР, 2012. — 124 с. Пособие посвящено теоретико—прикладным проблемам неклассических логик. Рассматриваются вопросы представления знаний, построения машин вывода для моделей знаний, использующих неклассические логические формализации. Описаны вопросы, связанные с мотивацией введения многозначных логических исчислений из-за логических...
Учебно-методическое пособие. — Екатеринбург: УрГУПС, 2017. — 85 с. Учебно-методическое пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов электротехнического факультета направления подготовки 10.03.01 – «Информационная безопасность». Содержит подробные лекции с...
2-е изд. — М.: Государственное издательство иностранной литературы, 1947. — 306 с.
Текстовый слой, оглавление.
Перевод руководства по элементам математической логики Д.Гильберта и В.Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д.Гильберта и написана его учеником Аккерманом....
2-е изд. — М.: Государственное издательство иностранной литературы, 1947. — 306 с.
+OCR, Оглавление.
Перевод руководства по элементам математической логики Д.Гильберта и В.Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д.Гильберта и написана его учеником Аккерманом....
Перевод с немецкого. — Монография. — М.: Наука, 1979. — 557 с. — (Математическая логика и основания математики). Предисловие редактора русского перевода Предисловие ко второму изданию Предисловие Гильберта к первому изданию Предисловие к первому изданию Проблема непротиворечивости в аксиоматических исcледованиях как логическая проблема разрешимости Формальная аксиоматика...
М.: Наука; Физматлит, 1972. — 288 с.: ил.
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблемы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.
М.: Наука; Физматлит, 1972. — 288 с.: ил. В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблемы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.
Учебное пособие. — М.: Российский государственный гуманитарный университет (РГГУ), 1998. — 478 с. Учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей. Книга содержит много задач и упражнений.
Учебное пособие, М.: 1981. - 117 с.
Множества с отношениями и операциями.
Алгебры высказываний и предикатов.
Исчисление предикатов.
Булевы функции и их обобщения.
Реализация булевых функций.
Элементы теории алгоритмов.
Сложность алгоритмов и вычислений.
СПб.: Лань, 2012. — 406 с. Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным...
Курс лекций. — Красноярск: СФУ, 2008. — 103 с. Введение. Краткий экскурс в историю логических исследований. Определение пропозициональной логики. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ⊥ (абсурд) Расширение логики Lp с помощью связки (отрицание) Трансляции. Свойства некоторых...
Новосибирск: НГУ, 2007. — 141 с. Модели и алгебраические системы фиксированной сигнатуры; Гильбертовское исчисление предикатов; Секвенциальное исчисление предикатов; Нормальные формы в исчислении предикатов; Непротиворечивые множества формул; Теория Хенкина; Теорема Гёделя о полноте; Аксиоматическая теория множества ZF; Арифметика Пеано; Примитивно рекурсивные функции и...
Новосибирск: Новосибирский государственный университет, 2006. — 157 с. В представленном пособии изложены лекции по математической логике (I часть), которые читались в Новосибирском государственном университете в 2006/07 учебном году.
Учебное пособие. — Новосибирск: Новосибирский государственный университет, 2016. — 175 с. Учебное пособие предназначено для студентов механико-математических факультетов университетов и всех желающих изучить продвинутый курс «Математическая логика», включающий исчисления предикатов, основные понятия и теоремы теории моделей, элементы вычислимости с точки зрения логических...
Учебное пособие. — Нижний Новгород, 1998. — 86 с. Учебное пособие представляет запись лекций по курсу "Теория алгоритмов и математическая логика" для механико-математического факультета, обучающихся по специальности "Математика". Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории.
Петропавловск-Камчатский: КамГУ имени Витуса Беринга, 2018. — 556 с. В основу учебного пособия положен курс лекций по математической логике, читавшийся автором в течение ряда лет для студентов различных специальностей Камчатского государственного университета имени Витуса Беринга. Пособие предназначено для студентов, обучающихся по направлениям подготовки бакалавриата, имеющих...
Саратов: Изд-во Сарат. ун-та, 1969. — 87 с. Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и...
Саратов: Изд-во Сарат. ун-та, 1969. — 87 с. Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и...
М.: КноРус, 2010. — 207 c. — ISBN: 9785406001202 Пособие помогает освоить главные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с применением разных моделей, а также получить прикладные умения по пользованию методов математической логики и теории алгоритмов для решения...
М.: Иностранная литература, 1961. — 162 с. Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих...
М.: Иностранная литература, 1961. — 162 с. — (Библиотека сборника «Математика»). Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением...
М.: Наука, Физматлит, 1970. — 472 с. — (Математическая логика и основания математики).
Рекурсивная теория чисел.
Определение по рекурсии.
Исчисление равенств.
Логические константы.
Основные теоремы арифметики.
Формализация примитивно рекурсивной арифметики.
Сведения к примитивной рекурсии.
Устранение параметров.
Гёделевская нумерация и неполнота арифметики.
Рекурсивный...
М.: Наука, Физматлит, 1970. — 472 с. — (Математическая логика и основания математики). Оглавление Вступительная статья Рекурсивная теория чисел. Определение по рекурсии. Исчисление равенств. Логические константы. Основные теоремы арифметики. Формализация примитивно рекурсивной арифметики. Сведения к примитивной рекурсии. Устранение параметров. Гёделевская нумерация и неполнота...
Учебно-методическое пособие. — М.: Московский государственный университет (МГУ) имени М. В. Ломоносова; Макс Пресс, 2012. — 134 с. — (Математические основы проектирования СБИС). Предлагаемое учебно-методическое пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Пособие подготовлено на факультете...
Учебное пособие. — М.: Издательство Московского государственного горного университета, 2006. — 262 с : ил. — ISBN: 5-7418-0451-9 (918-5-7418-0451-3). Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков;...
Учебное пособие. — Омск: Наследие. Диалог-Сибирь, 2003. — 108 с. — ISBN 5-8239-0126-7. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского гос. университета в 2002 г. Для студентов специальностей 075200 - "Компьютерная...
Учебное пособие. — Омск: Наследие. Диалог-Сибирь, 2003. — 108 с. — ISBN 5-8239-0126-7. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского гос. университета в 2002 г. Для студентов специальностей 075200 - "Компьютерная...
Перевод с англ. С.Ф. Сопрунова. — Под ред. и с предисловием В.А. Успенского. — М.: Мир, 1980. — 236 с. Книга посвящена актуальному, но совершенно недостаточно освещенному в монографической литературе разделу математической логики - теории нестандартных моделей математического анализа. Этот раздел представляет фундаментальный общематематический интерес, так как позволяет...
Перевод с англ. С.Ф. Сопрунова. — Под ред. и с предисловием В.А. Успенского. — М.: Мир, 1980. — 236 с. Книга посвящена актуальному, но совершенно недостаточно освещенному в монографической литературе разделу математической логики - теории нестандартных моделей математического анализа. Этот раздел представляет фундаментальный общематематический интерес, так как позволяет...
Рос. акад. наук, Ин-т философии. — М. : Институт философии РАН, 2011. — 108 с. — ISBN: 978-5-9540-0203-4. Монография посвящена исследованию свойств трехзначных семантик для классической логики высказываний. Автором полностью описан трехзначных импликативно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним...
Ленинград: Знание, 1963. — 57 с. Учебное пособие, для тех, кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики. Из истории математической логики. Знакомство с математической логикой. Начальные идеи алгебры логики. Правила обычной алгебры. Алгебра высказываний. Некоторые особенности алгебры...
Ленинград: Знание, 1963. — 57 с. Учебное пособие, для тех, кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики. Из истории математической логики. Знакомство с математической логикой. Начальные идеи алгебры логики. Правила обычной алгебры. Алгебра высказываний. Некоторые особенности алгебры...
2-е изд., испр. — Л.: Знание. Ленинградская организация, 1965. — 59 с.
Математическая логика — эти слова все чаще можно услышать в разговорной речи, увидеть в газетных и журнальных статьях. Их употребляют не только ученые, инженеры и техники, машиностроители и учителя.
Человек издавна стремился к созданию приборов и машин, которые выполняли бы за него не только физическую,...
2-е издание, исправленное. — Л.: Знание; Ленинградская организация, 1965. — 59 с. Математическая логика — эти слова все чаще можно услышать в разговорной речи, увидеть в газетных и журнальных статьях. Их употребляют не только ученые, инженеры и техники, машиностроители и учителя. Человек издавна стремился к созданию приборов и машин, которые выполняли бы за него не только...
Доксиадис А., Пападимитриу X. Логикомикс. Поиски истины. [пер. с англ. С. Чернышов]. М.: Карьера Пресс, 2014. - 336 с. ISBN: Я72 -5-Я04Я4 Ь-70-2 Самая уникальная графическая история всех времен. Главный герой графической новеллы - Бертран Рассел. Он одержим великой Миссией - установить незыблемые логические основания математики. На пути поисков абсолютной правды он должен еще...
Оқулық. — Алматы: Дәуір, 2011. — 211 бет. Оқулық мазмұны Қазақстан Республикасында қабылданған математикалық логика пәні бойынша стандартқа сәйкес келеді және университеттердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз. Оқу құралы теориялық материалдармен бірге,...
Одеса: Одеський національний університет імені І. І. Мечникова, 2014. — 100 с. Настоящее методическое пособие предназначено для студентов младших курсов. В нем рассмотрены элементы алгебры высказываний и логики предикатов, позволяющие студентам І курса получить представление о правильных формах рассуждений и о правильности самих рассуждений. Введение Высказывания. Логические...
Пер. с нем. 2-е изд. — М.: БИНОМ. Лаборатория знаний, 2015. — 176 с. : ил. — ISBN: 978-5-9963-2897-0. Эта книга полностью оправдывает свое название. Прочитав ее, вы поймете прелесть логического мышления и увидите, как логика помогает нам рассуждать и делать выводы даже в самых непростых жизненных ситуациях. В конце каждой главы читатель найдет лакомый кусочек — небольшую...
К.: Київський університет імені Т. Шевченка, 2003. — 96 с. Учебник создан за материалами курса математической логики, который преподается в Киевском университете имени Тараса Шевченка. Этот курс играет огромную роль в формировании математического мышления и понимания построения математики как науки. Разделы учебника: Логика высказываний, Логика отношений, Формальная математика.
Учебно-методическое пособие. — Севастополь: СевГУ, 2024. — 102 с. Содержит теоретический материал, изучение которого предусмотрено программой курса «Математическая логика» для студентов направления подготовки 44.03.05 - Педагогическое образование с двумя профилями подготовки (профили: «Математика и физика», «Математика и информатика»). Изложены основы математической логики,...
Ярославль: Ярославский государственный университет, 1978. — 117 с. Настоящее учебное пособие предназначено для студентов 1го курса университета. Оно может служить введением в теорию множеств и математическую логику. В первой части пособия излагаются основные элементарные понятия и теоремы теории множеств, большое внимание уделяется аксиоме выбора.
Ярославль: Ярославский государственный университет им. П.Г. Демидова (ЯрГУ), 2020. — 120 с. В пособии излагаются дополнительные вопросы теории алгоритмов, прежде всего связанные с доказательством фундаментальной теоремы о совпадении классов диофантовых и рекурсивно перечислимых множеств. Приводятся необходимые для этого факты из теории уравнения Пелля, метод цепных дробей для...
СПб.: Санкт-Петербургский государственный экономический университет, 2018. — 67 с. — ISBN: 978-5-7310-4245-1. В учебном пособии излагаются некоторые основные и дополнительные теоретические положения курса математической логики, рассматриваются задачи и приводятся их решения с объяснениями. Предназначено для студентов 2 курса дневного отделения, проходящих обучение по...
Учебное пособие. — Челябинск: Издательский центр ЮУрГУ, 2013. — 53 с. В пособии рассматриваются вопросы соотношения формальной логики и логики математической (сверхформальной), а также других логик и теории множеств. При этом главное внимание уделяется трем основным формам абстрактного мышления – понятиям, суждениям, умозаключениям. Для студентов направления «Информатика и...
Новосибирск: Научная книга, 1995. — 78 с. — ISBN: 5-88119-003-3. Изложены необходимые для доказательства теоремы Гёделя о неполноте сведения из теории алгоритмов (рекурсивных функций) с использованием лишь теоретико-модельных (семантических) понятий. Данное пособие знакомит с элементами семантического программирования, а также может служить методическим введением в теорию...
М.: Наука, 1977. — 209 c. — (Математическая логика и основания математики) Книга представляет собой введение в проблематику и методы теории нумераций — развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине пятидесятых годов. Реализацией этой идеи для вычислимых...
М.: Наука, 1977. — 416 с. — (математическая логика и основания математики).
Предисловие:
Книга представляет собой введение в проблематику и методы теории нумераций — развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине пятидесятых годов. Реализацией этой идеи...
М.: Наука, 1987. — 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических...
Учебное пособие для вузов. — 2-е изд., испр. и доп. — М.: Наука, Главная редакция физ.-мат. литературы, 1987. — 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств...
6-е изд., испр. — М.: Физматлит, 2011. — 356 с. — ISBN: 978-5-9221-1301-4. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это...
6-е изд., испр. — М.: Физматлит, 2011. — 356 с. — ISBN: 978-5-9221-1301-4. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это...
Новосибирск: Новосибирский государственный университет, 1973. — 160 с. Книга представляет собою учебник, содержащий весь обязательный материал по разделам: исчисление высказываний, теория множеств, теория моделей, исчисление предикатов.
Учебное пособие. — Сыктывкар : СЛИ, 2012. — 100 с. ISBN: 978-5-9239-0352-2. Пособие содержит теоретический материал и упражнения по некоторым основным темам курса математической логики и теории алгоритмов. В каждом разделе изложены базовые понятия, подробно рассмотрены разнообразные типовые примеры. В конце каждого раздела приведены задачи для самостоятельного решения. Издание...
Учебное пособие. — М.: Контакт Плюс, 2010. — 336 с.: ил. — ISBN: 978–5–86567–092–1. Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса «Дискретный анализ», читаемого многие годы для студентов факультета управления и прикладной математики Московского физико технического института. Для студентов,...
Учебно-методическое пособие. — Гомель : Гомельский государственный технический университет имени П. О. Сухого, 2022. — 81 с. — ISBN 978-985-535-508-4. Рассмотрены основные понятия теории множеств и отношений, комбинаторного анализа, элементы алгебры логики высказываний и предикатов, синтез и минимизация булевых функций. Разобрано большое количество примеров. Имеются задачи для...
Екатеринбург: УрГУ (Мат. – Мех. фак.), 2008. — 273 с. Пособие разбито на семь глав. Оно содержит теоретический материал, подборку задач, а также ответы и указания к ряду задач и решение некоторых из них. В отличие от многих учебников по математической логике и теории алгоритмов, пособие содержит изложение метода резолюций, критерия полноты функций k-значной логики, значительный...
Учебное пособие. — М.: РУДН, 2013. — 116 с. — ISBN: 978-5209-04949 В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Предназначено для студентов I, II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов....
М.: Российский университет дружбы народов, 2016. — 98 с. — ISBN: 978-5-209-07164-8. В пособии приведен конспект лекций и практикум по дисциплине «Математическая логика и теория алгоритмов». Учебное пособие используется для подготовки студентов направлений «Бизнес-информатика», «Математика. Компьютерные науки», «Информационные технологии», «Прикладная математика и информатика» и...
Сборник статей. — Пер. с англ. — М.: Мир, 1991. — 408 с. — ISBN 5-03-001635-X. — (Математическое обеспечение ЭВМ). Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению,...
М.: Московский государственный университет технологий и управления (МГУТУ), 2004. — 36 с. Учебно–практическое пособие для студентов специальностей 2202 и 2713 всех форм обучения. В учебно–практическом пособии в кратком и систематическом виде изложены основные понятия теории множеств, математической логики и теории алгоритмов. Каждую тему заключают контрольные вопросы и тесты,...
Учебное пособие. — СПб: Санкт-Петербургский нац. исследовательский ун-т информационных технологий, механики и оптики (НИУ ИТМО), 2013. — 131 с. В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к...
Томск: Издательский дом Томского государственного университета, 2017. — 258 с. Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические...
Томск: Издат. дом Томского госуд. ун-та, 2017. — 258 с. Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория...
Учебное пособие. — Томск: Эль Контент, 2015. — 236 с. — ISBN: 978-5-4332-0197-2 Учебное пособие содержит теоретический материал, изучение которого предусмотрено программой курса «Математическая логика и теория алгоритмов» направлений подготовки бакалавров «Информатика и вычислительная техника» и «Управление в технических системах». См. также учебно-методическое пособие В.М....
Томск: Томский межвузовский центр дистанционного образования (ТУСУР), 2001. — 154 с. Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.
М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах:...
Учебное пособие. — 3-е изд. — М.: Академия, 2007. — 304 с. — ISBN: 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из...
Учебное пособие. — М.: Инфра-М, 2016. — 399 с. + CD-R. — (Высшее образование). — ISBN: 978-5-16-005204-5. Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов,...
Учебное пособие. — М.: Инфра-М, 2016. — 399 с. + CD-R. — (Высшее образование). — ISBN: 978-5-16-005204-5. Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов,...
2-е изд., стер. — М.: Академия, 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа,...
2-е изд., стер. — М.: Академия, 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа,...
2-е изд., стер. — М.: Издательский центр «Академия», 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в...
Учебное пособие. — М.: Инфра-М, 2016. — 318 с. — (Высшее образование). — ISBN: 978-5-16-005205-2. Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые...
Учебное пособие. — М.: Инфра-М, 2016. — 318 с. — (Высшее образование). — ISBN: 978-5-16-005205-2. Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые...
Курс лекций. — Орск: Типография «Бланк», 2013. — 78 с. — ISBN: 978-5-9905230-1-2. Данный курс лекций предназначен, прежде всего, для студентов дневных отделений, изучающих математическую логику и теорию алгоритмов, но также может быть интересен и студентам заочной формы обучения. Кроме того, данный материал может заинтересовать аспирантов и преподавателей. В первой и второй...
Учебное пособие. — Екатеринбург: Уральский государственный педагогический университет (УрГПУ), 2002. — 69 с. Пособие является курсом лекций по математической логике и предназначено для студентов математических факультетов. В первой части приведено исчисление высказываний; во второй части изучается формализованный аксиоматический метод построения математических теорий....
Учебное пособие. — Челябинск: Южно-Уральский государственный университет (ЮУрГУ), 2016. — 141 с. Учебное пособие «Элементы математической логики» является частью основной профессиональной образовательной программы Технологического колледжа ФГБОУ ВПО «ЮУрГУ» (НИУ) по специальности СПО 09.02.03 «Программирование в компьютерных системах». Учебное пособие «Элементы математической...
Екатеринбург: Деловая книга, 2019. — 208 с. Рассматриваются дополнительные возможности, связанные с расширением классической финитной логики, предполагающей получение окончательного результата за конечное число шагов, до нефинитной, допускающей бесконечные процедуры, имеющие предел. Центральное место занимает построение разрешающей процедуры средствами нефинитной логики для...
Киев: Наукова думка, 1981. — 150 с. В монографии рассматриваются логико-грамматические особенности временных контекстов — выражений естественного языка, истинностное значение которых определимо относительно конкретного отрезка времени, в контексте речевой ситуации. Описываются основные типы семантики временной логики и различные её формализации: аксиоматическая, секвенциальная,...
Тольятти: Волжский университет им. Татищева, 2002. — 45 с. Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные...
М.: Наука, 1964. — 152 с. Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики.
М.: Наука, 1964. — 152 с. Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики.
М.: Просвещение, 1978. — 89 с. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики. Содержание: Как возникла формальная и математическая...
М.: Просвещение, 1978. - 89 с.
Качество: хорошее, текстовый слой, оглавление.
Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики....
М.: МГТУ им. Н.Э.Баумана, 2009, 163 с. Лекции читаются на 4-ом семестре (2-й курс) в МГТУ имени Н.Э. Баумана студентам кафедры ИУ-9, специальность "Прикладная математика и информатика". Содержание Алгебра высказываний. Введение. Алгебра логики. Тавтологии и эквивалентность формул. Функции алгебры логики Исчисление высказываний. Основные положения теории N. Правила естественного...
М.: Физматлит, 1984. — 65 с. Содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности. Рассматривается вопрос о том, какая из этих аксиом и в какой степени полезна в различных областях математики. Для лиц, интересующихся вопросами оснований математики, начиная со студентов-математиков первых курсов университетов и...
Учебное пособие. — Новосибирск: Новосибирский государственный университет, 2013. — 83 с. В современном мире существенное внимание уделяется развитию программирования. Квалифицированные специалисты в области компьютерных наук, прикладной математики и информатики должны знать принципы программирования на императивных и декларативных языках, а также математические основания,...
Москва: Наука, 2000. — 317 с. — ISBN 5-02-013048-6. В книге впервые устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения аргумента Аристотеля, их функциональные свойства имеют чисто теоретико-числовую природу. Изучение этого факта позволило дать определение понятия простого числа в логических терминах....
М.: Мир, 1969. — 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит...
М.: Мир, 1969. — 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит...
М.: Мир, 1971. — 252 с. Книга видных американских учёных Марка Каца и Станислава Улама подготовлена для выпускаемой издательством Британской энциклопедии серии обзоров, посвящённых состоянию и ближайшим перспективам развития различных наук. Особое место уделяется взаимодействию и взаимозависимости математики и других наук, обогащающих, по мнению авторов, как чистую математику,...
М.: Издательство иностранной литературы, 1957. — 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на...
Перевод с английского А.С. Есенина-Вольпина. Под редакцией В.А. Успенского. — М.: Издательство иностранной литературы, 1957. — 526 с. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех,...
М.: Мир, 1973. — 480 с. Перевод с английского Ю. А. Гастева. Под редакцией (и приложения) Г. Е. Минца. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (1957), ставшего настольной книгой для всех, кто занимается математической...
Пер. с англ. Ю.А. Гастева. — Под ред. Г.Е. Минца. — М.: Мир, 1973. — 480 с. Имя одного из крупнейших современных специалистов в области математической логики С.К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными,...
Пер. с англ. Ю.А. Гастева. — Под ред. Г.Е. Минца. — М.: Мир, 1973. — 480 с. Имя одного из крупнейших современных специалистов в области математической логики С.К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными,...
М.: Наука, Физматлит, 1978. — 271 с. — (Математическая логика и основания математики). В последние годы в связи с ростом интереса к эффективной математике большое внимание привлекают метаматематические, теоретико-модельные и семантические аспекты интуиционизма. Предлагаемая книга, написанная выдающимся американским математиком и логиком С.К.Клини в сотрудничестве с Р.Ю.Весли,...
СПб.: СПГУВК, 2005. — 79 с. Излагаются основы алгебры логики включающие определения логических переменных и функций, их состав и формы представления в базисах, используемых в инженерной практике. Основное внимание уделяется булевой алгебре . Рассматриваются её аксиомы и законы, способы преобразования логических функций и их минимизация. Все рассматриваемые положения...
К.: Персонал, 2012. — 312 с. В опорному курсі лекцій розглядаються проблеми організації виконання державного бюджету в Україні, сформованого відповідно до положень Бюджетного кодексу України, та проблеми запровадження казначейської системи його виконання, а також облік і звітність щодо його виконання. Наведено порівняльну характеристику бюджетів розвинених країн та зарубіжний...
Учебное пособие. — Москва: МГУ, 2004. — 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алгоритмов (машины Тьюринга и вычислительные функции), а также основания теории множеств
Учебное пособие. — М:. Издательство Моск. ун-та, 1982. — 120 с. Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и рассчитано для...
М:. Издательство Моск. ун-та, 1982. — 120 с. — Игу ИМЭИ, 2 курс 3-4 семестр 010101 - Математика Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает...
М:. Издательство Моск. ун-та, 1982. — 120 с. — Игу ИМЭИ, 2 курс 3-4 семестр 010101 - Математика Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает...
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
Учебное пособие. — М.: Издательство Московского университета, 1984. — 120 с. Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте...
Учебное пособие. М.: Издательство Московского университета, 1984. — 120 с. Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте...
СПб.: Санкт-Петербургский Государственный институт точной механики и оптики, 2003. — 84 с. Данное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных...
Учебное пособие. — Л.: Издательство Ленинградского университета, 1981. — 192 с. Учебное пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории...
М.: Академия, 2013. — 416 с. — (Бакалавриат). — ISBN: 978-5-7695-9559-2. Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии (квалификация "бакалавр"). Изложены основные понятия...
М.: Академия, 2013. — 416 с. — ISBN: 978-5-7695-9559-2. Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а...
М.: Наука, 1968. — 253 с. — (АН СССР. Научный Совет по комплексной проблеме Кибернетика). Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов....
М.: Наука, 1968. — 253 с. — (АН СССР. Научный Совет по комплексной проблеме Кибернетика). Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов....
М.: Наука, 1968. — 253 с. — (АН СССР. Научный Совет по комплексной проблеме Кибернетика). Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов....
Учебное пособие. — Ярославль: Яросл. гос. ун-т. им. П.Г. Демидова (ЯрГУ), 2016. — 160 с. — ISBN 978-5-8397-1079-5. Написано в поддержку учебной дисциплины «Неклассические логики». Основное внимание уделяется базовым принципам и конструктивным элементам, с помощью которых происходит формальное построение различных неклассических логик высказываний. Рассматриваются нормальные и...
Учебное пособие. — Ярославль: Ярославский государственный университет им. П.Г. Демидова (ЯрГУ), 2016. — 160 с. Написано в поддержку учебной дисциплины «Неклассические логики». Основное внимание уделяется базовым принципам и конструктивным элементам, с помощью которых происходит формальное построение различных неклассических логик высказываний. Рассматриваются нормальные и...
СПб.: Невский Диалект, 2001. — 128 с: ил. — ISBN: 5-7940-0080-5. В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке. Установлена возможность объединения в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и...
СПб.: Невский Диалект, 2001. — 128 с. — ISBN: 5-7940-0080-5. Моделирование и анализ рассуждений на естественном языке. Объединение в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений.
Под общ. ред. А.Я. Фридмана. — СПб.: Политехника, 2020. — 144 с. В книге в доступной форме представлено многообразие методов логического анализа: дедуктивные рассуждения, формирование и проверка корректности гипотез, логический анализ в условиях ограничений, абдуктивные заключения. В качестве теоретической основы используются предложенные автором математические системы — E...
Учебное пособие. — Белгород: Изд-во НИУ БелГУ, 2018. — 85 с. Учебное пособие по курсу «Основы математической логики» для бакалавров направления подготовки 45.03.03 "Фундаментальная и прикладная лингвистика" представляет собой краткие теоретические сведения и примеры задач по математической логике и теории алгоритмов, практические задания и задания для контроля. Введение Логика...
Переводъ съ французскаго съ прибавленiями профессора И. Слешинскаго. — Одесса: Матезисъ, 1909. — 134 с. По математической логике на русскомъ языке насколько мне известно, имеются две книги: "О способах решения логических равенств и об обратном способе математической логики" Порецкого (1884 г.) и "Логическое исчисление" Волкова (1888 г.). Первая из этих книг содержит...
Сборник. — Москва: Лекстор, 2017. — 252 с.: ил. Льюис Кэрролл, хорошо известный как автор книг о приключениях Алисы, опубликовал немало математических работ, с некоторыми из которых мы хотим познакомить нашего читателя. Многие его достижения в области математической логики намного опередили свое время. Способность Кэрролла решать так называемые сориты (сорит по-гречески "куча") -...
Учеб. пособие для студ. высш. учеб. заведений. — Под ред. Л. Л. Максимовой. — М.: Академия, 2006. — 240 с. — (Университетский учебник. Сер. Прикладная математика и информатика). — ISBN: 5-7695-2735-8. Математическая логика создавалась как наука, призванная исследовать фундаментальные понятия математических наук, способы возможных доказательств, решения вопросов философского...
Учеб. пособие для студ. высш. учеб. заведений. — Под ред. Л. Л. Максимовой. — М.: Академия, 2006. — 240 с. — (Университетский учебник. Сер. Прикладная математика и информатика). — ISBN 5-7695-2735-8. В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о...
Пособие для студентов-математиков НГУ. — Новосибирск: Новосибирский Государственный университет, 1970. — 110 с. Предисловие Теория множеств Операции над множествами Отношения и функции Специальные бинарные отношения Кардинальные числа Ординальные числа Действия над кардинальными числами Математическая логика Исчисление высказываний Алгебра высказываний Язык узкого исчисления...
5-е издание, исправленное. — М.: Физматлит, 2004. — 256 с. — ISBN: 5-9221-0026-2. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи...
3-е изд., — М.: Физматлит, 1995. — 256 с. В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все...
5-е издание, исправленное. — М.: Физматлит, 2004. — 256 с. — ISBN 5-9221-0026-2. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи...
5-е изд., исправл. — М.: Физматлит, 2002. — 256 с. — ISBN 5-9221-0026-2. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены...
Саратов: СГУ им. Н.Г.Чернышевского, 2007. — 21 с. Приведен материал по математической логике для профильного курса информатики в средней школе. Рассматривваются понятие алгебры логики, история логики, понятие "высказывание", таблицы истинности, логические функции, основные логические операции, законы логики, упрощение логических выражений, решение логических уравнений,...
Учебное пособие. — Под общ. ред. А.А. Столяра. — Минск: Вышэйшая школа, 1991. — 272 с. — ISBN 978-5-339-00342-6. Цель пособия — совершенствовать математическую, логическую и профессиональную подготовку будущего учителя математики и информатики, активизировать его самостоятельную работу. Включены теоретический курс и практикум. Предназначено для студентов физико-математических...
Пер с англ. Гастев Ю.А. — М.: Мир, 1968. — 128 с. — (Современная математика. Популярная серия). Книга посвящена идейным и формальным аспектам логики. Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими...
М.: Мир, 1968. — 128 с.
Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выразил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями.
Учебное пособие. — СПб.: Издательство "Лань", 1999. — 111 с. — (Серия "Учебники для вузов. Специальная литература"). — ISBN: 5- 8114- 0082- 9. Архив содержит эту книгу, но только 2-ю часть из неё - Часть вторая: Задачник-практикум и решения (с подробными решениями) - (в 2-х форматах: PDF = 3,02 Mb & DJVU = 1,36 Mb). Это учебное пособие авторов "Математическая логика. Курс...
СПб.: Издательство "Лань", 2008. - 288 с. - (учебник для вузов. специальная литература). Вторая часть учебника содержит упражнения по разделам, рассмотренным в первой части: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы. в конце ответы.
Москва, 2002. — 112 с. Данное пособие является общедоступной иллюстрацией применения методов и алгоритмов Русской, истинно математической логики при решении логических задач. Все решения задач наглядны, легко проверяются с позиции математики и здравого смысла. Книга полезна школьникам и академикам, «физикам» и «лирикам», теоретикам и практикам. Книга доступна школьник; и...
М.: Эндемик, 2004. — 122 с. Азбука математической логики. Данное пособие является общедоступным изложением основ Русской, истинно математической логики. Вскрывая противостояние Русской и классической логики, автор показывает, что силлогистика Аристотеля не имеет никакого отношения к логике здравого смысла. Книга полезна школьникам и академикам, "физикам" и "лирикам". Русская...
Монография. — Екатеринбург: УрО РАН, 2005. — 662 с. — ISBN 5-7691-1587-4. Монография посвящена исследованию формально-логических противоречий антиномий, возникающих на стыке экономики и права, а также изучению возможностей разрешения этих противоречий с помощью логико-математических моделей взаимодействия указанных дисциплин. В книге впервые конструируются и обсуждаются...
Учебное пособие для студентов и аспирантов. — М.: Механико-математический факультет Московского государственного университета (МГУ), 2007. — 192 с.
Функции алгебры логики.
Функции k-значной логики.
Логические схемы.
Конечные автоматы.
Алгоритмы и вычислимые функции.
Исчисление высказываний.
Логика предикатов.
Исчисление предикатов.
МехМат МГУ, 1 курс, 2 семестр. 2004.
Оглавление:
Булева алгебра.
k-значная логика.
Схемы из функциональных элементов.
Автоматы.
Логика. Исчисления и предикаты.
Алгоритмы.
Данный документ представляет собой курс лекций "Введение в математическую логику", читаемый деканом механико-математического факультета МГУ академиком РАН О. Б. Лупановым на I курсе мехмата во втором...
Учебное пособие. — Ставрополь: Изд-во СКФУ, 2017. — 418 с. Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта;...
Учебно-методическое пособие. — Нижний Новгород: Нижегородский госуниверситет, 2017. — 32 с. В настоящем учебно-методическом пособии представлен необходимый теоретический материал для решения ряда задач из различных разделов неклассических логик. Для самостоятельной работы студентов в него включено множество заданий разных типов и уровня сложности, а так же примеры решений...
Учебно-методическое пособие. — Нижний Новгород: Нижегородский госуниверситет, 2015. — 33 с. В настоящем учебно-методическом пособии представлен необходимый теоретический материал для решения ряда задач из различных разделов неклассических логик. Для самостоятельной работы студентов в него включено множество заданий разных типов и уровня сложности. Настоящее учебно-методическое...
М.: Московский институт электронного машиностроения, 1974. — 204 с. Книги представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Основной объект изучения второй части курса - детерминированный...
М.: Московский институт электронного машиностроения, 1974. — 204 с. Книги представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Основной объект изучения второй части курса - детерминированный...
М.: Московский институт электронного машиностроения, 1974. — 135 с. Учебное пособие. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Качество файла - среднее.
Учебное пособие. — М.: Московский институт электронного машиностроения, 1974. — 135 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Качество файла - среднее. Скан качественный,...
Учебное пособие. — М.: Московский институт электронного машиностроения, 1974. — 71 с.
Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. Основной объект изучения второй части курса — детерминированный процесс вычисления или переработки нечисловой информации - алгоритм.
Лекции по курсу. — Москва: РГУИТП, 2006. — 62 с. Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания). Основными разделами...
Москва: Издательство Московского университета, 1984. — 80 с. Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды и установки автора на предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике таких языков. Для студентов и аспирантов математических специальностей и специалистов,...
Москва: Издательство Московского университета, 1984. — 80 с. Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды и установки автора на предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике таких языков. Для студентов и аспирантов математических специальностей и специалистов,...
М.: Мир, 1975. — 136 с. Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра...
Москва: Физматлит, 2004. — 104 с. В книге с единых позиций рассматриваются функциональные системы с операцией суперпозиции и «традиционными» множествами функций — функций многозначной логики, функций натурального аргумента и автоматных функций. Основное содержание книги концентрируется вокруг двух взаимосвязанных тем: построение и анализ порождающих множеств и проблема полноты....
М.: Радио и связь, 1986. — 136 с. — (Кибернетика). Книга посвящена молодой, активно развивающейся области математической логики и кибернетики - теории исчислений. Излагается математический аппарат теории и новейшие ее обобщения применительно к моделированию различных технологических, биологических и экономических процессов. Рассмотрена связь теории с проблематикой...
М.: Радио и связь, 1986. — 136 с. — (Кибернетика). Книга посвящена молодой, активно развивающейся области математической логики и кибернетики - теории исчислений. Излагается математический аппарат теории и новейшие ее обобщения применительно к моделированию различных технологических, биологических и экономических процессов. Рассмотрена связь теории с проблематикой искусственного...
Отв. редактор С. Л. Соболев. — М.: Наука, 1982. — 177 с. В сборник входят работы, представляющие важные результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях...
Учебник для бакалавриата — М.: Прометей, 2020. — 228 с. — ISBN: 978-5-907244-03-0. В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов....
Дрогобич: Дрогобицький державний педагогічний університет ім. Івана Франка, 2012. — 49 с. Посібник написано відповідно до програми навчальної дисципліни Математична логіка та теорія алгоритмів для студентів галузі знань 0402 Фізико-математичні науки, напряму підготовки 6.040201 "Математика", затвердженої вченою радою Дрогобицького державного педагогічного університету імені...
К.; Одесса: Выща школа, 1989. — 344 с. — ISBN: 5-11-001395-0. Рассмотрены элементы логики классов, логики высказываний и логики предикатов, а также традиционная силлогистика. Кроме изложения теоретических проблем, каждый параграф содержит серию задач и методические пояснения к ним. Большое количество задач (свыше 1800), их различия по степени сложности дают возможность...
2-е изд. — Москва: Наука, 1976. — 320 с. Текстовый слой, Оглавление. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и...
2е изд., испр. — Москва: Наука, 1976. — 320 с. Текстовый слой, Оглавление. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория...
Пер. с англ. Ф.А. Кабакова. — Под ред. С.И. Адяна. — М.: Наука; Физматлит, 1971. — 320 с. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены...
Пер. с англ. Ф.А. Кабакова. — Под ред. С.И. Адяна. — М.: Наука; Физматлит, 1971. — 320 с. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены...
Пер. с англ. Ф.А. Кабакова. — Под ред. С.И. Адяна. — М.: Наука, Физматлит, 1971. — 320 с. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены...
Ташкент: Изд-во фил. МГУ в Узбекистане, 2010. — 79 с. Содержание. Высказывания. Формулы логики высказываний. Анализ рассуждений. Метод резолюций для ЛВ. Введению в теорию множеств. Отношения и функции. Основные результаты теории множеств. Логика предикатов. Теорема Эрбрана. Метод резолюций для ЛП. Семантический вывод. Теорема Геделя. Модальная логика. Нечеткие логики.
Учеб. пособие — СПб: РГПУ, 1997. — 127 с.
Пособие предназначено для поддержки курса "Основы математической логики и теории алгоритмов". Содержит упражнения по разделу математической логики "Формальные системы первого порядка", которые можно рассматривать в качестве обязательных результатов обучения. Упражнения выбраны и как форма обучения студентов, поэтому оглавление отражает...
Санкт-Петербург: РГПУ им.А.И.Герцена. 1998. — 172 с.
Пособие предназначено для поддержки курса "Математическая логика и теория алгоритмов". Содержит лекционный материал по разделу "Формальные системы первого порядка". Для студентов математических факультетов педагогических вузов.
Москва: МЦНМО, 2008. — 56 с. В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 г. ) о том, что всякое перечислимое множество является диофантовым. Предисловие Диофантовы предикаты. Уравнение Пелля. О диофантовости арифметических функций. Ограниченные кванторы всеобщности. Универсальные полиномы. Диофантовость и перечислимость. Диофантовы...
Москва: МЦНМО, 2008. — 56 с. В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 г. ) о том, что всякое перечислимое множество является диофантовым. Диофантовы предикаты. Уравнение Пелля. О диофантовости арифметических функций. Ограниченные кванторы всеобщности. Универсальные полиномы. Диофантовость и перечислимость. Диофантовы уравнения и...
Учебное пособие: Конспект лекций. — 2-е изд. — Волгоград: Волгоградский государственный технический университет, 2011. — 93 с. — ISBN 5-230-04465-5. В пособии излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем. Учебное пособие...
2, 3, 4, 5, 6, 7 главы в формате DOC
Полное соответствие печатному изданию.
Насколько я понимаю это эскиз для издательства ибо труд титанический т. к. использовался редактор формул.
87 страниц A4.
М.: Мир, 1965. — 341 с. Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник включены наиболее интересные доклады по математической логике, теории множеств, теории моделей, теории...
М.: Мир, 1965. — 341 с. Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник включены наиболее интересные доклады по математической логике, теории множеств, теории моделей, теории...
Пер. с англ.: Ю.А. Гастев. — 2-e изд., испр. — М.: Красанд, 2010. — 120 с. — (Hауку - всем! Шедевры научно-популярной литературы). — ISBN 978-5-396-00092-6. Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К. Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь...
Пер. с англ.: Ю.А. Гастев. — 2-e изд., испр. — М.: Красанд, 2010. — 120 с. — (Hауку - всем! Шедевры научно-популярной литературы). — ISBN 978-5-396-00092-6. Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К. Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь...
Пер. с англ.: Ю.А. Гастев. — 2-e изд., испр. — М.: Красанд, 2011. — 120 с. — (Hауку - всем! Шедевры научно-популярной литературы). — ISBN: 978-5-396-00321-7, 978-5-396-00092-6. Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К. Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей...
Рязань: Рязанский гос. ун-т им. С.А. Есенина, 2011. — 80 с. — ISBN: 978-5-88006-696-4. В задачнике-практикуме представлен материал для проведения семинарских занятий по математической логике, а также организации самостоятельной работы студентов. Адресован студентам и преподавателям математических и физикоматематических факультетов университетов и педвузов, технических вузов,...
Методические рекомендации. — Витебск: Витебский государственный университет имени П.М. Машерова, 2014. — 38 с. Методические рекомендации содержат материал первой части курса «Введение в математику» – начальные сведения из математической логики. Данный курс призван повысить общую культуру мышления студентов и тем самым подготовить их к сознательному и глубокому усвоению...
Учебное пособие. — Ижевск: изд-во Удм. ун-та, 2002. — 529 с. — ISBN 5-7029-0074-Х. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы. Предикаты и элементарные...
Учебное пособие. — Изд. 2-е, испр. и доп. — Новосибирск: Изд. Новосибирского университета, 2000. — 521 с. — ISBN 5-7615-0490-1. Пособие - простейшее введение в язык современной математической логики. Рекомендовано для студентов и аспирантов специальностей: "Прикладная математика", "Структурная прикладная лингвистика", "Философия" и др.
Учебное пособие. — Ижевск: Удмуртский государственный университет (УдГУ), 1997. — 385 с. Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей - математика, прикладная математика,...
Учебное пособие. — Ижевск: Удмуртский государственный университет (УдГУ), 2002. — 529 с. — ISBN 5-7029-0074-Х. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы....
Учебник. — М.: Высшая школа, 1981. — 127 с., ил. Книга предназначена для учащихся техникумов (колледжей) по специальности "Прикладная математика" и содержит теоретический материал, соответствующий программе "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике 8 летней школы. Ясно...
Москва, Наука, 1979. — 396 с.
Настоящий том избранных трудов П. С. Новикова (1901—1975) состоит из двух частей. В первую часть включены все основные работы по дескриптивной теории множеств и теории функций. Вторая часть включает работы по математической логике и алгебре.
Обзор научных работ П. С. Новикова.
Список печатных работ П. С. Новикова.
Теория множеств и теория...
М.: Наука, 1977. — 328 с. — (Математическая логика и основания математики). Настоящая книга написана на основе лекций, читавшихся П. С. Новиковым во второй половине пятидесятых годов. В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу. В то же время книга написана так, что ее можно читать независимо...
М.: Наука, 1977. — 328 с. — (Математическая логика и основания математики). Настоящая книга написана на основе лекций, читавшихся П.С. Новиковым во второй половине пятидесятых годов. В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу. В то же время книга написана так, что ее можно читать...
2-изд., испр. — М.: Наука, 1973. — 399 с. — (Математическая логика и основания математики). Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. В настоящей книге сделана попытка дать по возможности...
2-изд., испр. — М.: Наука, 1973. — 399 с. — (Математическая логика и основания математики). Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. В настоящей книге сделана попытка дать по возможности...
Учебно-методическое пособие. — Бишкек: КРСУ, 2011. — 69 с. Приведены и рассмотрены основные вопросы математической логики и теории алгоритмов, соответствующие курсу технических университетов. Ко всем разделам приведены задачи с указаниями и решениями. Предназначено для студентов специальности «Программное обеспечение вычислительной техники и автоматизированных систем» в рамках...
Учебное пособие. — Уфа: УГАТУ, 2006. Учебное пособие содержит изложение основных разделов математической логики (алгебра высказываний, исчисление высказываний, алгебра предикатов) и основ теории алгоритмов. В пособие включены разделы, посвященные практическому решению типовых задач, а также вопросы для повторения, призванные способствовать активному изучению данного курса.
Учебное пособие. — Уфа: УГАТУ, 2005. — 158 с.
Настоящее учебное пособие содержит изложение основных разделов математической логики (алгебра высказываний, исчисление высказываний, алгебра предикатов) и основ теории алгоритмов. В пособие включены разделы, посвященные практическому решению
типовых задач, а также вопросы для повторения, призванные способствовать активному изучению...
Саратов: Издательство Саратовского университета, 1968. — 141 с. Основные понятия теории множеств Подмножество. Дополнение подмножества. Пересечение и объединение подмножеств Упорядоченные системы элементов Декартово произведение множеств Арифметическое пространство n измерений n-отношение Функция Отображение множества на множество. Взаимно-однозначное отображение Алгебра...
Учебное пособие. — М.: Московский государственный университет (МГУ) имени М.В. Ломоносова, 2005. — 87 с. Введение Предварительные сведения Алфавит, буква, слово Логика высказываний Высказывания и высказывательные формы Логические операции Формулы логики высказываний Соглашения о скобках Подформулы в логике высказываний Однозначность разбора в логике высказываний (без...
Томск : ФДО, ТУСУР, 2016. — 132 с. В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической...
Новосибирск: Научная книга, 1997. — 322 с. Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение...
М.: Изд-во при мех.-мат. ф-те МГУ, 2009. — 159 с. В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. Часть представленного в книге материала...
М.: МГУ, механико-математический факультет, 2009. — 160 с. В интуиционистской логике все связки независимы. Более того, для доказательства утверждения A достаточно пользоваться лишь формулами, не содержащими связок, отсутствующих в A. В интуиционистской логике нет стандартных (нормальных) форм, аналогичных классическим. Как правило, преобразования, связанные с законами...
Рига:Зинатне, 1992. – 191 с. Вер. книги: 18.7.2013 Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с...
Учебное пособие. — СПб.: СПбГЭТУ ЛЭТИ, 2004. — 65 с.: ил. Рассматриваются основные идеи, понятия и методы математической логики, интерес к которым вырос благодаря новым приложениям, появившимся за последнее время в связи с развитием информационных технологий. Может использоваться как для студентов дневной формы обучения, так и для вечерних и заочных факультетов технических...
Учебное пособие. — Издание второе, исправленное и дополненное. — Калининград: Калининградский государственный технический университет (КГТУ), 2005. — 201 с. В разделе «Классическая логика» дано описание логики высказываний и предикатов. Исследованы возможности вывода дедуктивным методом и методом резолюции. Каждый пример сопровождается графом вывода. Для многих примеров...
Учебное пособие. — Калининград: КГТУ, 2001. — 140 с. Учебное пособие предназначено для студентов университета, изучающих “Математическую логику”. В нем изложены основные принципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. Все доказательства подкреплены множеством...
Учебное пособие. — М.: МФТИ, 2007. — 240 с. В этом пособии, написанном по материалам семинаров, проводившихся автором на кафедре прикладных концептуальных методов в Московском физико-техническом институте, изложены элементы классической логики, а также аппарат родов структур Бурбаки. Применяется стандартная (не бурбаковская) терминология и аксиоматика логики и теории множеств,...
М.: МФТИ, 2007. — 244 с. — ISBN: 5-7417-0174-4 В учебном пособии, написанном по материалам семинаров, проводившихся автором в Московском физико-техническом институте, изложены элементы классической логики и аксиоматической теории множеств, а также аппарат родов структур Бурбаки. В книге применяется стандартная (не бурбаковская) терминология и аксиоматика логики и теории...
М.: МФТИ, 2016. — 244 с. В учебном пособии, написанном по материалам семинаров, проводившихся автором в Московском физико-техническом институте, изложены элементы классической логики и аксиоматической теории множеств, а также аппарат родов структур Бурбаки. В книге применяется стандартная (не бурбаковская) терминология и аксиоматика логики и теории множеств, что позволяет...
Ленинград: Издательство Ленинградского университета, 1959. — 109 с. Работа профессора А. И. Попова является первой советской книгой, в которой даётся общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о...
Ленинград: Издательство Ленинградского университета, 1959. — 109 с. Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении...
М.: Физматлит, 2011. — 212 с. Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые...
М.: Физматлит, 2011. — 212 с. — ISBN: 978-5-9221-1340-3. Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых...
Москва: Русская Правда 2011, — 160 с. Русская вероятностная логика. Впервые после 1884 года издан уникальный труд "О способах решения логических равенств и об обратном способе математической логики" знаменитого русского ученого, приват—доцента Казанского университета Платона Сергеевича ПОРЕЦКОГО – основоположника Русской вероятностной логики. Для широкого круга читателей....
Москва: Русская Правда 2011, — 165 с.
Русская вероятностная логика.
Два сообщения, читанные 27 февраля и 23 марта 1882 г. В заседаниях математических секции Общества Естествоиспытателей при Императорском Казанском университете астроном-наблюдателем университета.
Впервые после 1884 года издан уникальный труд "О способах решения логических равенств и об обратном способе...
Москва: Русская Правда 1884, — 165 с. (качество изначально компьютерное)
Русская вероятностная логика.
Два сообщения, читанные 27 февраля и 23 марта 1882 г. В заседаниях математических секции Общества Естествоиспытателей при Императорском Казанском университете астроном-наблюдателем университета.
Впервые после 1884 года издан уникальный труд "О способах решения логических...
Учебное пособие. — СПб.: Санкт-Петербургский государственный университет (СПбГУ), 2006. — 108 с. В пособии рассматриваются неклассические логики, используемые для представления знаний, спецификации и анализа поведения программ. Излагаются элементы неклассических логик, аппарат нечёткой логики, рассмотрена программная реализация моделей нечёткой логики с помощью...
Учебное пособие. — СПб.: СПбГУ, 2006. — 108 с. В пособии рассматриваются неклассические логики, используемые для представления знаний, спецификации и анализа поведения программ. Излагаются элементы неклассических логик, аппарат нечёткой логики, рассмотрена программная реализация моделей нечёткой логики с помощью инструментального средства математической системы MatLAB 7.0.4 –...
Навчальний посібник. — Мелітополь: ММД, 2008. — 134 с. — ISBN: 978-966-8563-84-3. У посібнику викладено основні розділи математичної логіки і теорії алгоритмів. Теоретичний матеріал ілюстровано численними прикладами та доповнено практичним курсом, що дозволяє закріпити вивчений матеріал. Навчальний посібник призначено для студентів вищих педагогічних навчальних закладів. Вступ...
Пер. с англ. — М.: Наука, 1972. — 592 с. — (Математическая логика и основания математики). Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд. Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и...
Пер. с англ. — М.: Наука, 1972. — 592 с. — (Математическая логика и основания математики). Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд. Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и...
Монография. — Самара: Самарский университет, 2005. — 722 с. Трехтомная монография А. Уайтхеда и Б. Рассела Principia Mathematica занимает уникальное место в мировой математической литературе. Ее первое английское издание увидело свет в 1910–1913 гг. в трех томах, составлявших вместе почти 2000 страниц. Principia Mathematica по праву считается одним из самых ярких сочинений по...
Монография. — Самара: Самарский университет, 2005. — 722 с. Трехтомная монография А. Уайтхеда и Б. Рассела Principia Mathematica занимает уникальное место в мировой математической литературе. Ее первое английское издание увидело свет в 1910–1913 гг. в трех томах, составлявших вместе почти 2000 страниц. Principia Mathematica по праву считается одним из самых ярких сочинений по...
Монография. — Самара: Самарский университет, 2005. — 722 с. Трехтомная монография А. Уайтхеда и Б. Рассела Principia Mathematica занимает уникальное место в мировой математической литературе. Ее первое английское издание увидело свет в 1910–1913 гг. в трех томах, составлявших вместе почти 2000 страниц. Principia Mathematica по праву считается одним из самых ярких сочинений по...
Киев: Наукова думка, 1966. — 81 с. Книга посвящена пограничным вопросам математики и семантики. Новый подход делает основные разделы единственными в литературе, поэтому изложение начато с простейших понятий. Несмотря на строгость изложения книга является доступной широкому кругу читателей. Предисловие. Описание интуитивной модели. Псевдофизический язык. Прообразы множеств,...
Киев: Наукова думка, 1966. — 81 с. Книга посвящена пограничным вопросам математики и семантики. Новый подход делает основные разделы единственными в литературе, поэтому изложение начато с простейших понятий. Несмотря на строгость изложения книга является доступной широкому кругу читателей. Содержание: Предисловие. Описание интуитивной модели. Псевдофизический язык. Прообразы...
МГУ им. Ломоносова. — 21 апреля 2020. — Петербургский логический семинар ПОМИ РАН. — 61 с. Введение. О представлении булевых алгебр. Булевы алгебры с операторами и их представления. Дальнейшие обобщения канонических расширений.
М.: Институт Философии РАН, 2016. — 66 с. Введение Типы в исчислении предикатов и в лямбда-исчислении Теория типов Б. Рассела и А. Уайтхеда Лямбда-исчисление: чистое и типовое. Комбинаторная логика. Соответствие Карри-Говарда Теория категорий и типы Базовые определения теории категорий Декартово замкнутые категории Пример декартово замкнутой категории Категории над объектами и...
Задачник. — Владимир: Владимирский государственный университет (ВлГУ), 2003. — 24 с. — ISBN 5-89368-423-0. Приведено компактное множество задач по основам курса "Математическая логика и теория алгоритмов". Задачник предназначен и для активного изучения других дисциплин, связанных с математической логикой и программированием. Во второй части издания даны ответы и указания к...
Учебное пособие. — Томск: Изд-во Том. ун-та, 1986. — 74 с.
Пособие содержит простейшие сведения о множествах, знакомит с начальными понятиями математической логики и снабжено достаточным количеством задач и упражнений.
Для студентов математических факультетов университетов и пединститутов.
Алгебра множеств
Бинарные отношения
Отображения (функции)
Мощность множества...
Учебное пособие. — Нижнекамск: Казанский национальный исследовательский технологический университет (КНИТУ), Нижнекамский химико-технологический институт (НХТИ) - филиал, 2016. — 93 с. В работе приводятся основные базовые понятия по разделам математической логики. Излагаемый материал сопровождается примерами и дополняется упражнениями. Приведены задачи для самостоятельного...
Учебное пособие. — Санкт-Петербург: Своё издательство, 2018. — 94 с. Предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Информатика и вычислительная техника», «Управление в технических системах», «Автоматизация технологических процессов и производств». Излагаемый материал сопровождается примерами и дополняется упражнениями. Приведены задачи для...
М.: Московский государственный университет технологий и управления (МГУТУ), 2005. — 8 с. Методические рекомендации и контрольные задания для студентов специальности 230102 (2202) всех форм обучения. Процесс изучения предмета «Математическая логика и теории алгоритмов» состоит из следующих этапов: проработка установочных и обзорных лекций; самостоятельная работа над учебниками и...
Москва: МГТУ ГА, 2003. — 237 с. В пособии доступно для студентов технического вуза изложен сложный абстрактный материал в сочетании с содержательными примерами и программами на языке C. В основном тексте содержится более двухсот задач теоретической направленности; ещё около 480 задач содержится в последнем разделе, предназначенном для практических занятий, домашних заданий и...
М.: КноРус, 2024. — 357 с. — (Бакалавриат). – ISBN 978-5-406-12297-6. Состоит из двух глав. В первой средствами Excel строятся таблицы истинности булевых функций и релейно-контактные схемы, решаются логические задачи, находятся фиктивные переменные, дифференцируются булевы функции, минимизируются нормальные формы булевых Введение Применение excel в математической логике...
Учебное пособие. — ПГАТИ, 2004. — 64 с. Математическая логика и теория алгоритмов являются основой курса дискретной математики, что нашло отражение в данном учебном пособии. Учебное пособие адресовано студентам, обучающимся по направлениям 210300 - радиотехника, 230000 - информатика и вычислительная техника, и по специальностям: 210401 - физика и техника оптической связи,...
М.: Наука, 1970. - 283 с.
В книге рассматриваются проблемы выражения эвристических принципов мышления в исчислениях современной логики.
Содержание
Современная формальная логика и научная эвристика
Общие замечания о методах формальной дедукции
Аналоги принципов эвристической деятельности в логических исчислениях
Системное выражение эвристических принципов в логических...
М.: Наука, 1970. — 284 с. Эвристические методы могут быть широко применены в практике современного руководителя любого ранга. Проведение совещаний, деловых игр с использованием данных методов открывает принципиально новые подходы к решению управленческих проблем, задач в области коммерческой деятельности, а также в сфере услуг. Основная задача эвристики сводится к построению...
Перевод с английского А.С. Мищенко. — М.: Мир, 1969. — 376 с. Книга выдающегося польского математика Романа Сикорского посвящена одному из важнейших разделов современной математики — теории булевых алгебр. Это наиболее полное изложение теории булевых алгебр с теоретико-множественной точки зрения. В книге впервые систематически изучаются булевы алгебры с бесконечными операциями....
Учебное пособие. — Красноярск: СибГАУ, 2009. — 104 с. В учебном пособии рассмотрено исчисление высказываний, вопросы, связанные с логикой высказываний и предикатов, а также теорией алгоритмов. Приведено много примеров, вопросов и упражнений для закрепления материала. Представленные в пособии теоремы сопровождаются доказательствами. Предназначено для студентов специальностей:...
Учебник. — СПб.: Изд-во С.-Петерб. ун-та, 2005. — 506 с. Учебник написан с учетом достижений современной формальной логики. Он знакомит читателя с классической (логика высказываний и предикатов, теория естественного вывода, формализованная силлогистика) и неклассической (модальная, деонтическая, временная, немонотонная логики, логика вопросов, логическая прагматика) логикой....
Перевод с польского О.Ф. Серебрянникова. — М.: Прогресс, 1965. — 368 с. Книга известных польских логиков, посвящена изложению основ современной формальной логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, а также освещаются некоторые важнейшие...
Перевод с польского О.Ф. Серебрянникова. — М.: Прогресс, 1965. — 368 с. Книга известных польских логиков, посвящена изложению основ современной формальной логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, а также освещаются некоторые важнейшие...
М.: Наука, 1981. — 207 с. — (Математическая логика и основания математики).
В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия...
М.: РоссПЭН, 1999. — 318 с. Сборник содержит основные труды выдающегося отечественного логика профессора В.А.Смирнова по теории логического вывода, в том числе основополагающую монографию «Формальный вывод и логические исчисления». В приложении имеется полная библиография работ В.А.Смирнова. Книга предназначена для логиков, философов и всех интересующихся проблемами логической...
Дубна, 2001. — 9 с. Лекции летней школы: "Современная математика"., г. Дубна. 2001-2010. Математика. Лекции представлены в виде "Занятий с подробными примерами": Машины Тьюринга Дано понятие "Машин Тьюринга", их примеры. Также даётся формулировка Тезиса Чёрча и с его помощью доказываются основные теоремы Машин Тьюринга от двух переменных. Кодирование Даны различные примеры...
Учебно–методический комплекс для студентов специальности 230101.65 "Вычислительные машины, комплексы, системы и сети". – М.: МИИТ, 2011. – 13 с.
В комплексе даются базовые понятия дискретной математики, основы математической логики и теории алгоритмов.
В комплексе представлены указания и рекомендации по выполнению лабораторного практикума, практических занятий.
Оренбург: ГОУ ОГУ, 2004. – 106 с.
Пособие предназначено студентам экономических и естественнонаучных специальностей для выработки конструктивных знаний в области формальной логики и алгоритмизации.
Пер. с англ. Ю. А. Гастева и И. Х. Шмаина. — Под ред. Ю. А. Шихановича. — М.: Просвещение, 1968. — 231 с. В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории...
Учебное пособие. — Л. А. Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр; Под общ. ред. А. А. Столяра. — Минск: Вышэйшая школа, 1991. — 272 с. — ISBN: 5-339-00342-6. Цель пособия — совершенствовать математическую, логическую и профессиональную подготовку будущего учителя математики и информатики, активизировать его самостоятельную работу. Включены теоретический курс и...
Минск: Вышэйшая школа, 1971. — 224 с. Книга содержит изложение вводного курса, предназначенного для студентов первого года обучения математических специальностей педагогических вузов. Цель этого курса - привить студентам навыки современного математического мышления и его точного, краткого и ясного выражения, облегчить им последующее изучение различных математических дисциплин и...
Минск: Вышэйшая школа, 1971. — 224 с. Книга содержит изложение вводного курса, предназначенного для студентов первого года обучения математических специальностей педагогических вузов. Цель этого курса - привить студентам навыки современного математического мышления и его точного, краткого и ясного выражения, облегчить им последующее изучение различных математических дисциплин и...
Лекції : навч. посіб. для студ. спеціальності 124 «Системний аналіз». — Київ : КПІ ім. Ігоря Сікорського, 2017. — 150 с. Посібник містить теоретичні відомості із традиційних розділів дисципліни «Математична логіка та теорія алгоритмів» – алгоритмічні машини, рекурсивні функції, формальні логічні теорії, алгебра предикатів, автоматичне доведення теорем, формальна арифметика. Для...
Учебное пособие. — М.: Московский государственный историко-архивный институт (МГИАИ), 1974. — 164 с. Учебное пособие для студентов II курса факультета государственного делопроизводства. Курс "Логика с элементами математической логики" рассчитан на преподавание указанной дисциплины студентам факультета государственного делопроизводства МГИАИ.
Новосибирск: Изд-во НГТУ, 2008. — 271 с. В книге излагается генерическая конструкция, приводящая к реализации основных характеристик эренфойхтовых теорий, т.е. полных теорий с конечным, но большим единицы, числом попарно неизоморфных счетных моделей. На основе этой конструкции, а также генерической конструкции Хрушовского — Хервига представляется решение проблемы Лахлана о...
Учебник — М.: Инфра-М; Новосибирск: Изд-во НГТУ, 2004. — 224 с. — (Высшее образование). — ISBN: 5-16-001975-8, 5-7782-0458-2 В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих...
Учебник — М.: Инфра-М; Новосибирск: Изд-во НГТУ, 2004. — 224 с. — (Высшее образование). — ISBN: 5-16-001975-8, 5-7782-0458-2 В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих...
М.: Наука, 1970. — 382 с. В книге дается общая характеристика неклассической логики, которая является разделом современной математической логики, рассказывается о перспективах ее развития и о возможностях приложения ее в науке и технике. Книга посвящена неклассической теории логического следования, в особенности направлению, которое создано и разрабатывается советскими...
М.: Наука, 1970. — 382 с. В книге дается общая характеристика неклассической логики, которая является разделом современной математической логики, рассказывается о перспективах ее развития и о возможностях приложения ее в науке и технике. Книга посвящена неклассической теории логического следования, в особенности направлению, которое создано и разрабатывается советскими...
М.: Наука, 1970. — 334 c. В книге исследуются взаимоотношения формально-логических систем и способы их классификации. Авторы сборника анализируют такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики и др. Книга открывается статьей известного советского логика и математика С. А. Яновской, памяти которой посвящен...
Учебное пособие. — Нижний Новгород: ННГУ, 1994. — 118 с. В учебном пособии содержатся начала логики предикатов и теории алгоритмов. Она предназначена для студентов, обучающихся по специальности прикладная математика и информатика в рамках университетского учебного плана, содержащего курс "Дискретная математика". Материал содержит примеры, иллюстрирующие основные понятия...
Москва: Государствениое издательство иностранной литературы, 1948. — 328 c.
OCR, Оглавление.
А.Тарский (1902-1983) - польский логик и математик, основоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. Предлагаемая читателям книга, несмотря на используемый в...
Москва: Государствениое издательство иностранной литературы, 1948. — 328 c.
Текстовый слой, Оглавление.
А.Тарский (1902-1983) - польский логик и математик, основоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. Предлагаемая читателям книга, несмотря на...
Курс лекций. — М.: КДУ, 2007. — 304 с. — ISBN 978-5-98227-307-9. Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории...
Навчальний посібник. — Вiнниця: Вiнницький державний педагогiчний унiверситет iменi Михайла Коцюбинського (ВДПУ), 2007. — 85 с. Курс математичної логiки i теорiї алгоритмiв в педагогiчних унiверситетах має на метi ознайомити майбутнiх учителiв математики з основами цiєї науки, оскiльки вона посiдає важливе мiсце в професiйнiй пiдготовцi вчителiв математики. Вона сприяє...
Вінниця, 2007. Конспект лекцій відповідає діючій програмі з математичної логіки і теорії алгоритмів для математичних спеціальностей педагогічних університетів. Зміст: Вступ. 1. Логіка висловлень. Логічні операції над висловленнями. Логічне слідування в логіці висловлень. Рівносильність формул логіки висловлень. Нормальні форми. Повні системи булевих функцій. Алгебра Жегалкіна....
К. : Персонал, 2008. — 116 с. Збірник містить ретельно відібраний і систематизований набір відомих і оригінальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни. Цей збірник можна використовувати як для...
Монография. — Самара: Самарский университет, 2005. — 722 с. Трехтомная монография А. Уайтхеда и Б. Рассела Principia Mathematica занимает уникальное место в мировой математической литературе. Ее первое английское издание увидело свет в 1910–1913 гг. в трех томах, составлявших вместе почти 2000 страниц. Principia Mathematica по праву считается одним из самых ярких сочинений по...
Монография. — Самара: Самарский университет, 2006. — 738 с. Трехтомная монография А. Уайтхеда и Б. Рассела Principia Mathematica занимает уникальное место в мировой математической литературе. Ее первое английское издание увидело свет в 1910–1913 гг. в трех томах, составлявших вместе почти 2000 страниц. Principia Mathematica по праву считается одним из самых ярких сочинений по...
Монография. — Самара: Самарский университет, 2006. — 460 с. Трехтомная монография А. Уайтхеда и Б. Рассела Principia Mathematica занимает уникальное место в мировой математической литературе. Ее первое английское издание увидело свет в 1910–1913 гг. в трех томах, составлявших вместе почти 2000 страниц. Principia Mathematica по праву считается одним из самых ярких сочинений по...
Учебное пособие. — Саратов: Ай Пи Эр Медиа, 2018. — 239 c. — ISBN 978-5-4486-0086-9. В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные...
Пособие для работников АСУ тепловых электростанций. — М.: Московский энергетический институт (МЭИ), 2001. — 72 с.: ил. — ISBN 5-7046-0649-0. Приведено описание основ математической логики, законов и свойств логических операций, методов оценки сложности логических форм и способов их упрощения. Рассматриваются примеры построения простых логических схем и их реализация....
Учебное пособие. — М.: Физматлит, 2004. — 128 с. — ISBN 5-9221-0278-8. В пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков 1-го порядка, исчисление предикатов и теорема о...
Учебное пособие. — М.: Физматлит, 2004. — 128 с. — ISBN 5-9221-0278-8. В пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков 1-го порядка, исчисление предикатов и теорема о...
Монография. — М.: Институт проблем управления им. В. А. Трапезникова РАН; Краснодар: Краснодарский военный институт (КВИ), 2003. — 224 с.: ил. Монография посвящена новому направлению математической логики — реализации параллельных логических вычислений посредством арифметико-логических форм. Впервые рассматривается отображение классической логики на модулярную арифметику,...
Монография. — М.: Институт проблем управления им. В. А. Трапезникова РАН; Краснодар: Краснодарский военный институт (КВИ), 2003. — 224 с.: ил. Монография посвящена новому направлению математической логики — реализации параллельных логических вычислений посредством арифметико-логических форм. Впервые рассматривается отображение классической логики на модулярную арифметику,...
Пер. с англ. Ю.А. Петрова. Под ред. Ю.А. Гастева. — М.: Наука, Главная редакция физико-математической литературы, 1969. — 136 с. Научно-популярных книг по логике на русском языке пока нет. Быть может, в этом одна из причин явного и безусловного успеха книги Фрейденталя. Автор книги — профессор X. Фрейденталь — известный голландский математик с весьма широкими интересами....
Перевод с английского Ю.А.Петрова. — Под редакцией Ю.А.Гастева. — М.: Наука, 1969. — 135 с. В 1961 г. в Хаарлеме (Нидерланды) вышла небольшая книжка «Exacte logica» («Точная логика»). Автор ее профессор X. Фрейденталь — известный голландский математик с весьма широкими интересами; развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в...
Пер. с англ. Ю.А. Петрова. Под ред. Ю.А. Гастева. — М.: Наука, Главная редакция физико-математической литературы, 1969. — 136 с. Научно-популярных книг по логике на русском языке пока нет. Быть может, в этом одна из причин явного и безусловного успеха книги Фрейденталя. Автор книги — профессор X. Фрейденталь — известный голландский математик с весьма широкими интересами....
Учебное пособие для математических специальностей. — Самара: Самарский государственный университет (СамГУ), 2001. — 80 с. Учебное пособие написано на основе курса лекций, читаемого автором в течение ряда лет студентам-математикам. В нем рассматриваются основные понятия и вопросы, относящиеся к элементарным разделам математической логики: логические функции, нормальные формы,...
Хабаровск: Тихоокеанский государственный университет (ТОГУ), 2013. — 91 с. — ISBN: 978-5-7389-1141-5. В учебном пособии в доступной форме изложены основы математической логики. Даны понятия алгебры высказываний, исчисления высказываний, логики и исчисления предикатов, приведены вопросы, задачи и упражнения для закрепления теоретического материала. Представлен современный...
Учебное пособие. — Саратов: Саратовский государственный технический университет имени Ю.А. Гагарина (СГТУ), 2018. — 63 с. В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для...
Київ: Вища школа, 1978. — 160 с. Збірник складений відповідно до програми з математичної логіки для педагогічних інститутів, тому його зміст обмежується алгеброю висловлювань, обчисленням висловлювань, теоретико-множинною логікою предикатів і не включає вправ на формальне обчислення предикатів. Збірка призначена для студентів фізико-математичних факультетів педагогічних...
Навчальний посібник. — Київ: Вища школа, 1983. — 208 с. Під логікою звичайно розуміють аналіз методів міркувань. Слово «логіка» походить від грецького слова «логос», що означає «слово», «мова», «міркування». Логіка встановлює, що слідує з прийнятих припущень, при цьому основна увага звертається не на зміст, а на форму. Тому логіку й називають формальною. Не розглядаючи питання,...
Статья. — Философское антиковедение и классическая традиция. — 2017. — Том XI. — Выпуск 2. — С. 415-427. — DOI: 10.21267/AQUILO.2017.11.6471. В статье критически анализируется пример неправильного применения метаматематики, в частности, первой теоремы Геделя о неполноте, к объяснению Парадокса Лжеца Дж. Баркером. Показано, что экспликация такого рода, ставящая под сомнение...
М.: Наука, 1983. — 360 с. — (Математическая логика и основания математики). Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного интеллекта.
Монография. — Перевод с английского В. С. Черняевского. — Под редакцией В. А. Успенского. — М.: Иностранная литература, 1960. — 484 с. OCR с ошибками. Изложение автора книги отличается необычайной полнотой — как в смысле полноты рассмотрения каждого вопроса, так и в смысле полноты круга рассматриваемых вопросов. Эта монография принадлежит перу одного из самых известных...
Перевод с английского В. С. Черняевского. — Под редакцией В. А. Успенского. — М.: Иностранная литература, 1960. — 484 с. Изложение автора книги отличается необычайной полнотой — как в смысле полноты рассмотрения каждого вопроса, так и в смысле полноты круга рассматриваемых вопросов. Эта монография принадлежит перу одного из самых известных современных специалистов в области...
Учебное пособие. — Пермь: Пермский государственный технический университет (ПГТУ), 2007. — 48 с. Методические указания для студентов II курса заочного отделения. Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примеры решения задач, задачи для самостоятельного решения и список рекомендуемой литературы. Программа...
Учебное пособие. — Пермь: Пермский государственный технический университет (ПГТУ), 2010. — 72 с. — ISBN 978-5-398-00484-7. Рассматриваются понятия, лежащие в основании математической логики. Соответствующие обозначения постепенно складываются в язык логики предикатов, являющийся основным формальным средством выражения логического содержания математических рассуждений. Изложение...
Москва: Радио и связь, 1984. — 155 с. — (Кибернетика). Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники. К...
Учебное пособие. — Сумы: Сумской государственный университет (СумГУ). Основной целью дисциплины является освоение принципов построения и анализа алгоритмов, математическому обоснованию их применения. В результате изучения дисциплины студенты должны получить: Знание - построения и применения основных алгоритмов при программировании; анализа алгоритмов и выбора наиболее...
Учебное пособие. — Зерноград: Азово-Черноморский инженерный институт — филиал Донской ГАУ, 2015. — 69 с. Учебное пособие содержит краткий теоретический и практический материал по математической логике. Может быть использовано для проведения лекционных и практических занятий по дисциплине «Математика». Пособие предназначено для студентов очной и заочной форм обучения по...
СПб.: БХВ-Петербург, 2005. — 416 с. — ISBN 5-94157-702-8. В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых...
СПб.: БХВ – Петербург, 2005. — 416 с.: ил. — ISBN 978-5-94157-702-6. В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и...
Навчальний посібник. — Миколаїв: Миколаївський національний аграрний університет (МНАУ), 2021. — 68 c. Вступ Тематичний план практичних занять з дисципліни Таблиці істинності. Логічні операції над висловленнями Досконалі диз'юнктивні та досконалі кон’юнктиві нормальні форми Розв’язування задач за правилами виведення числення висловлень Нормальні форми формул числення висловлень...
Учебное пособие. — Омск: Омский государственный университет (ОГУ) имени Ф.М. Достоевского, 2019. — 39 с. Дискретная математика — это научная дисциплина, изучающая математические свойства конечных объектов. Традиционно курс дискретной математики, читаемый на технических и экономических факультетах состоит из основ математической логики (булевы функции и предикаты) и теории...
Пер. с английского. — М.: Наука, 1975. — 529 с. — (Математическая логика и основания математики). Книга известного американского логика Дж. Шенфилда знакомит читателя с основами современной математической логики и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика,...
Пер. с английского. — М.: Наука, 1975. — 529 с. — (Математическая логика и основания математики). Книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все...
М.: Наука, 1977. — 192 с. Терминология и обозначения. Рекурсивные функции. Изоморфизмы. Относительная рекурсивность. Рекурсивная перечислимость. Степени. Оценка степеней. Несравнимые степени. Верхние и нижние грани. Операция скачка. Минимальные степени. Простые множества. Метод приоритета. Теорема о разложении. Максимальные множества. Бесконечные нарушения. Индексные множества....
Курс лекций. — М.: Московского государственного университета имени М.В. Ломоносова (МГУ), 2019. — 60 с. Логика высказываний. Пропозициональные формулы. Пoдформулы. Оценки и значения формул. Булевы функции. Нормальные формы. Двойственность. Булевы алгебры. Исчисление высказываний. Теорема о дедукции для исчисления высказываний. Корректность исчисления высказываний для булевых...
Учебное пособие. — М.: Научный мир, 2011. — 256 с. — ISBN 978-5-91522-246-4. В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А. Шихановича "Введение в математику" (М.: Научный мир,...
К.: Персонал, 2009. — 280 с. У посібнику викладено поняття і результати, які належать до основ математичної логіки і основ теорії алгоритмів. Вивчаються пропозиційна логіка, класична логіка першого порядку, а також інтуїціоністська та модальні логіки, формальні моделі алгоритмів і обчислюваних функцій, питання розв’язності та нерозв’язності, відносна обчислюваність, звідності....
Конспект лекций по математической логике. — Минск: Белорусского государственного педагогического университета им. М. Танка (БГПУ), 2004. — 15 с. Высказывания и операции над ними Формулы. Таблицы истинности Тавтологии. Противоречия. Выполнимые формулы Проблема разрешения. Равносильные формулы Нормальные формы СДНФ и СКНФ, их существование и единственность Закон двойственности
Конспект лекций по математической логике. — Минск: Белорусского государственного педагогического университета им. М. Танка (БГПУ), 2004. — 10 с. Понятие формальной аксиоматической теории Понятия формальной выводимости и формального доказательства Определение формальной аксиоматической теории L логики высказываний Теорема дедукции Полнота исчисления высказываний...
Методические указания по решению задач. — Симферополь: Университет экономики и управления (УЭУ), 2019. — 70 с. Методические указания предназначены для решения задач по дисциплине ЕН.02 «Элементы математической логики» для студентов специальности 09.02.04 Информационные системы (по отраслям) очной формы обучения. В указаниях приведены краткие теоретические сведения, примеры...
Учебное пособие. — 2006. — 78 c. Курс Математическая логика и теория алгоритмов (МЛТА) включает 36 часов лекционных и 18 часов практических занятий. Он изучается после Дискретной математики параллельно с Программированием на языке высокого уровня. По окончанию курса проводится экзамен. Для чего будущему специалисту мира информационных систем нужен этот курс? Изучение его...
Журнал "Самиздат", 2006. — 32 с. Впервые основы построения алгебраических моделей конструктивной (интуиционистской) логики (АМКЛ) в булевой форме были сформулированы автором данной статьи примерно в 1968 году, первая статья по этому вопросу была опубликована в 1970 г., следующая – в 1972.
Учебное пособие для заочного отделения. — Челябинск: Южно-Уральский государственный университет (ЮУрГУ), 2002. — 64 с. — ISBN 5-696-00974-3. Учебное пособие соответствует курсу математической логики для студентов специальностей "Прикладная математика", "Прикладная математика и информатика" и "Программное обеспечение вычислительной техники и автоматизированных систем", содержит...
Учебное пособие для институтов. — М.: Высшая школа, 1975. — 176 с.: ил. В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Введение Алгебра высказываний Понятие о...
Учебное пособие. — М.: Высшая школа, 1975. — 176 с.: ил. Изображение с текстовым слоем и закладками. Книга предназначена для студентов и соответствует программе курса «Математическая логика» для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению...
Перевод с немецкого Г.Е. Минца. — М.: Мир, 1987. — 128 с. Книга швейцарского математика вышла в серии учебников для высшей школы издательства «Шпрингер». Она рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики. В ней коротко описываются проблемы обоснования теории вещественных...
М.: Наука, 1966. — 120 с. — (Математическая логика и основания математики). Алгебра логики является одним из разделов логики, представляющим значительный интерес для приложений. В последнее время появилась серия работ, посвященных вопросам полноты тождественных преобразований, синтеза управляющих систем, их надежности и т. п., в которых используются весьма глубокие теоремы из...
М.: Наука, 1966. — 120 с. — (Математическая логика и основания математики).
Работа состоит из двух частей. В первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. Рассматриваются некоторые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим...
Комментарии