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...
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, 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...
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...
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...
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...
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...
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, 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...
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...
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...
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....
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...
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...
Математическая логика для чайников 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...
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...
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...
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...
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...
Издательство 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...
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...
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...
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 computer...
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...
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...
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...
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....
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...
Издательство 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...
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...
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;...
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...
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...
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...
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,...
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...
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...
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.
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...
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...
Boulder: Westview Press, 2000. — 345 p. ISBN: 0813390613. Учебник является введением в классическую логику высказываний и классическую логику предикатов первого порядка. Уделяется внимание как исчислениям, так и семантике (с разбором соответствующих теорем). Также обсуждается вопрос о связи логики с теорией множеств. Рассматривается проблема разрешимости. The elements....
М.: Наука, 1973. — 276 с. — (Труды Математического института им. В.А. Стеклова. Том 133). Сборник посвящается академику П.С. Новикову к его семидесятилетию. Он составлен из 23 статей. Сборник открывается тремя обзорными статьями о научной и педагогической деятельности П.С. Новикова, о его работах в дескриптивной теории множеств и по алгоритмическим вопросам алгебры. В этих...
Монография. — М.: Мир, 1985. — 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный...
М.: Изд-во иностранной литературы, 1961. — 260 с.
Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор...
Учебное пособие. — Бирск: Башкирский государственный университет (БашГУ), Бирский филиал, 2015. — 136 с. — ISBN 978-5-86607-475-4. В пособии представлены материалы, необходимые для изучения курса «Математическая логика». Пособие содержит краткую теорию, подборку примеров и задач для практических занятий по выделенным темам, а также задачи для контроля самостоятельной работы...
Учебное пособие. — М.: Издательство ЛКИ, 2008. — 216 с. - ISBN 978-5-382-00642-0. Книга посвящена теории сложности алгоритмов в той ее части, где речь идет о противостоянии Р- и NP-задач. В резонанс с проблемой "Р- против NP-" входит обширная тематика: комбинаторные задачи на графах, неразрешимые проблемы теории алгоритмов, криптография, целочисленное программирование,...
Учебное пособие. — М.: КомКнига, 2006. — 208 с. — ISBN 5-484-00463-2. Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью....
Пер. с англ. — М.: Мир, 1994. — 396 с., ил. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о...
Красноярск: Сибирский Федеральный Университет, 2019. — 111 с. — ISBN: 978-5-7638-4076-6. Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления...
Учебное пособие для вузов. — М.: МЦНМО. 1999. — 124 с. — ISBN: 5-900916-36-7.
Качество: Отсканированные страницы.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение...
4-е изд., доп. — М.: МЦНМО, 2012. — 112 c. — ISBN: 978-5-4439-0012-4. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ,...
М.: МЦНМО, 2002. — 128 с. — ISBN: 5-900916-36-7. 150 задач различной трудности. По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Множества и мощности. Множества. Число элементов. Равномощные множества. Счётные множества. Теорема...
4-е изд., испр. — М.: МЦНМО, 2012. — 240 c. — ISBN: 978-5-4439-0013-1. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала...
Учебное пособие для вузов. — М.: МЦНМО, 2000. — 291 с. — ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний,...
Учебное пособие для вузов. — М.: МЦНМО, 1999. — 177 с. — ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации...
4-е изд., исправленное. — М.: МЦНМО, 2012. — 160 c. — ISBN: 978-5-4439-0014-8. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о...
Казань: Издательство КГТУ им. А. Н. Туполева, 2002. — 270 с. Пособие содержит следующие разделы: Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики....
2-е изд. — М.: Государственное издательство иностранной литературы, 1947. — 306 с.
+OCR, Оглавление.
Перевод руководства по элементам математической логики Д.Гильберта и В.Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д.Гильберта и написана его учеником Аккерманом....
М.: Наука; Физматлит, 1972. — 288 с.: ил.
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблемы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.
Учебное пособие. — М.: Российский государственный гуманитарный университет (РГГУ), 1998. — 478 с. Учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей. Книга содержит много задач и упражнений.
Учебное пособие, М.: 1981. - 117 с.
Множества с отношениями и операциями.
Алгебры высказываний и предикатов.
Исчисление предикатов.
Булевы функции и их обобщения.
Реализация булевых функций.
Элементы теории алгоритмов.
Сложность алгоритмов и вычислений.
СПб.: Лань, 2012. — 406 с. Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным...
Саратов: Изд-во Сарат. ун-та, 1969. — 87 с. Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и...
М.: Иностранная литература, 1961. — 162 с. Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих...
М.: Наука, Физматлит, 1970. — 472 с. — (Математическая логика и основания математики).
Рекурсивная теория чисел.
Определение по рекурсии.
Исчисление равенств.
Логические константы.
Основные теоремы арифметики.
Формализация примитивно рекурсивной арифметики.
Сведения к примитивной рекурсии.
Устранение параметров.
Гёделевская нумерация и неполнота арифметики.
Рекурсивный...
Учебное пособие. — Омск: Наследие. Диалог-Сибирь, 2003. — 108 с. — ISBN 5-8239-0126-7. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского гос. университета в 2002 г. Для студентов специальностей 075200 - "Компьютерная...
Перевод с англ. С.Ф. Сопрунова. — Под ред. и с предисловием В.А. Успенского. — М.: Мир, 1980. — 236 с. Книга посвящена актуальному, но совершенно недостаточно освещенному в монографической литературе разделу математической логики - теории нестандартных моделей математического анализа. Этот раздел представляет фундаментальный общематематический интерес, так как позволяет...
Ленинград: Знание, 1963. — 57 с. Учебное пособие, для тех, кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики. Из истории математической логики. Знакомство с математической логикой. Начальные идеи алгебры логики. Правила обычной алгебры. Алгебра высказываний. Некоторые особенности алгебры...
2-е издание, исправленное. — Л.: Знание; Ленинградская организация, 1965. — 59 с. Математическая логика — эти слова все чаще можно услышать в разговорной речи, увидеть в газетных и журнальных статьях. Их употребляют не только ученые, инженеры и техники, машиностроители и учителя. Человек издавна стремился к созданию приборов и машин, которые выполняли бы за него не только...
Ярославль: Ярославский государственный университет, 1978. — 117 с. Настоящее учебное пособие предназначено для студентов 1го курса университета. Оно может служить введением в теорию множеств и математическую логику. В первой части пособия излагаются основные элементарные понятия и теоремы теории множеств, большое внимание уделяется аксиоме выбора.
Ярославль: Ярославский государственный университет им. П.Г. Демидова (ЯрГУ), 2020. — 120 с. В пособии излагаются дополнительные вопросы теории алгоритмов, прежде всего связанные с доказательством фундаментальной теоремы о совпадении классов диофантовых и рекурсивно перечислимых множеств. Приводятся необходимые для этого факты из теории уравнения Пелля, метод цепных дробей для...
Новосибирск: Научная книга, 1995. — 78 с. — ISBN: 5-88119-003-3. Изложены необходимые для доказательства теоремы Гёделя о неполноте сведения из теории алгоритмов (рекурсивных функций) с использованием лишь теоретико-модельных (семантических) понятий. Данное пособие знакомит с элементами семантического программирования, а также может служить методическим введением в теорию...
М.: Наука, 1977. — 416 с. — (математическая логика и основания математики).
Предисловие:
Книга представляет собой введение в проблематику и методы теории нумераций — развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине пятидесятых годов. Реализацией этой идеи...
Учебное пособие для вузов. — 2-е изд., испр. и доп. — М.: Наука, Главная редакция физ.-мат. литературы, 1987. — 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств...
6-е изд., испр. — М.: Физматлит, 2011. — 356 с. — ISBN: 978-5-9221-1301-4. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это...
Томск: Издательский дом Томского государственного университета, 2017. — 258 с. Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические...
М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах:...
Учебное пособие. — М.: Инфра-М, 2016. — 399 с. + CD-R. — (Высшее образование). — ISBN: 978-5-16-005204-5. Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов,...
2-е изд., стер. — М.: Издательский центр «Академия», 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в...
Учебное пособие. — М.: Инфра-М, 2016. — 318 с. — (Высшее образование). — ISBN: 978-5-16-005205-2. Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые...
Киев: Наукова думка, 1981. — 150 с. В монографии рассматриваются логико-грамматические особенности временных контекстов — выражений естественного языка, истинностное значение которых определимо относительно конкретного отрезка времени, в контексте речевой ситуации. Описываются основные типы семантики временной логики и различные её формализации: аксиоматическая, секвенциальная,...
Тольятти: Волжский университет им. Татищева, 2002. — 45 с. Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные...
М.: Наука, 1964. — 152 с. Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики.
М.: Просвещение, 1978. - 89 с.
Качество: хорошее, текстовый слой, оглавление.
Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики....
М.: Физматлит, 1984. — 65 с. Содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности. Рассматривается вопрос о том, какая из этих аксиом и в какой степени полезна в различных областях математики. Для лиц, интересующихся вопросами оснований математики, начиная со студентов-математиков первых курсов университетов и...
Москва: Наука, 2000. — 317 с. — ISBN 5-02-013048-6. В книге впервые устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения аргумента Аристотеля, их функциональные свойства имеют чисто теоретико-числовую природу. Изучение этого факта позволило дать определение понятия простого числа в логических терминах....
М.: Мир, 1969. — 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит...
М.: Мир, 1971. — 252 с. Книга видных американских учёных Марка Каца и Станислава Улама подготовлена для выпускаемой издательством Британской энциклопедии серии обзоров, посвящённых состоянию и ближайшим перспективам развития различных наук. Особое место уделяется взаимодействию и взаимозависимости математики и других наук, обогащающих, по мнению авторов, как чистую математику,...
Перевод с английского А.С. Есенина-Вольпина. Под редакцией В.А. Успенского. — М.: Издательство иностранной литературы, 1957. — 526 с. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех,...
М.: Мир, 1973. — 480 с. Перевод с английского Ю. А. Гастева. Под редакцией (и приложения) Г. Е. Минца. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (1957), ставшего настольной книгой для всех, кто занимается математической...
Пер. с англ. Ю.А. Гастева. — Под ред. Г.Е. Минца. — М.: Мир, 1973. — 480 с. Имя одного из крупнейших современных специалистов в области математической логики С.К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными,...
М.: Наука, Физматлит, 1978. — 271 с. — (Математическая логика и основания математики). В последние годы в связи с ростом интереса к эффективной математике большое внимание привлекают метаматематические, теоретико-модельные и семантические аспекты интуиционизма. Предлагаемая книга, написанная выдающимся американским математиком и логиком С.К.Клини в сотрудничестве с Р.Ю.Весли,...
М:. Издательство Моск. ун-та, 1982. — 120 с. — Игу ИМЭИ, 2 курс 3-4 семестр 010101 - Математика Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает...
Учебное пособие. — М:. Издательство Моск. ун-та, 1982. — 120 с. Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и рассчитано для...
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
Учебное пособие. — М.: Издательство Московского университета, 1984. — 120 с. Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте...
Учебное пособие. — Л.: Издательство Ленинградского университета, 1981. — 192 с. Учебное пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории...
М.: Академия, 2013. — 416 с. — (Бакалавриат). — ISBN: 978-5-7695-9559-2. Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии (квалификация "бакалавр"). Изложены основные понятия...
М.: Наука, 1968. — 253 с. — (АН СССР. Научный Совет по комплексной проблеме Кибернетика). Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов....
Учебное пособие. — Ярославль: Яросл. гос. ун-т. им. П.Г. Демидова (ЯрГУ), 2016. — 160 с. — ISBN 978-5-8397-1079-5. Написано в поддержку учебной дисциплины «Неклассические логики». Основное внимание уделяется базовым принципам и конструктивным элементам, с помощью которых происходит формальное построение различных неклассических логик высказываний. Рассматриваются нормальные и...
СПб.: Невский Диалект, 2001. — 128 с: ил. — ISBN: 5-7940-0080-5. В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке. Установлена возможность объединения в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и...
Переводъ съ французскаго съ прибавленiями профессора И. Слешинскаго. — Одесса: Матезисъ, 1909. — 134 с. По математической логике на русскомъ языке насколько мне известно, имеются две книги: "О способах решения логических равенств и об обратном способе математической логики" Порецкого (1884 г.) и "Логическое исчисление" Волкова (1888 г.). Первая из этих книг содержит...
Учеб. пособие для студ. высш. учеб. заведений. — Под ред. Л. Л. Максимовой. — М.: Академия, 2006. — 240 с. — (Университетский учебник. Сер. Прикладная математика и информатика). — ISBN 5-7695-2735-8. В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о...
Пособие для студентов-математиков НГУ. — Новосибирск: Новосибирский Государственный университет, 1970. — 110 с. Предисловие Теория множеств Операции над множествами Отношения и функции Специальные бинарные отношения Кардинальные числа Ординальные числа Действия над кардинальными числами Математическая логика Исчисление высказываний Алгебра высказываний Язык узкого исчисления...
5-е издание, исправленное. — М.: Физматлит, 2004. — 256 с. — ISBN 5-9221-0026-2. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи...
3-е изд., — М.: Физматлит, 1995. — 256 с. В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все...
М.: Мир, 1968. — 128 с.
Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выразил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями.
Учебное пособие. — СПб.: Издательство "Лань", 1999. — 111 с. — (Серия "Учебники для вузов. Специальная литература"). — ISBN: 5- 8114- 0082- 9. Архив содержит эту книгу, но только 2-ю часть из неё - Часть вторая: Задачник-практикум и решения (с подробными решениями) - (в 2-х форматах: PDF = 3,02 Mb & DJVU = 1,36 Mb). Это учебное пособие авторов "Математическая логика. Курс...
М.: Московский институт электронного машиностроения, 1974. — 204 с. Книги представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Основной объект изучения второй части курса - детерминированный...
Учебное пособие. — М.: Московский институт электронного машиностроения, 1974. — 135 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Качество файла - среднее. Скан качественный,...
Учебное пособие. — М.: Московский институт электронного машиностроения, 1974. — 71 с.
Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. Основной объект изучения второй части курса — детерминированный процесс вычисления или переработки нечисловой информации - алгоритм.
Москва: Издательство Московского университета, 1984. — 80 с. Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды и установки автора на предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике таких языков. Для студентов и аспирантов математических специальностей и специалистов,...
М.: Мир, 1975. — 136 с. Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра...
Москва: Физматлит, 2004. — 104 с. В книге с единых позиций рассматриваются функциональные системы с операцией суперпозиции и «традиционными» множествами функций — функций многозначной логики, функций натурального аргумента и автоматных функций. Основное содержание книги концентрируется вокруг двух взаимосвязанных тем: построение и анализ порождающих множеств и проблема полноты....
М.: Радио и связь, 1986. — 136 с. — (Кибернетика). Книга посвящена молодой, активно развивающейся области математической логики и кибернетики - теории исчислений. Излагается математический аппарат теории и новейшие ее обобщения применительно к моделированию различных технологических, биологических и экономических процессов. Рассмотрена связь теории с проблематикой...
Отв. редактор С. Л. Соболев. — М.: Наука, 1982. — 177 с. В сборник входят работы, представляющие важные результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях...
К.; Одесса: Выща школа, 1989. — 344 с. — ISBN: 5-11-001395-0. Рассмотрены элементы логики классов, логики высказываний и логики предикатов, а также традиционная силлогистика. Кроме изложения теоретических проблем, каждый параграф содержит серию задач и методические пояснения к ним. Большое количество задач (свыше 1800), их различия по степени сложности дают возможность...
2е изд., испр. — Москва: Наука, 1976. — 320 с. Текстовый слой, Оглавление. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория...
Пер. с англ. Ф.А. Кабакова. — Под ред. С.И. Адяна. — М.: Наука; Физматлит, 1971. — 320 с. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены...
Учеб. пособие — СПб: РГПУ, 1997. — 127 с.
Пособие предназначено для поддержки курса "Основы математической логики и теории алгоритмов". Содержит упражнения по разделу математической логики "Формальные системы первого порядка", которые можно рассматривать в качестве обязательных результатов обучения. Упражнения выбраны и как форма обучения студентов, поэтому оглавление отражает...
Москва: МЦНМО, 2008. — 56 с. В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 г. ) о том, что всякое перечислимое множество является диофантовым. Диофантовы предикаты. Уравнение Пелля. О диофантовости арифметических функций. Ограниченные кванторы всеобщности. Универсальные полиномы. Диофантовость и перечислимость. Диофантовы уравнения и...
М.: Мир, 1965. — 341 с. Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник включены наиболее интересные доклады по математической логике, теории множеств, теории моделей, теории...
Пер. с англ.: Ю.А. Гастев. — 2-e изд., испр. — М.: Красанд, 2010. — 120 с. — (Hауку - всем! Шедевры научно-популярной литературы). — ISBN 978-5-396-00092-6. Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К. Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь...
Учебное пособие. — Изд. 2-е, испр. и доп. — Новосибирск: Изд. Новосибирского университета, 2000. — 521 с. — ISBN 5-7615-0490-1. Пособие - простейшее введение в язык современной математической логики. Рекомендовано для студентов и аспирантов специальностей: "Прикладная математика", "Структурная прикладная лингвистика", "Философия" и др.
Учебник. — М.: Высшая школа, 1981. — 127 с., ил. Книга предназначена для учащихся техникумов (колледжей) по специальности "Прикладная математика" и содержит теоретический материал, соответствующий программе "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике 8 летней школы. Ясно...
Москва, Наука, 1979. — 396 с.
Настоящий том избранных трудов П. С. Новикова (1901—1975) состоит из двух частей. В первую часть включены все основные работы по дескриптивной теории множеств и теории функций. Вторая часть включает работы по математической логике и алгебре.
Обзор научных работ П. С. Новикова.
Список печатных работ П. С. Новикова.
Теория множеств и теория...
М.: Наука, 1977. — 328 с. — (Математическая логика и основания математики). Настоящая книга написана на основе лекций, читавшихся П. С. Новиковым во второй половине пятидесятых годов. В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу. В то же время книга написана так, что ее можно читать независимо...
2-изд., испр. — М.: Наука, 1973. — 399 с. — (Математическая логика и основания математики). Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. В настоящей книге сделана попытка дать по возможности...
Учебное пособие. — Уфа: УГАТУ, 2006. Учебное пособие содержит изложение основных разделов математической логики (алгебра высказываний, исчисление высказываний, алгебра предикатов) и основ теории алгоритмов. В пособие включены разделы, посвященные практическому решению типовых задач, а также вопросы для повторения, призванные способствовать активному изучению данного курса.
Саратов: Издательство Саратовского университета, 1968. — 141 с. Основные понятия теории множеств Подмножество. Дополнение подмножества. Пересечение и объединение подмножеств Упорядоченные системы элементов Декартово произведение множеств Арифметическое пространство n измерений n-отношение Функция Отображение множества на множество. Взаимно-однозначное отображение Алгебра...
Новосибирск: Научная книга, 1997. — 322 с. Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение...
М.: МГУ, механико-математический факультет, 2009. — 160 с. В интуиционистской логике все связки независимы. Более того, для доказательства утверждения A достаточно пользоваться лишь формулами, не содержащими связок, отсутствующих в A. В интуиционистской логике нет стандартных (нормальных) форм, аналогичных классическим. Как правило, преобразования, связанные с законами...
Ленинград: Издательство Ленинградского университета, 1959. — 109 с. Работа профессора А. И. Попова является первой советской книгой, в которой даётся общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о...
М.: Физматлит, 2011. — 212 с. Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые...
Учебное пособие. — СПб.: Санкт-Петербургский государственный университет (СПбГУ), 2006. — 108 с. В пособии рассматриваются неклассические логики, используемые для представления знаний, спецификации и анализа поведения программ. Излагаются элементы неклассических логик, аппарат нечёткой логики, рассмотрена программная реализация моделей нечёткой логики с помощью...
Пер. с англ. — М.: Наука, 1972. — 592 с. — (Математическая логика и основания математики). Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд. Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и...
Киев: Наукова думка, 1966. — 81 с. Книга посвящена пограничным вопросам математики и семантики. Новый подход делает основные разделы единственными в литературе, поэтому изложение начато с простейших понятий. Несмотря на строгость изложения книга является доступной широкому кругу читателей. Содержание: Предисловие. Описание интуитивной модели. Псевдофизический язык. Прообразы...
М.: Наука, 1970. - 283 с.
В книге рассматриваются проблемы выражения эвристических принципов мышления в исчислениях современной логики.
Содержание
Современная формальная логика и научная эвристика
Общие замечания о методах формальной дедукции
Аналоги принципов эвристической деятельности в логических исчислениях
Системное выражение эвристических принципов в логических...
М.: Наука, 1970. — 284 с. Эвристические методы могут быть широко применены в практике современного руководителя любого ранга. Проведение совещаний, деловых игр с использованием данных методов открывает принципиально новые подходы к решению управленческих проблем, задач в области коммерческой деятельности, а также в сфере услуг. Основная задача эвристики сводится к построению...
Перевод с польского О.Ф. Серебрянникова. — М.: Прогресс, 1965. — 368 с. Книга известных польских логиков, посвящена изложению основ современной формальной логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, а также освещаются некоторые важнейшие...
М.: Наука, 1981. — 207 с. — (Математическая логика и основания математики).
В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия...
Пер. с англ. Ю. А. Гастева и И. Х. Шмаина. — Под ред. Ю. А. Шихановича. — М.: Просвещение, 1968. — 231 с. В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории...
Учебное пособие. — Л. А. Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр; Под общ. ред. А. А. Столяра. — Минск: Вышэйшая школа, 1991. — 272 с. — ISBN: 5-339-00342-6. Цель пособия — совершенствовать математическую, логическую и профессиональную подготовку будущего учителя математики и информатики, активизировать его самостоятельную работу. Включены теоретический курс и...
Минск: Вышэйшая школа, 1971. — 224 с. Книга содержит изложение вводного курса, предназначенного для студентов первого года обучения математических специальностей педагогических вузов. Цель этого курса - привить студентам навыки современного математического мышления и его точного, краткого и ясного выражения, облегчить им последующее изучение различных математических дисциплин и...
Учебник — М.: Инфра-М; Новосибирск: Изд-во НГТУ, 2004. — 224 с. — (Высшее образование). — ISBN: 5-16-001975-8, 5-7782-0458-2 В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих...
М.: Наука, 1970. — 382 с. В книге дается общая характеристика неклассической логики, которая является разделом современной математической логики, рассказывается о перспективах ее развития и о возможностях приложения ее в науке и технике. Книга посвящена неклассической теории логического следования, в особенности направлению, которое создано и разрабатывается советскими...
М.: Наука, 1970. — 334 c. В книге исследуются взаимоотношения формально-логических систем и способы их классификации. Авторы сборника анализируют такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики и др. Книга открывается статьей известного советского логика и математика С. А. Яновской, памяти которой посвящен...
Учебное пособие. — Нижний Новгород: ННГУ, 1994. — 118 с. В учебном пособии содержатся начала логики предикатов и теории алгоритмов. Она предназначена для студентов, обучающихся по специальности прикладная математика и информатика в рамках университетского учебного плана, содержащего курс "Дискретная математика". Материал содержит примеры, иллюстрирующие основные понятия...
Москва: Государствениое издательство иностранной литературы, 1948. — 328 c.
OCR, Оглавление.
А.Тарский (1902-1983) - польский логик и математик, основоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. Предлагаемая читателям книга, несмотря на используемый в...
Монография. — Самара: Самарский университет, 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 по праву считается одним из самых ярких сочинений по...
Пособие для работников АСУ тепловых электростанций. — М.: Московский энергетический институт (МЭИ), 2001. — 72 с.: ил. — ISBN 5-7046-0649-0. Приведено описание основ математической логики, законов и свойств логических операций, методов оценки сложности логических форм и способов их упрощения. Рассматриваются примеры построения простых логических схем и их реализация....
Учебное пособие. — М.: Физматлит, 2004. — 128 с. — ISBN 5-9221-0278-8. В пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков 1-го порядка, исчисление предикатов и теорема о...
Монография. — М.: Институт проблем управления им. В. А. Трапезникова РАН; Краснодар: Краснодарский военный институт (КВИ), 2003. — 224 с.: ил. Монография посвящена новому направлению математической логики — реализации параллельных логических вычислений посредством арифметико-логических форм. Впервые рассматривается отображение классической логики на модулярную арифметику,...
Пер. с англ. Ю.А. Петрова. Под ред. Ю.А. Гастева. — М.: Наука, Главная редакция физико-математической литературы, 1969. — 136 с. Научно-популярных книг по логике на русском языке пока нет. Быть может, в этом одна из причин явного и безусловного успеха книги Фрейденталя. Автор книги — профессор X. Фрейденталь — известный голландский математик с весьма широкими интересами....
Київ: Вища школа, 1978. — 160 с. Збірник складений відповідно до програми з математичної логіки для педагогічних інститутів, тому його зміст обмежується алгеброю висловлювань, обчисленням висловлювань, теоретико-множинною логікою предикатів і не включає вправ на формальне обчислення предикатів. Збірка призначена для студентів фізико-математичних факультетів педагогічних...
М.: Наука, 1983. — 360 с. — (Математическая логика и основания математики). Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного интеллекта.
Монография. — Перевод с английского В. С. Черняевского. — Под редакцией В. А. Успенского. — М.: Иностранная литература, 1960. — 484 с. OCR с ошибками. Изложение автора книги отличается необычайной полнотой — как в смысле полноты рассмотрения каждого вопроса, так и в смысле полноты круга рассматриваемых вопросов. Эта монография принадлежит перу одного из самых известных...
Москва: Радио и связь, 1984. — 155 с. — (Кибернетика). Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники. К...
СПб.: БХВ-Петербург, 2005. — 416 с. — ISBN 5-94157-702-8. В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых...
Пер. с английского. — М.: Наука, 1975. — 529 с. — (Математическая логика и основания математики). Книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все...
М.: Наука, 1977. — 192 с. Терминология и обозначения. Рекурсивные функции. Изоморфизмы. Относительная рекурсивность. Рекурсивная перечислимость. Степени. Оценка степеней. Несравнимые степени. Верхние и нижние грани. Операция скачка. Минимальные степени. Простые множества. Метод приоритета. Теорема о разложении. Максимальные множества. Бесконечные нарушения. Индексные множества....
Учебное пособие для институтов. — М.: Высшая школа, 1975. — 176 с.: ил. В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Введение Алгебра высказываний Понятие о...
М.: Наука, 1966. — 120 с. — (Математическая логика и основания математики). Алгебра логики является одним из разделов логики, представляющим значительный интерес для приложений. В последнее время появилась серия работ, посвященных вопросам полноты тождественных преобразований, синтеза управляющих систем, их надежности и т. п., в которых используются весьма глубокие теоремы из...
Комментарии