Зарегистрироваться
Восстановить пароль
FAQ по входу

Математическая логика

Ищем доверенных пользователей для раздела Математика

Вы компетентны в тематике этого раздела и имеете профессиональный опыт в данном направлении?
Вы хотите упорядочить имеющиеся здесь материалы и поддерживать порядок в будущем?
Вы готовы консультировать других пользователей?
Тогда вас, возможно, заинтересует возможность стать доверенным в этом разделе.

Доверенные пользователи и модераторы раздела

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...
  • №1
  • 9,21 МБ
  • добавлен
  • изменен
Oxford University Press, USA, 2017. — 253 p. — ISBN 0198803796. Would you like to understand more mathematics? Many people would. Perhaps at school you liked mathematics for a while but were then put off because you missed a key idea and kept getting stuck. Perhaps you always liked mathematics but gave it up because your main interest was music or languages or science or...
  • №2
  • 11,57 МБ
  • добавлен
  • изменен
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...
  • №3
  • 29,65 МБ
  • добавлен
  • изменен
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...
  • №4
  • 1,51 МБ
  • добавлен
  • изменен
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...
  • №5
  • 3,38 МБ
  • добавлен
  • изменен
CRC Press, Taylor & Francis Group, 2013. VII, 392 p. — ISBN-13: 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...
  • №6
  • 6,22 МБ
  • добавлен
  • изменен
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...
  • №7
  • 1,89 МБ
  • добавлен
  • изменен
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 publication...
  • №8
  • 24,57 МБ
  • добавлен
  • изменен
Springer, 2012. - 361 pages ISBN: 978-1447141280 Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of...
  • №9
  • 13,03 МБ
  • добавлен
  • изменен
Berlin, Heidelberg.: Springer, 2009. — (xi) 516 p. — ISBN-10 3-642-03358-X. — ISBN-13 978-3-642-03358-2. 22nd International Conference, TPHOLs 2009. Munich, Germany, August 17-20, 2009. Proceedings. Preface. 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...
  • №10
  • 4,74 МБ
  • добавлен
  • изменен
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...
  • №11
  • 13,44 МБ
  • добавлен
  • изменен
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...
  • №12
  • 84,59 МБ
  • дата добавления неизвестна
  • изменен
12th International Conference, TPHOLs ’99. Nice, France, September 14-17, 1999. Proceedings. — Springer, 1999. — 362 p. — (Lecture Notes in Computer Science ; Vol. 1690). — ISBN 9783540664635, 3540664637. Preface. This book contains the proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics (TPHOLs’99), which was held in Nice at the University...
  • №13
  • 3,53 МБ
  • добавлен
  • изменен
Издательство Birkhäuser, 2007, -247 pp. 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...
  • №14
  • 1,97 МБ
  • добавлен
  • изменен
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...
  • №15
  • 2,01 МБ
  • добавлен
  • изменен
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...
  • №16
  • 1,25 МБ
  • добавлен
  • изменен
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...
  • №17
  • 676,29 КБ
  • добавлен
  • изменен
Издательство CRC Press, 2012, -353 pp. 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...
  • №18
  • 3,02 МБ
  • добавлен
  • изменен
Madrid: Paraninfo, 1976. — 120 p. — (Lógica y Teoría de la Ciencia).
  • №19
  • 11,13 МБ
  • добавлен
  • изменен
5th ed. — UK.: Cambridge University Press, 2007. — 350 p. — (ISBN-10 0-511-36668-X, ISBN-13 978-0-511-36668-0), eBook, English. Computability and Logichas become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as G¨ odel’s incompleteness theorems, but...
  • №20
  • 2,23 МБ
  • добавлен
  • изменен
5th ed. — UK.: Cambridge University Press, 2007. — 350 p. — ISBN-13 978-0-521-70146-4. Computability and Logichas become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as G¨ odel’s incompleteness theorems, but also a large number of optional topics, from...
  • №21
  • 3,47 МБ
  • добавлен
  • изменен
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...
  • №22
  • 2,60 МБ
  • добавлен
  • изменен
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...
  • №23
  • 8,02 МБ
  • добавлен
  • изменен
Издательство 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...
  • №24
  • 1,05 МБ
  • добавлен
  • изменен
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...
  • №25
  • 2,40 МБ
  • добавлен
  • изменен
Seoul: Yonsei University. — 23 стр. Лекции по теоремам Гёделя о неполноте, доказательство через неподвижную точку (современное синтаксическое доказательство). Все строго, без махания руками. Лекции начинаются с определения рекурсивных функций.
  • №26
  • 279,54 КБ
  • добавлен
  • изменен
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...
  • №27
  • 5,32 МБ
  • добавлен
  • изменен
Oxford University Press, UK, 2015. — 368 p. — ISBN-10: 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...
  • №28
  • 3,17 МБ
  • добавлен
  • изменен
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...
  • №29
  • 3,91 МБ
  • добавлен
  • изменен
Title Page [Титул] Syllogism [Силлогизм] Advertisement [Замечания] Preface to the Fourth Edition [Предисловие к четвертому изданию] Introduction to Learners [Обращение к учащимся] Table of Contents [Оглавление] Book I Things and Their Attributes [Книга I. Предметы и их признаки] Chapter I Introductory [Глава I. Введение] Chapter II Classification [Глава II....
  • №30
  • 1,88 МБ
  • дата добавления неизвестна
  • изменен
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 mathematics....
  • №31
  • 2,23 МБ
  • добавлен
  • изменен
Издательство Springer, 1999, -128 pp. 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...
  • №32
  • 527,56 КБ
  • добавлен
  • изменен
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...
  • №33
  • 4,18 МБ
  • добавлен
  • изменен
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...
  • №34
  • 5,61 МБ
  • добавлен
  • изменен
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...
  • №35
  • 12,15 МБ
  • добавлен
  • изменен
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...
  • №36
  • 29,96 МБ
  • добавлен
  • изменен
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...
  • №37
  • 5,67 МБ
  • добавлен
  • изменен
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...
  • №38
  • 882,84 КБ
  • добавлен
  • изменен
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 classical...
  • №39
  • 6,65 МБ
  • добавлен
  • изменен
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...
  • №40
  • 42,59 МБ
  • добавлен
  • изменен
Delvin Keith, 2012. — 117 p. — ISBN-13 978-0615653631, ISBN-10 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...
  • №41
  • 1,23 МБ
  • добавлен
  • изменен
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...
  • №42
  • 1,10 МБ
  • добавлен
  • изменен
Riga: University of Latvia, 2017. — 236 p. References. Introduction. What Is Logic, Really ? Propositional Logic. Predicate Logic. Completeness Theorems (Model Theory). Normal Forms. Resolution Method. Miscellaneous.
  • №43
  • 1,17 МБ
  • добавлен
  • изменен
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.
  • №44
  • 2,34 МБ
  • добавлен
  • изменен
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...
  • №45
  • 2,23 МБ
  • добавлен
  • изменен
Монография в картинках. 2009, Bloomsbury, New York, 2009, 347 стр. Первая в мире математическая монография в жанре комикса, посвященная жизни, творчеству и научным идеям выдающегося логика и философа Бертрана Рассела.
  • №46
  • 121,85 МБ
  • добавлен
  • изменен
White Word Publications, 2012. - 187 pages. Table of Contents Accuracy Paradox & Apportionment Paradox All Horses are the Same Color & Infinite Regress Drinker Paradox & Lottery Paradox Paradoxes of Material Implication Raven Paradox Unexpected Hanging Paradox Banach–Tarski Paradox Coastline Paradox & Paradoxical Set Gabriel's Horn & Missing Square Puzzle Smale's...
  • №47
  • 629,70 КБ
  • добавлен
  • изменен
Издательство Springer, 1984, -113 pp. 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...
  • №48
  • 1,99 МБ
  • добавлен
  • изменен
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...
  • №49
  • 6,92 МБ
  • добавлен
  • изменен
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...
  • №50
  • 3,18 МБ
  • дата добавления неизвестна
  • изменен
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...
  • №51
  • 5,39 МБ
  • добавлен
  • изменен
Springer, 2016. — 654 p. — (Advances in Intelligent Systems and Computing). — ISBN 10 3319462059. — ISBN 13 978-3319462059. This book is the proceedings of the Fourth International Conference on Quantitative Logic and Soft Computing (QLSC2016) held 14-17, October, 2016 in Zhejiang Sci-Tech University, Hangzhou, China. It includes 61 papers, of which 5 are plenary talks( 3...
  • №52
  • 10,49 МБ
  • добавлен
  • изменен
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 mathematics...
  • №53
  • 10,74 МБ
  • добавлен
  • изменен
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 in...
  • №54
  • 1,71 МБ
  • добавлен
  • изменен
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...
  • №55
  • 53,82 МБ
  • добавлен
  • изменен
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...
  • №56
  • 3,43 МБ
  • добавлен
  • изменен
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....
  • №57
  • 27,98 МБ
  • добавлен
  • изменен
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 types...
  • №58
  • 3,37 МБ
  • добавлен
  • изменен
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 from...
  • №59
  • 840,85 КБ
  • добавлен
  • изменен
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.
  • №60
  • 64,72 МБ
  • добавлен
  • изменен
Математическая логика для чайников 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,...
  • №61
  • 2,91 МБ
  • добавлен
  • изменен
Математическая логика для чайников 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...
  • №62
  • 2,61 МБ
  • дата добавления неизвестна
  • изменен
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...
  • №63
  • 3,26 МБ
  • добавлен
  • изменен
10th International Conference, TPHOLs ' 97. Murray Hill, NJ, USA, August 19-22, 1997. Proceedings. — Berlin; Heidelberg; New York: Springer, 1997. — 340 p. — (Lecture Notes in Computer Science; Vol. 1275). — ISBN 9783540633792, 3540633790. Preface. This volume contains the proceedings of the tenth international conference on Theorem Proving in Higher Order Logics (TPHOLs97), held...
  • №64
  • 25,43 МБ
  • добавлен
  • изменен
Cambridge, UK: Cambridge University Press, 2001. — 322 p. — ISBN-10: 0521775019; ISBN-13: 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...
  • №65
  • 10,04 МБ
  • добавлен
  • изменен
Cambridge, UK: Cambridge University Press, 2001. — 322 p. — ISBN-10: 0521775019; ISBN-13: 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...
  • №66
  • 3,21 МБ
  • добавлен
  • изменен
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...
  • №67
  • 22,14 МБ
  • добавлен
  • изменен
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...
  • №68
  • 16,21 МБ
  • дата добавления неизвестна
  • изменен
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 Dynamic...
  • №69
  • 2,23 МБ
  • добавлен
  • изменен
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,...
  • №70
  • 6,84 МБ
  • добавлен
  • изменен
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...
  • №71
  • 12,26 МБ
  • добавлен
  • изменен
K Pеters, 2005. — 896 p. — ISBN: 1568812620 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...
  • №72
  • 15,05 МБ
  • добавлен
  • изменен
AK Pеters, 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...
  • №73
  • 6,61 МБ
  • добавлен
  • изменен
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...
  • №74
  • 5,06 МБ
  • добавлен
  • изменен
New York: Cambridge University Press, 2009. — 279 p. 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 will develop an arsenal of...
  • №75
  • 1,54 МБ
  • добавлен
  • изменен
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,...
  • №76
  • 2,13 МБ
  • добавлен
  • изменен
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 philosophical...
  • №77
  • 7,38 МБ
  • добавлен
  • изменен
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 philosophical...
  • №78
  • 7,42 МБ
  • добавлен
  • изменен
Cambridge University Press, 2016. — 276 p. — (Lecture Notes in Logic 22) — ISBN-10 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; others...
  • №79
  • 3,82 МБ
  • добавлен
  • изменен
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...
  • №80
  • 5,91 МБ
  • добавлен
  • изменен
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...
  • №81
  • 3,48 МБ
  • добавлен
  • изменен
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...
  • №82
  • 2,74 МБ
  • добавлен
  • изменен
Cambridge University Press, 2011. — 256 pp. 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 the nature of the infinite? What is the significance of...
  • №83
  • 1,21 МБ
  • добавлен
  • изменен
Издательство 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...
  • №84
  • 4,75 МБ
  • добавлен
  • изменен
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 used...
  • №85
  • 2,65 МБ
  • добавлен
  • изменен
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...
  • №86
  • 1,11 МБ
  • добавлен
  • изменен
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...
  • №87
  • 13,70 МБ
  • добавлен
  • изменен
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...
  • №88
  • 17,59 МБ
  • добавлен
  • изменен
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...
  • №89
  • 1,71 МБ
  • добавлен
  • изменен
Copyright 1979 by Barren's Educational Series. This book was intended for students who plan to study in the humanities and in the social and management sciences. Students interested in the physical and natural sciences, however, might also find its study rewarding. All that is presupposed is some high school algebra. The authors strongly urge that the topics be studied in the...
  • №90
  • 984,18 КБ
  • дата добавления неизвестна
  • изменен
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...
  • №91
  • 32,08 МБ
  • добавлен
  • изменен
2nd ed. — Dover Publications, Inc., 2000. — 543 p. — ISBN 10 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 articles...
  • №92
  • 29,04 МБ
  • добавлен
  • изменен
Издательство 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...
  • №93
  • 1,21 МБ
  • добавлен
  • изменен
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 some...
  • №94
  • 2,11 МБ
  • добавлен
  • изменен
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...
  • №95
  • 13,49 МБ
  • добавлен
  • изменен
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...
  • №96
  • 1,28 МБ
  • добавлен
  • изменен
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 affairs. 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 deals...
  • №97
  • 811,03 КБ
  • добавлен
  • изменен
Ottawa: Carleton University, 2017. - 251 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 has...
  • №98
  • 1,25 МБ
  • добавлен
  • изменен
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...
  • №99
  • 23,84 МБ
  • добавлен
  • изменен
Cambridge University Press, 2016. — 187 p. — (Lecture Notes in Logic). — ISBN 10 1107181933. — ISBN 13 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...
  • №100
  • 2,86 МБ
  • добавлен
  • изменен
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...
  • №101
  • 2,95 МБ
  • добавлен
  • изменен
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...
  • №102
  • 10,39 МБ
  • дата добавления неизвестна
  • изменен
New York: CRC Press, 2015 — 472 pages. 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 computability. The text also discusses the major results of Gödel, Church,...
  • №103
  • 9,99 МБ
  • добавлен
  • изменен
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...
  • №104
  • 1,14 МБ
  • добавлен
  • изменен
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...
  • №105
  • 1,62 МБ
  • добавлен
  • изменен
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 the...
  • №106
  • 3,13 МБ
  • добавлен
  • изменен
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....
  • №107
  • 3,63 МБ
  • добавлен
  • изменен
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....
  • №108
  • 18,13 МБ
  • добавлен
  • изменен
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...
  • №109
  • 1,50 МБ
  • добавлен
  • изменен
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 introduction...
  • №110
  • 2,13 МБ
  • добавлен
  • изменен
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...
  • №111
  • 3,60 МБ
  • добавлен
  • изменен
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...
  • №112
  • 2,97 МБ
  • добавлен
  • изменен
New York: New York University Press, 2001. — 153 p. Edited and with a new foreword by Douglas R. Hofstadter 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 mathematics and logic. Gödel...
  • №113
  • 412,45 КБ
  • добавлен
  • изменен
Издательство Springer, 1997, -248 pp. 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....
  • №114
  • 8,28 МБ
  • добавлен
  • изменен
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...
  • №115
  • 3,80 МБ
  • добавлен
  • изменен
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...
  • №116
  • 2,16 МБ
  • добавлен
  • изменен
Издательство 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...
  • №117
  • 1,40 МБ
  • добавлен
  • изменен
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...
  • №118
  • 1,47 МБ
  • добавлен
  • изменен
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 logic...
  • №119
  • 2,68 МБ
  • добавлен
  • изменен
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...
  • №120
  • 1,50 МБ
  • добавлен
  • изменен
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 global...
  • №121
  • 17,00 МБ
  • добавлен
  • изменен
Riga: University of Latvia, 2015. — 258 p. References. 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).
  • №122
  • 1,45 МБ
  • добавлен
  • изменен
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 it...
  • №123
  • 3,12 МБ
  • добавлен
  • изменен
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...
  • №124
  • 12,69 МБ
  • добавлен
  • изменен
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...
  • №125
  • 2,44 МБ
  • дата добавления неизвестна
  • изменен
2009. — 131 p. Introduction 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 Bibliography Index of Terms and Names Index of Symbols
  • №126
  • 1,47 МБ
  • добавлен
  • изменен
Издательство Springer, 2013, -127 pp. 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...
  • №127
  • 773,82 КБ
  • добавлен
  • изменен
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...
  • №128
  • 12,44 МБ
  • добавлен
  • изменен
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...
  • №129
  • 15,36 МБ
  • добавлен
  • изменен
N.-Y.: McGrow-Hill, 1953. - 544p. 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...
  • №130
  • 4,48 МБ
  • добавлен
  • изменен
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...
  • №131
  • 8,35 МБ
  • добавлен
  • изменен
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.
  • №132
  • 35,39 МБ
  • дата добавления неизвестна
  • изменен
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....
  • №133
  • 3,55 МБ
  • добавлен
  • изменен
Издательство Springer, 1997, -248 pp. 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...
  • №134
  • 5,06 МБ
  • добавлен
  • изменен
Cambridge: Cambridge University Press, 2010. — 582 p. 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, linguistics, decision aid, and ranking to machine learning and spatial reasoning. Although...
  • №135
  • 4,12 МБ
  • добавлен
  • изменен
Издательство Birkhäuser, 2008, -171 pp. 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...
  • №136
  • 2,31 МБ
  • добавлен
  • изменен
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...
  • №137
  • 2,40 МБ
  • добавлен
  • изменен
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 the...
  • №138
  • 17,07 МБ
  • добавлен
  • изменен
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 fifth...
  • №139
  • 39,17 МБ
  • добавлен
  • изменен
AK Pеters/CRС Prеss, 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...
  • №140
  • 4,59 МБ
  • добавлен
  • изменен
USA.: The Pennsylvania State University. 2000. - 77p. English. Хорошо составленный курс лекций по математической логике (на английском языке), читаемый автором в университете штата Пенсильвания, США. Содержит: 1. Исчисление высказываний: теоремы полноты и компактности в них; 2. Исчисление предикатов: теоремы полноты и компактности в них; 3. Теория доказательств: система...
  • №141
  • 769,48 КБ
  • добавлен
  • изменен
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...
  • №142
  • 5,56 МБ
  • добавлен
  • изменен
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 for...
  • №143
  • 907,25 КБ
  • добавлен
  • изменен
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...
  • №144
  • 1,24 МБ
  • добавлен
  • изменен
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...
  • №145
  • 10,92 МБ
  • добавлен
  • изменен
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...
  • №146
  • 3,64 МБ
  • добавлен
  • изменен
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...
  • №147
  • 8,31 МБ
  • добавлен
  • изменен
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...
  • №148
  • 5,34 МБ
  • добавлен
  • изменен
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...
  • №149
  • 7,03 МБ
  • дата добавления неизвестна
  • изменен
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...
  • №150
  • 4,45 МБ
  • добавлен
  • изменен
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.
  • №151
  • 890,44 КБ
  • добавлен
  • изменен
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...
  • №152
  • 1,10 МБ
  • добавлен
  • изменен
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...
  • №153
  • 624,09 КБ
  • добавлен
  • изменен
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...
  • №154
  • 24,12 МБ
  • дата добавления неизвестна
  • изменен
AK Peters Ltd., 2010, 193 p. 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 that the results of Cantor and...
  • №155
  • 1,19 МБ
  • добавлен
  • изменен
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...
  • №156
  • 2,81 МБ
  • добавлен
  • изменен
Taylor & Francis, 2014. — 414 p. Introduction. The need for proof. The language of mathematics. Reasoning. Deductive reasoning and truth. Example proofs. Logic and Reasoning. Introduction. Propositions, connectives, and truth tables. Logical equivalence and logical implication. Predicates and quantification. Logical reasoning. Sets and Functions. Introduction....
  • №157
  • 1,97 МБ
  • добавлен
  • изменен
Cambridge University Press, UK, 2003. — 342 p. (Cambridge Studies in Advanced Mathematics 82) — ISBN-13 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. The...
  • №158
  • 1,66 МБ
  • добавлен
  • изменен
Wiley, 2008. — 320 p. — ISBN-10: 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...
  • №159
  • 4,08 МБ
  • добавлен
  • изменен
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 proofnets....
  • №160
  • 5,72 МБ
  • добавлен
  • изменен
Издательство Cambridge University Press, 1996, -353 pp. 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...
  • №161
  • 4,79 МБ
  • добавлен
  • изменен
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. Contents: Computability and Ordinal Logics On Computable Numbers, with an Application to the Entscheidungsproblem // P. Lond. Math. Soc....
  • №162
  • 2,28 МБ
  • добавлен
  • изменен
Данная программа служит эмулятором машины Тьюринга. На вход подаются данные и машина, используя три операции "влево", "вправо" и "заменить символ", выполняет всяческие операции по изменению строки или числовых данных. Для работы требуется NetFraimwork 2.0
  • №163
  • 72,07 КБ
  • добавлен
  • изменен
Springer, 2013. — 266 p. — 5th ed. — 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 easy-to-read style using...
  • №164
  • 2,21 МБ
  • добавлен
  • изменен
Cambridge: Cambridge University Press, 2006. - 398 p. Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman’s successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. The book begins...
  • №165
  • 2,12 МБ
  • добавлен
  • изменен
Singapore: World Scientific, 2017. — 302 p. Contents : 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...
  • №166
  • 6,94 МБ
  • добавлен
  • изменен
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...
  • №167
  • 3,95 МБ
  • добавлен
  • изменен
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 pozorom...
  • №168
  • 3,05 МБ
  • добавлен
  • изменен
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...
  • №169
  • 2,12 МБ
  • добавлен
  • изменен
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...
  • №170
  • 2,27 МБ
  • добавлен
  • изменен
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...
  • №171
  • 4,83 МБ
  • добавлен
  • изменен
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...
  • №172
  • 4,50 МБ
  • добавлен
  • изменен
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...
  • №173
  • 20,71 МБ
  • добавлен
  • изменен
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.
  • №174
  • 3,54 МБ
  • добавлен
  • изменен
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). Bibliography. About the Open Logic Project.
  • №175
  • 1,37 МБ
  • добавлен
  • изменен
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, such...
  • №176
  • 2,63 МБ
  • добавлен
  • изменен
Boulder: Westview Press, 2000. — 345 p. ISBN 0813390613. Учебник является введением в классическую логику высказываний и классическую логику предикатов первого порядка. Уделяется внимание как исчислениям, так и семантике (с разбором соответствующих теорем). Также обсуждается вопрос о связи логики с теорией множеств. Рассматривается проблема разрешимости. The elements....
  • №177
  • 5,69 МБ
  • добавлен
  • изменен
Учебное пособие. — М. : МАТИ, 2011. — 80 с. ISBN 978-5-93271-611-3 Учебное пособие предназначено для студентов МАТИ, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Оно ставит своей целью помочь студентам лучше усвоить...
  • №178
  • 602,04 КБ
  • добавлен
  • изменен
Петропавл: М. Қозыбаев ат. СҚМУ, 2011. – 90 б. Оқу-әдістемелік құрал математикалық логика және дискретті математиканың әртүрлі бөлімдері бойынша құрастырылған тест тапсырмаларынан тұрады және оқудың кредиттік және қашықтық оқыту түрлерінде аралық, қорытынды бақылауларды өткізу кезінде, әрі студенттердің өз білімін тексеру мақсатында қолдануға болады. «Математика», «Информатика»,...
  • №179
  • 558,13 КБ
  • добавлен
  • изменен
Краткий конспект. — Новосибирск: мех.- математический ф-т НГУ, 2012. — 29 с. Содержание: Исчисление высказываний Теория множеств Язык исчисления предикатов и его семантика
  • №180
  • 392,26 КБ
  • добавлен
  • изменен
Краткий конспект, часть II. — Новосибирск: мех.- математический ф-т НГУ, 2012. — 24 с. Содержание: Секвенциональное исчисление предикатов с равенством (СИПР) Исчисление высказываний гильберовского типа Теория алгоритмов Неразрешимость арифметики и теорема Гёделя о неполноте Часть I курса находится по адресу /file/2194303/
  • №181
  • 346,33 КБ
  • добавлен
  • изменен
Учебное пособие, определения и формулировки. — Новосибирск: НГУ, 2014. — 32 с. Содержание: Исчисление высказываний Теория множеств Язык исчисления предикатов и его семантика
  • №182
  • 384,63 КБ
  • добавлен
  • изменен
Учебное пособие. М.: МИФИ, 2003. – 199 с. В настоящем учебном пособии изложены основы теории двоичных функций, исчисления предикатов, теории моделей, элементов теории алгоритмов и теории сложности вычислительных задач. Книга предназначена для студентов, специализирующихся в областях, связанных с информационной безопасностью, а также для преподавателей дискретной математики. В...
  • №183
  • 948,60 КБ
  • добавлен
  • изменен
Пермь: Пермский государственный национальный исследовательский университет, 2017. — 111 с. — ISBN 978-5-7944-2904-6. Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания...
  • №184
  • 25,73 МБ
  • добавлен
  • изменен
Навчальний посібник . - Львів: Львівський національний університет імені Івана Франка, 2007. - 152. Метою даної книжки є виклад базових тем математичної логіки, до входять до програм цього курсу для студентів механико-математичних факультетів університетів у зручній для сприйняття формі. Зміст: Розділ I. Семіотика, логічні мови і алгебра висловлень. Семіотика і загальна...
  • №185
  • 764,75 КБ
  • добавлен
  • изменен
Учеб. пособие. — 2-е изд. – СПб.: СЗТУ, 2003. – 104 с. Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 -"Информатика и вычислительная техника" (Специальность 220100 - "Вычислительные машины, комплексы, системы и сети") и направления подготовки...
  • №186
  • 1,05 МБ
  • дата добавления неизвестна
  • изменен
Киров: Вятский социально-экономический институт (ВСЭИ), 2010. – 14 с. Цель курса: формирование знаний и представлений о понятиях и методах математической логики, ее месте и роли в науке, современной математике и в школьном курсе математики. Задачи курса: - заложить основы логики и исчисления высказываний и предикатов; - дать представление о формальных математических...
  • №187
  • 80,36 КБ
  • добавлен
  • изменен
Учебно–методический комплекс и рабочая учебная программа для студентов специальности 080801 "Прикладная информатика (в экономике)". М.: МИИТ, 2011. – 21 с. Комплекс позволит: знать определение предиката, уметь находить область определения и множество истинности предиката; знать правила построения предикатов; иметь представление об основных понятиях математической логики;...
  • №188
  • 40,04 КБ
  • добавлен
  • изменен
М.: Мир, 1985. - 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский...
  • №189
  • 5,03 МБ
  • дата добавления неизвестна
  • изменен
М.: Мир, 1985. — 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский...
  • №190
  • 15,89 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — Ярославль: ЯрГУ, 2013. — 139 с. — ISBN 978-5-8397-0908-9. Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям,...
  • №191
  • 19,21 МБ
  • добавлен
  • изменен
М.: Изд-во иностранной литературы, 1961. — 260 с. Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор...
  • №192
  • 7,89 МБ
  • добавлен
  • изменен
М.: Изд-во иностранной литературы, 1961. — 260 с. Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор...
  • №193
  • 1,98 МБ
  • дата добавления неизвестна
  • изменен
Бирск: 2015. — 136 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
  • №194
  • 1,76 МБ
  • добавлен
  • изменен
Бирск: Бирский фил. БашГУ, 2015. — 136 с. — ISBN 978-5-86607-475-4. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено...
  • №195
  • 877,94 КБ
  • добавлен
  • изменен
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2005. - 34 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов» Приводятся основные понятия и утверждения логики высказываний и предикатов. В логике высказываний даются основные методы построения вывода. В логике предикатов вводятся нормальные формы описания предметной области и получение вывода с помощью метода...
  • №196
  • 86,61 КБ
  • добавлен
  • изменен
Самара: ПГУТИ, 2017. - 214 с. Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки «Информационные системы и технологии», а также для студентов и...
  • №197
  • 2,76 МБ
  • добавлен
  • изменен
Казань, 2003. 58 с. Курс лекций по логической семантике, прочитанный в Казанском университете в 2003 г. Содержит элементарное изложение методов, средств и проблем описания семантики естественных языков. Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка. Формальная семантика. Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой....
  • №198
  • 2,73 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — М.: КомКнига, 2006. — 208 с. — ISBN 5-484-00463-2. Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью....
  • №199
  • 2,03 МБ
  • дата добавления неизвестна
  • изменен
М.: Наука, 1976. — 308 с. В сборнике представлены статьи по аксиоматической теории множеств, теории моделей, дескриптивной теории множеств, арифметике второго порядка, нестандартным моделям арифметики, логике предикатов высших ступеней, а также по многозначным, модальным и другим неклассическим логикам. Кановей В. Г. Определимость с помощью степеней конструктивности...
  • №200
  • 16,15 МБ
  • добавлен
  • изменен
СПбГУ, СПб, 2010, составлены самим лектором Братчиковым И.Л. Конспект-учебник имеет следующую структуру: Введение Основы математической логики Силлогизмы Аристотеля Исчисление высказываний Формулы исчисления высказываний Интерпретация формул исчисления высказываний Семантические деревья и алгоритм Куайна Теорема об общезначимости Эквивалентные преобразования в исчислении...
  • №201
  • 1,53 МБ
  • добавлен
  • изменен
2-е переработанное издание. — Ленинград: Издательство Ленинградского университета, 1972. — 64 с. Работа представляет собой учебно-методическое пособие для заочников по разделу «Символическая логика» из курса формальной логики, читаемого на философском факультете ЛГУ. В ней излагается круг вопросов, связанных с так называемым классическим исчислением высказываний, и даются краткие...
  • №202
  • 150,00 МБ
  • дата добавления неизвестна
  • изменен
М.: Фонд "Новое тысячелетие", 1998. — 136 с. Систематическое содержательное исследование фундаментальных в информатике булевой и аристотелевой систем отображения неколичественных взаимосвязей. Рассмотрены методы анализа заданных в дискретном универсуме ситуаций. Выявлена сущность основных взаимосвязей — совместимости, несовместимости, несоисключённости, комплементарности,...
  • №203
  • 9,18 МБ
  • добавлен
  • изменен
М.: Фонд "Новое тысячелетие", 1994. — 176 с. Неформальное исследование оснований и инструментария информатики как науки о символьных системах отображения. Выявлена сущность булевой алгебры и её расширений в пределах трёхзначной логики Лукасевича. Средствами алгебры множеств и диаграмм Кэррола прояснена сущность модальностей, актуального следования и силлогистики. Предназначено...
  • №204
  • 2,05 МБ
  • добавлен
  • изменен
Пер с англ. В.А. Душского, Е.Ю. Ногиной. — Под ред. С.Н. Артемова. — М.: Мир, 1994. — 396 с.: ил. — ISBN 5-03-003067-0. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической...
  • №205
  • 17,48 МБ
  • дата добавления неизвестна
  • изменен
Пер. с англ. - М.: Мир, 1994. - 396 с., ил. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о...
  • №206
  • 9,81 МБ
  • дата добавления неизвестна
  • изменен
Электронное издание. — М.: МЦНМО, 2015. — 360 с. — ISBN 978-5-4439-2401-4. В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр и абелевых групп, теорема Кейслера—Шелаха об...
  • №207
  • 1,86 МБ
  • добавлен
  • изменен
Учебно-методическое пособие для студентов физико-математических факультетов педвузов. Тобольск, 2010. – 186 c. Рекомендовано УМО по математике педвузов Волго-Вятского региона в качестве учебного пособия для студентов физико-математических специальностей высших учебных заведений. Учебно-методическое пособие представляет конспект курса лекций по математической логике,...
  • №208
  • 1,69 МБ
  • дата добавления неизвестна
  • изменен
Лекции для 1-го курса мехмата МГУ. Логика высказываний: высказывания и операции, полные системы связок. Исчисление высказываний, интуиционистская пропозициональная логика. Языки первого порядка: формулы и интерпретации, определение истинности, выразимые и невыразимые предикаты, автоморфизмы, элиминация кванторов. Исчисление предикатов: общезначимые формулы,...
  • №209
  • 468,87 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие для вузов. — М.: МЦНМО. 1999. — 124 с. — ISBN: 5-900916-36-7. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение...
  • №210
  • 329,41 КБ
  • дата добавления неизвестна
  • изменен
М.: МЦНМО, 2002 г. - 128 с. 150 задач различной трудности. По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Содержание: Множества и мощности. Множества. Число элементов. Равномощные множества. Счётные множества. Теорема...
  • №211
  • 907,47 КБ
  • дата добавления неизвестна
  • изменен
4-е изд., доп. — М.: МЦНМО, 2012. — 112 c. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех...
  • №212
  • 987,61 КБ
  • добавлен
  • изменен
Учебное пособие для вузов. — М.: МЦНМО. 1999. — 124 с. — ISBN: 5-900916-36-7. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических...
  • №213
  • 1,37 МБ
  • добавлен
  • изменен
М.: МЦНМО, 2002. — 128 с. — ISBN 5-900916-36-7. 150 задач различной трудности. По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Содержание: Множества и мощности. Множества. Число элементов. Равномощные множества. Счётные множества. Теорема...
  • №214
  • 11,76 МБ
  • добавлен
  • изменен
4-е изд., доп. — М.: МЦНМО, 2012. — 112 c. — ISBN 978-5-4439-0012-4. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ,...
  • №215
  • 835,57 КБ
  • добавлен
  • изменен
Учебное пособие для вузов. — М.: МЦНМО, 2000. — 291 с. — ISBN: 5-900916-39-1. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала...
  • №216
  • 3,25 МБ
  • добавлен
  • изменен
4-е изд., испр. — М.: МЦНМО, 2012. — 240 c. — ISBN 978-5-4439-0013-1. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории...
  • №217
  • 1,72 МБ
  • добавлен
  • изменен
4-е изд., испр. — М.: МЦНМО, 2012. — 240 c. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказыаний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение...
  • №218
  • 1,57 МБ
  • добавлен
  • изменен
Москва: МЦНМО, 2002. - 288 с. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на...
  • №219
  • 1,59 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие для вузов. — М.: МЦНМО, 2000. — 291 с. — ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний,...
  • №220
  • 772,51 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие для вузов. — М.: МЦНМО, 1999. — 177 с. — ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и...
  • №221
  • 464,16 КБ
  • дата добавления неизвестна
  • изменен
4-е изд., исправленное. — М.: МЦНМО, 2012. — 160 c. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке,...
  • №222
  • 1,26 МБ
  • добавлен
  • изменен
Учебное пособие для вузов. — М.: МЦНМО, 1999. — 177 с. — ISBN: 5-900916-39-1. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о...
  • №223
  • 1,92 МБ
  • добавлен
  • изменен
4-е изд., исправленное. — М.: МЦНМО, 2012. — 160 c. — ISBN 978-5-4439-0014-8. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о...
  • №224
  • 1,14 МБ
  • добавлен
  • изменен
2-е изд., испр. — М.: ИНТУИТ, 2016. — 170 с. Скан. Курс написан по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В нем рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке,...
  • №225
  • 1,38 МБ
  • добавлен
  • изменен
Лекция с анимацией. Высказывания. Операции над высказываниями. Тавтологии. Теоремы. Предикаты. Множества, операции над ними. Отношения между множествами. Анимация переключательной схемы. Знакомство с системой Mathematica. Ее применение для проверки истинности высказываний и выполнения операций над ними, для решения простых задач теории множеств.
  • №226
  • 368,49 КБ
  • добавлен
  • изменен
Москва: Изд-во МИФИ, 2007. — 306 с. Изложен основной круг задач, сводимых к исчислению объектов - от простого к сложному. Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и λ-исчисления. Все задачи снабжены подробными и...
  • №227
  • 1,43 МБ
  • добавлен
  • изменен
Учебно-практ. пособие. – Комсомольск-на-Амуре: Государственное образовательное учреждение высшего профессионального образования «Комсомольский-на-Амуре гос. техн. ун-т», 2003. – 61 с. Данное пособие является методической основой для самостоятельного изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними;...
  • №228
  • 1,01 МБ
  • добавлен
  • изменен
Казань: Издательство КГТУ им. А. Н. Туполева, 2002. - 270 с. Пособие содержит следующие разделы: Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики....
  • №229
  • 1,27 МБ
  • добавлен
  • изменен
Учебное пособие. — Казань: Изд-во Казан. гос. техн. ун-та им. А.Н. Туполева, 2002. — 270 с.: ил. — ISBN 5-93629-031-X. Пособие содержит следующие разделы. Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и...
  • №230
  • 7,14 МБ
  • дата добавления неизвестна
  • изменен
Учебно-методическое пособие. - Таганрог: Изд-во ТРТУ, 2003. - 65 с. В настоящем пособии изложены основные законы и теоремы математической логики, лежащей в основе современной теории алгоритмов, а также задачи по теории множеств. Пособие предназначено для изучения лекционных курсов "Математическая логика и теория алгоритмов" студентам специальности 07500. Подготовлено на кафедре...
  • №231
  • 855,08 КБ
  • дата добавления неизвестна
  • изменен
Саратов: Изд-во СГУ, 1999. - 76 с. Данное учебное пособие представляет собой курс лекций, которые автор читает на механико-математическом факультете Саратовского государственного университета, начиная с 1993 года. Содержание курса составили два раздела математической логики: исчисления и алгоритмы. Подбор материала лекций определялся задачей развития у слушателей навыков...
  • №232
  • 761,91 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие, издание третье, исправленное и дополненное. — СПб.: Лема, 2011. — 284 с. Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны языки логики высказываний и логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные...
  • №233
  • 2,39 МБ
  • добавлен
  • изменен
Учебное пособие. — 4-е изд., перераб. и доп. — СПб.: Лань, 2014. — 416 c. — (Учебники для вузов. Специальная литература). — ISBN 978-5-8114-1666-0. Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления...
  • №234
  • 2,27 МБ
  • добавлен
  • изменен
Учебно—методическое пособие. — Минск: БГУИР, 2012. — 124 с. Пособие посвящено теоретико—прикладным проблемам неклассических логик. Рассматриваются вопросы представления знаний, построения машин вывода для моделей знаний, использующих неклассические логические формализации. Описаны вопросы, связанные с мотивацией введения многозначных логических исчислений из-за логических...
  • №235
  • 6,35 МБ
  • добавлен
  • изменен
Учебно-методическое пособие. — Екатеринбург: УрГУПС, 2017. — 85 с. Учебно-методическое пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов электротехнического факультета направления подготовки 10.03.01 – «Информационная безопасность». Содержит подробные лекции с...
  • №236
  • 1,94 МБ
  • добавлен
  • изменен
2-е изд. — М.: Государственное издательство иностранной литературы, 1947. — 306 с. +OCR, Оглавление. Перевод руководства по элементам математической логики Д.Гильберта и В.Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д.Гильберта и написана его учеником Аккерманом....
  • №237
  • 4,44 МБ
  • добавлен
  • изменен
2-е изд. — М.: Государственное издательство иностранной литературы, 1947. — 306 с. Текстовый слой, оглавление. Перевод руководства по элементам математической логики Д.Гильберта и В.Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д.Гильберта и написана его учеником Аккерманом....
  • №238
  • 17,39 МБ
  • добавлен
  • изменен
Перевод с немецкого. — Монография. — М.: Наука, 1979. — 557 с. — (Математическая логика и основания математики). Предисловие редактора русского перевода Предисловие ко второму изданию Предисловие Гильберта к первому изданию Предисловие к первому изданию Проблема непротиворечивости в аксиоматических исcледованиях как логическая проблема разрешимости Формальная...
  • №239
  • 32,09 МБ
  • добавлен
  • изменен
М.: Наука; Физматлит, 1972. — 288 с.: ил. В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблемы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.
  • №240
  • 6,89 МБ
  • добавлен
  • изменен
М.: Наука; Физматлит, 1972. — 288 с.: ил. В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблемы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.
  • №241
  • 3,18 МБ
  • дата добавления неизвестна
  • изменен
М.: Изд. центр РГГУ, 1998. - 478 с. Учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей. Книга содержит много задач и упражнений.
  • №242
  • 4,83 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие, М.: 1981. - 117 с. Множества с отношениями и операциями. Алгебры высказываний и предикатов. Исчисление предикатов. Булевы функции и их обобщения. Реализация булевых функций. Элементы теории алгоритмов. Сложность алгоритмов и вычислений.
  • №243
  • 9,75 МБ
  • добавлен
  • изменен
СПб.: Лань, 2012. — 406 с. Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным...
  • №244
  • 2,54 МБ
  • добавлен
  • изменен
Курс лекций / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 103с. Содержание: Введение. Краткий экскурс в историю логических исследований. Определение пропозициональной логики. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ⊥ (абсурд)...
  • №245
  • 683,29 КБ
  • добавлен
  • изменен
НГУ. Новосибирск. 2007. - 141 с. Содержание: Модели и алгебраические системы фиксированной сигнатуры; Гильбертовское исчисление предикатов; Секвенциальное исчисление предикатов; Нормальные формы в исчислении предикатов; Непротиворечивые множества формул; Теория Хенкина; Теорема Гёделя о полноте; Аксиоматическая теория множества ZF; Арифметика Пеано; Примитивно рекурсивные функции...
  • №246
  • 7,53 МБ
  • дата добавления неизвестна
  • изменен
Новосибирск: Новосибирский государственный университет, 2006. — 157 с. В представленном пособии изложены лекции по математической логике (I часть), которые читались в Новосибирском государственном университете в 2006/07 учебном году.
  • №247
  • 595,87 КБ
  • добавлен
  • изменен
Новосибирск: Научная книга, 1996. — 364 с. — (Сибирская школа алгебры логики). Третий том учрежденной в 1995 г. Сибирским фондом алгебры логики математической книжной серии «Сибирская школа алгебры логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Существенно переработанная и...
  • №248
  • 3,56 МБ
  • дата добавления неизвестна
  • изменен
Нижний новгород, 1998. 86 с. Учебное пособие представляет запись лекций по курсу "Теория алгоритмов и математическая логика" для механико-математического факультета, обучающихся по специальности "Математика". Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории.
  • №249
  • 529,58 КБ
  • дата добавления неизвестна
  • изменен
Саратов: Изд-во Сарат. ун-та, 1969. — 87 с. Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и...
  • №250
  • 1,66 МБ
  • добавлен
  • изменен
Саратов: Изд-во Сарат. ун-та, 1969. — 87 с. Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и...
  • №251
  • 2,04 МБ
  • добавлен
  • изменен
М.: КНОРУС, 2010. — 207 c. — ISBN: 9785406001202 Пособие помогает освоить главные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с применением разных моделей, а также получить прикладные умения по пользованию методов математической логики и теории алгоритмов для решения...
  • №252
  • 11,46 МБ
  • добавлен
  • изменен
М.: ИЛ, 1961. - 162 с. Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике,...
  • №253
  • 3,68 МБ
  • дата добавления неизвестна
  • изменен
М.: Наука, Физматлит, 1970. — 472 с. — (Математическая логика и основания математики). Оглавление Вступительная статья Рекурсивная теория чисел. Определение по рекурсии. Исчисление равенств. Логические константы. Основные теоремы арифметики. Формализация примитивно рекурсивной арифметики. Сведения к примитивной рекурсии. Устранение параметров. Гёделевская нумерация и неполнота...
  • №254
  • 4,99 МБ
  • добавлен
  • изменен
М.: Наука, Физматлит, 1970. — 472 с. — (Математическая логика и основания математики). Рекурсивная теория чисел. Определение по рекурсии. Исчисление равенств. Логические константы. Основные теоремы арифметики. Формализация примитивно рекурсивной арифметики. Сведения к примитивной рекурсии. Устранение параметров. Гёделевская нумерация и неполнота арифметики. Рекурсивный...
  • №255
  • 8,47 МБ
  • добавлен
  • изменен
М.: Издательский отдел факультета ВМиК им. М. В. Ломоносова (лицензия ИД  05899 от 24.09.2001 г.); МАКС Пресс, 2012. - 134 с. Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Классическая алгебра логики. Алгебра высказываний. Бинарные отношения на множестве формул....
  • №256
  • 885,70 КБ
  • добавлен
  • изменен
Учебное пособие. — М.: Издательство Московского государственного горного университета, 2006. — 262 с : ил. — ISBN 5-7418-0451-9 (918-5-7418-0451-3). Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков;...
  • №257
  • 2,66 МБ
  • добавлен
  • изменен
Учебное пособие. — Омск: Наследие. Диалог-Сибирь, 2003 г. — 107 с. Омский гос. ун-т. Кафедра кибернетики. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского государственного университета в 2002 году. Для студентов,...
  • №258
  • 1,21 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — Омск: Наследие. Диалог-Сибирь, 2003. — 108 с. — ISBN 5-8239-0126-7. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского гос. университета в 2002 г. Для студентов специальностей 075200 - "Компьютерная...
  • №259
  • 867,40 КБ
  • дата добавления неизвестна
  • изменен
М.: Изд-во МИР, 1980, - 236 с. Книга посвящена актуальному, но совершенно недостаточно освещенному в монографической литературе разделу математической логики - теории нестандартных моделей математического анализа. Этот раздел представляет фундаментальный общематематический интерес, так как позволяет по-новому взглянуть на логические основы анализа, заложенные еще Лейбницем и...
  • №260
  • 2,13 МБ
  • добавлен
  • изменен
Рос. акад. наук, Ин-т философии. — М. : Институт философии РАН, 2011. — 108 с. — ISBN 978-5-9540-0203-4. Монография посвящена исследованию свойств трехзначных семантик для классической логики высказываний. Автором полностью описан трехзначных импликативно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним...
  • №261
  • 1,96 МБ
  • добавлен
  • изменен
Ленинград: Знание, 1963. — 57 с. Учебное пособие, для тех, кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики.
  • №262
  • 1,28 МБ
  • дата добавления неизвестна
  • изменен
Ленинград: Знание, 1963. — 57 с. Учебное пособие, для тех, кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики.
  • №263
  • 2,54 МБ
  • добавлен
  • изменен
2-е изд., испр. — Л.: Знание; Ленинградская организация, 1965. — 59 с. Из истории математической логики. Знакомство с математической логикой. Начальные идеи алгебры логики. Правила обычной алгебры. Алгебра высказываний. Некоторые особенности алгебры высказываний. Физическое истолкование сложения и умножения в алгебре логики. Решение логических уравнений. Напоминание...
  • №264
  • 1,32 МБ
  • добавлен
  • изменен
2-е изд., испр. — Л.: Знание. Ленинградская организация, 1965. — 59 с. Математическая логика — эти слова все чаще можно услышать в разговорной речи, увидеть в газетных и журнальных статьях. Их употребляют не только ученые, инженеры и техники, машиностроители и учителя. Человек издавна стремился к созданию приборов и машин, которые выполняли бы за него не только физическую,...
  • №265
  • 3,14 МБ
  • добавлен
  • изменен
Доксиадис А., Пападимитриу X. Логикомикс. Поиски истины. [пер. с англ. С. Чернышов]. М.: Карьера Пресс, 2014. - 336 с. ISBN Я72 -5-Я04Я4 Ь-70-2 Самая уникальная графическая история всех времен. Главный герой графической новеллы - Бертран Рассел. Он одержим великой Миссией - установить незыблемые логические основания математики. На пути поисков абсолютной правды он должен...
  • №266
  • 143,26 МБ
  • добавлен
  • изменен
Оқулық. — Алматы: Дәуір, 2011. — 211 бет. Оқулық мазмұны Қазақстан Республикасында қабылданған математикалық логика пәні бойынша стандартқа сәйкес келеді және университеттердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз. Оқу құралы теориялық материалдармен бірге,...
  • №267
  • 2,92 МБ
  • добавлен
  • изменен
Одеса: Одеський національний університет імені І. І. Мечникова, 2014. – 100 с. Настоящее методическое пособие предназначено для студентов младших курсов. В нем рассмотрены элементы алгебры высказываний и логики предикатов, позволяющие студентам І курса получить представление о правильных формах рассуждений и о правильности самих рассуждений. Введение Высказывания....
  • №268
  • 1,96 МБ
  • добавлен
  • изменен
К.: Київський університет імені Т. Шевченка, 2003. - 96 с. Учебник создан за материалами курса математической логики, который преподается в Киевском университете имени Тараса Шевченка. Этот курс играет огромную роль в формировании математического мышления и понимания построения математики как науки. Разделы учебника: Логика высказываний, Логика отношений, Формальная математика.
  • №269
  • 664,47 КБ
  • дата добавления неизвестна
  • изменен
Ярославль, Ярославский государственный университет, 1978. -117 с. Настоящее учебное пособие предназначено для студентов 1го курса университета. Оно может служить введением в теорию множеств и математическую логику. В первой части пособия излагаются основные элементарные понятия и теоремы теории множеств, большое внимание уделяется аксиоме выбора.
  • №270
  • 11,03 МБ
  • дата добавления неизвестна
  • изменен
СПб.: Санкт-Петербургский государственный экономический университет, 2018. — 67 с. — ISBN 978-5-7310-4245-1. В учебном пособии излагаются некоторые основные и дополнительные теоретические положения курса математической логики, рассматриваются задачи и приводятся их решения с объяснениями. Предназначено для студентов 2 курса дневного отделения, проходящих обучение по направлению...
  • №271
  • 1,05 МБ
  • добавлен
  • изменен
Учебное пособие. — Челябинск: Издательский центр ЮУрГУ, 2013. — 53 с. В пособии рассматриваются вопросы соотношения формальной логики и логики математической (сверхформальной), а также других логик и теории множеств. При этом главное внимание уделяется трем основным формам абстрактного мышления – понятиям, суждениям, умозаключениям. Для студентов направления «Информатика и...
  • №272
  • 1,12 МБ
  • добавлен
  • изменен
Новосибирск: Научная книга, 1996. — 300 с. — (Сибирская школа алгебры и логики) Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. В книге дается новое доказательство теоремы Гёделя о...
  • №273
  • 2,69 МБ
  • добавлен
  • изменен
Новосибирск: Научная книга, 1995. — 78 с. — ISBN 5-88119-003-3. Изложены необходимые для доказательства теоремы Гёделя о неполноте сведения из теории алгоритмов (рекурсивных функций) с использованием лишь теоретико-модельных (семантических) понятий. Данное пособие знакомит с элементами семантического программирования, а также может служить методическим введением в теорию рекурсии...
  • №274
  • 1,60 МБ
  • добавлен
  • изменен
М.: Наука, 1977. — 209 c. — (Математическая логика и основания математики) Книга представляет собой введение в проблематику и методы теории нумераций — развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине пятидесятых годов. Реализацией этой идеи для вычислимых...
  • №275
  • 29,58 МБ
  • добавлен
  • изменен
М.: Наука, 1977. — 416 с. — (математическая логика и основания математики). Предисловие: Книга представляет собой введение в проблематику и методы теории нумераций — развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине пятидесятых годов. Реализацией этой идеи...
  • №276
  • 3,39 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие для вузов. 2-е изд., испр. и доп. — М.: Haука, Главная редакция физ.-мат. литературы, 1987. — 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория...
  • №277
  • 5,22 МБ
  • дата добавления неизвестна
  • изменен
М.: Наука, 1987. - 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических...
  • №278
  • 11,76 МБ
  • добавлен
  • изменен
6-е изд., испр. — М.: Физматлит, 2011. — 356 с. — ISBN 978-5-9221-1301-4. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено...
  • №279
  • 2,88 МБ
  • добавлен
  • изменен
М.: ФИЗМАТЛИТ, 2011. — 356 с. 6-е изд., испр. ISBN 978-5-9221-1301-4. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это...
  • №280
  • 4,70 МБ
  • добавлен
  • изменен
Новосибирск, Новосибирский государственный университет, 1973, 160 с. Книга представляет собою учебник, содержащий весь обязательный материал по разделам: исчисление высказываний, теория множеств, теория моделей, исчисление предикатов.
  • №281
  • 14,80 МБ
  • добавлен
  • изменен
Учебное пособие. — Сыктывкар : СЛИ, 2012. — 100 с. ISBN 978-5-9239-0352-2. Пособие содержит теоретический материал и упражнения по некоторым основным темам курса математической логики и теории алгоритмов. В каждом разделе изложены базовые понятия, подробно рассмотрены разнообразные типовые примеры. В конце каждого раздела приведены задачи для самостоятельного решения. Издание...
  • №282
  • 717,64 КБ
  • добавлен
  • изменен
Учебное пособие. — М.: Контакт Плюс, 2010. — 336 с.: ил. — ISBN 978–5–86567–092–1. Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса «Дискретный анализ», читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института. Для студентов,...
  • №283
  • 1,45 МБ
  • добавлен
  • изменен
Екатеринбург: УрГУ (Мат. – Мех. фак.), 2008. - 273 с. Пособие разбито на семь глав. Оно содержит теоретический материал, подборку задач, а также ответы и указания к ряду задач и решение некоторых из них. В отличие от многих учебников по математической логике и теории алгоритмов, пособие содержит изложение метода резолюций, критерия полноты функций k-значной логики, значительный...
  • №284
  • 1,88 МБ
  • добавлен
  • изменен
Учебное пособие. — М.: РУДН, 2013. — 116 с. — ISBN 978-5209-04949 В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Предназначено для студентов I, II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов....
  • №285
  • 1,70 МБ
  • добавлен
  • изменен
М.: Российский университет дружбы народов, 2016. — 98 с. — ISBN 978-5-209-07164-8 В пособии приведен конспект лекций и практикум по дисциплине «Математическая логика и теория алгоритмов». Учебное пособие используется для подготовки студентов направлений «Бизнес-информатика», «Математика. Компьютерные науки», «Информационные технологии», «Прикладная математика и информатика» и...
  • №286
  • 750,31 КБ
  • добавлен
  • изменен
М.: Московский государственный университет технологий и управления (МГУТУ), 2004. - 36 с. Учебно–практическое пособие для студентов специальностей 2202 и 2713 всех форм обучения. В учебно–практическом пособии в кратком и систематическом виде изложены основные понятия теории множеств, математической логики и теории алгоритмов. Каждую тему заключают контрольные вопросы и тесты,...
  • №287
  • 211,09 КБ
  • дата добавления неизвестна
  • изменен
СПб: НИУ ИТМО, 2013. — 131 с. В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических...
  • №288
  • 6,37 МБ
  • добавлен
  • изменен
Томск: Издат. дом Томского госуд. ун-та, 2017. — 258 с. Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости....
  • №289
  • 4,02 МБ
  • добавлен
  • изменен
Томск: Издательский дом Томского государственного университета, 2017. — 258 с. Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории...
  • №290
  • 3,51 МБ
  • добавлен
  • изменен
Учебное пособие. — Томск: Эль Контент, 2015. — 236 с. — ISBN 978-5-4332-0197-2 Учебное пособие содержит теоретический материал, изучение которого предусмотрено программой курса «Математическая логика и теория алгоритмов» направлений подготовки бакалавров «Информатика и вычислительная техника» и «Управление в технических системах». См. также учебно-методическое пособие В.М....
  • №291
  • 2,24 МБ
  • добавлен
  • изменен
ТУСУР, 2001, 154с. Томский межвузовский центр дистанционного образования (ТУСУР). Содержание: Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.
  • №292
  • 1,73 МБ
  • дата добавления неизвестна
  • изменен
М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах:...
  • №293
  • 4,29 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — 3-е изд. — М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из...
  • №294
  • 20,19 МБ
  • добавлен
  • изменен
Учебное пособие. — М.: Инфра-М, 2016. — 399 с. + CD-R. — (Высшее образование). — ISBN 978-5-16-005204-5. Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов,...
  • №295
  • 23,46 МБ
  • добавлен
  • изменен
Учебное пособие. — М.: Инфра-М, 2016. — 399 с. + CD-R. — (Высшее образование). — ISBN 978-5-16-005204-5. Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов,...
  • №296
  • 12,97 МБ
  • добавлен
  • изменен
2-е изд., стер. — М.: Академия, 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа,...
  • №297
  • 49,37 МБ
  • добавлен
  • изменен
2-е изд., стер. — М.: Академия, 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа,...
  • №298
  • 4,31 МБ
  • добавлен
  • изменен
2-е изд., стер. — М.: Издательский центр «Академия», 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в...
  • №299
  • 6,64 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — М.: Инфра -М, 2016. — 318 с. — (Высшее образование). — ISBN 978-5-16-005205-2. Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые...
  • №300
  • 3,04 МБ
  • добавлен
  • изменен
Учебное пособие. — М.: Инфра -М, 2016. — 318 с. — (Высшее образование). — ISBN 978-5-16-005205-2. Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые...
  • №301
  • 11,56 МБ
  • добавлен
  • изменен
Пособие является курсом лекций по математической логике и предназначено для студентов математических факультетов. В первой части приведено исчисление высказываний; во второй части изучается формализованный аксиоматический метод построения математических теорий. Рассмотрены его основные составные части: язык, аксиомы, правила вывода. Приведены основные результаты, связанные с...
  • №302
  • 622,58 КБ
  • дата добавления неизвестна
  • изменен
Киев: Наукова думка, 1981. — 150 с. В монографии рассматриваются логико-грамматические особенности временных контекстов — выражений естественного языка, истинностное значение которых определимо относительно конкретного отрезка времени, в контексте речевой ситуации. Описываются основные типы семантики временной логики и различные её формализации: аксиоматическая, секвенциальная,...
  • №303
  • 3,33 МБ
  • добавлен
  • изменен
Тольятти, 2002 Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом...
  • №304
  • 1,47 МБ
  • дата добавления неизвестна
  • изменен
Тольятти, Волжский университет им. Татищева, 2002 г. - 45 стр. Содержание: Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы....
  • №305
  • 383,65 КБ
  • добавлен
  • изменен
М.: Наука, 1964. - 152 с. Качество: хорошее, текстовый слой, оглавление. Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс...
  • №306
  • 5,69 МБ
  • добавлен
  • изменен
М.: Наука, 1964. — 152 с. Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики.
  • №307
  • 2,72 МБ
  • добавлен
  • изменен
М.: Просвещение, 1978. — 89 с. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики. Содержание: Как возникла формальная и математическая...
  • №308
  • 4,36 МБ
  • добавлен
  • изменен
М.: Просвещение, 1978. - 89 с. Качество: хорошее, текстовый слой, оглавление. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики....
  • №309
  • 3,80 МБ
  • добавлен
  • изменен
М.: МГТУ им. Н.Э.Баумана, 2009, 163 с. Лекции читаются на 4-ом семестре (2-й курс) в МГТУ имени Н.Э. Баумана студентам кафедры ИУ-9, специальность "Прикладная математика и информатика". Содержание Алгебра высказываний. Введение. Алгебра логики. Тавтологии и эквивалентность формул. Функции алгебры логики Исчисление высказываний. Основные положения теории N. Правила...
  • №310
  • 9,23 МБ
  • добавлен
  • изменен
М.: ФИЗМАТЛИТ, 1984. - 65 с. Содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности. Рассматривается вопрос о том, какая из этих аксиом и в какой степени полезна в различных областях математики. Для лиц, интересующихся вопросами оснований математики, начиная со студентов-математиков первых курсов университетов и...
  • №311
  • 1,01 МБ
  • дата добавления неизвестна
  • изменен
Москва, издательство "Наука", 2000. - 317 с. В книге впервые устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения аргумента Аристотеля, их функциональные свойства имеют чисто теоретико-числовую природу. Изучение этого факта позволило дать определение понятия простого числа в логических терминах....
  • №312
  • 3,27 МБ
  • дата добавления неизвестна
  • изменен
М.: Мир, 1969. 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя...
  • №313
  • 3,78 МБ
  • дата добавления неизвестна
  • изменен
М.: Мир, 1971. — 252 с. Книга видных американских учёных Марка Каца и Станислава Улама подготовлена для выпускаемой издательством Британской энциклопедии серии обзоров, посвящённых состоянию и ближайшим перспективам развития различных наук. Особое место уделяется взаимодействию и взаимозависимости математики и других наук, обогащающих, по мнению авторов, как чистую математику, так...
  • №314
  • 3,16 МБ
  • дата добавления неизвестна
  • изменен
М.: Издательство иностранной литературы, 1957. - 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на...
  • №315
  • 10,14 МБ
  • дата добавления неизвестна
  • изменен
Перевод с английского А.С. Есенина-Вольпина. Под редакцией В.А. Успенского. — М.: Издательство иностранной литературы, 1957. — 526 с. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех,...
  • №316
  • 9,88 МБ
  • добавлен
  • изменен
М.: Мир, 1973. — 480 с. Перевод с английского Ю. А. Гастева. Под редакцией (и приложения) Г. Е. Минца. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (1957), ставшего настольной книгой для всех, кто занимается математической...
  • №317
  • 8,94 МБ
  • добавлен
  • изменен
Пер. с англ. Ю.А. Гастева. — Под ред. Г.Е. Минца. — М.: Мир, 1973. — 480 с. Имя одного из крупнейших современных специалистов в области математической логики С.К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными,...
  • №318
  • 19,53 МБ
  • дата добавления неизвестна
  • изменен
М.: Наука, Физматлит, 1978. — 271 с. — (Математическая логика и основания математики). В последние годы в связи с ростом интереса к эффективной математике большое внимание привлекают метаматематические, теоретико-модельные и семантические аспекты интуиционизма. Предлагаемая книга, написанная выдающимся американским математиком и логиком С.К.Клини в сотрудничестве с Р.Ю.Весли,...
  • №319
  • 3,53 МБ
  • добавлен
  • изменен
Учебное пособие, Москва - МГУ, 2004. 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алгоритмов (машины Тьюринга и вычислительные функции), а также основания теории множеств
  • №320
  • 7,33 МБ
  • дата добавления неизвестна
  • изменен
М:. Издательство Моск. ун-та, 1982, 120с. Игу ИМЭИ, 2 курс 3-4 семестр 010101 - Математика Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных...
  • №321
  • 1,50 МБ
  • дата добавления неизвестна
  • изменен
М:. Издательство Моск. ун-та, 1982. — 120 с. — Игу ИМЭИ, 2 курс 3-4 семестр 010101 - Математика Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных...
  • №322
  • 5,30 МБ
  • добавлен
  • изменен
М:. Издательство Моск. ун-та, 1982. — 120 с. — Игу ИМЭИ, 2 курс 3-4 семестр 010101 - Математика Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных...
  • №323
  • 3,77 МБ
  • добавлен
  • изменен
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
  • №324
  • 3,34 МБ
  • дата добавления неизвестна
  • изменен
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. А.Н....
  • №325
  • 4,46 МБ
  • добавлен
  • изменен
Учебное пособие. М.: Издательство Московского университета, 1984, - 120 с. Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте...
  • №326
  • 1,77 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. М.: Издательство Московского университета, 1984. — 120 с. Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте...
  • №327
  • 4,57 МБ
  • добавлен
  • изменен
СПб.: Санкт-Петербургский Государственный институт точной механики и оптики, 2003. – 84 с. Данное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных...
  • №328
  • 823,66 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — Л.: Изд-во Ленингр. ун-та, 1981. — 192 с. Учебное пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования. Формулируются...
  • №329
  • 3,03 МБ
  • добавлен
  • изменен
М.: Дрофа, 2013. — 416 с. Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и...
  • №330
  • 3,42 МБ
  • добавлен
  • изменен
М.: Академия, 2013. — 416 с. — ISBN 978-5-7695-9559-2. Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а...
  • №331
  • 35,05 МБ
  • добавлен
  • изменен
Учебное пособие. - Барнаул: Изд-во АлтГТУ, 2010. – 277 с. Содержание: Введение. Формальные теории. Формальные модели. Исчисление высказываний. Исчисление предикатов. Другие логические теории. Частично-рекурсивные функции. Свойства алгоритмов. Примитивно–рекурсивные функции. Оператор минимизации. Ограниченный оператор минимизации. Быстро растущие функции....
  • №332
  • 1,07 МБ
  • добавлен
  • изменен
М.: «Наука», 1968. - 253 с. Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов. В книге разбирается ряд задач, сформулированных Булем,...
  • №333
  • 4,05 МБ
  • дата добавления неизвестна
  • изменен
М.: Наука, 1968. - 253 с. Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов. В книге разбирается ряд задач, сформулированных Булем,...
  • №334
  • 11,84 МБ
  • добавлен
  • изменен
СПб.: Невский Диалект, 2001. — 128 с: ил. — ISBN 5-7940-0080-5. В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке. Установлена возможность объединения в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и...
  • №335
  • 1,13 МБ
  • добавлен
  • изменен
СПб.: Невский Диалект, 2001. — 128 с. — ISBN 5-7940-0080-5. Моделирование и анализ рассуждений на естественном языке. Объединение в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений.
  • №336
  • 20,34 МБ
  • добавлен
  • изменен
Одесса: 1909. По математической логике на русскомъ языке насколько мне известно, имеются две книги: "О способах решения логических равенств и об обратном способе математической логики" Порецкого (1884 г.) и "Логическое исчисление" Волкова (1888 г.). Первая из этих книг содержит самостоятельные исследования, которыми её автор (3 х. 1846 — 10.VIII. 1907) пополнил исследования...
  • №337
  • 1,52 МБ
  • добавлен
  • изменен
Сборник. — Москва: Лекстор, 2017. — 252 с.: ил. Льюис Кэрролл, хорошо известный как автор книг о приключениях Алисы, опубликовал немало математических работ, с некоторыми из которых мы хотим познакомить нашего читателя. Многие его достижения в области математической логики намного опередили свое время. Способность Кэрролла решать так называемые сориты (сорит по-гречески "куча") -...
  • №338
  • 1,79 МБ
  • добавлен
  • изменен
Учеб. пособие для студ. высш. учеб. заведений / И. А. Лавров; под ред. Л. Л. Максимовой. — М.: Издательский центр «Академия», 2006. — 240 с., — (Университетский учебник. Сер. Прикладная математика и информатика). - ISBN 5-7695-2735-8, Русский. Математическая логика создавалась как наука, призванная исследовать фундаментальные понятия математических наук, способы возможных...
  • №339
  • 10,18 МБ
  • добавлен
  • изменен
Учеб. пособие для студ. высш. учеб. заведений / И. А. Лавров; под ред. Л. Л. Максимовой. — М.: Академия, 2006. — 240 с. —(Университетский учебник. Сер. Прикладная математика и информатика). — ISBN 5-7695-2735-8. В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д....
  • №340
  • 2,30 МБ
  • дата добавления неизвестна
  • изменен
Новосибирск: Новосибирский Государственный университет, 1970. - 110 с. - Пособие для студентов-математиков НГУ Предисловие Теория множеств Операции над множествами Отношения и функции Специальные бинарные отношения Кардинальные числа Ординальные числа Действия над кардинальными числами Математическая логика Исчисление высказываний Алгебра высказываний Язык узкого...
  • №341
  • 3,43 МБ
  • добавлен
  • изменен
5-е изд., исправл. — М.: Физматлит, 2004. — 256 с. — ISBN 5-9221-0026-2. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены...
  • №342
  • 1,42 МБ
  • добавлен
  • изменен
3 изд. , 1995. В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения...
  • №343
  • 2,52 МБ
  • дата добавления неизвестна
  • изменен
4-е изд. — М.: Физматлит, 2004. — 256 с. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все...
  • №344
  • 1,64 МБ
  • дата добавления неизвестна
  • изменен
5-е изд., исправл. — М.: Физматлит, 2004. — 256 с. — ISBN 5-9221-0026-2. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи...
  • №345
  • 15,33 МБ
  • добавлен
  • изменен
Саратов: СГУ им. Н.Г.Чернышевского, 2007. - 21 с. Приведен материал по математической логике для профильного курса информатики в средней школе. Рассматривваются понятие алгебры логики, история логики, понятие "высказывание", таблицы истинности, логические функции, основные логические операции, законы логики, упрощение логических выражений, решение логических уравнений,...
  • №346
  • 530,54 КБ
  • добавлен
  • изменен
М.: Мир, 1968. — 128 с. Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выразил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями.
  • №347
  • 1,25 МБ
  • дата добавления неизвестна
  • изменен
М.: Мир, 1968. – 128 с. Книга посвящена идейным и формальным аспектам логики. Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями. Приводится набор задач, которые призваны привить вкус к...
  • №348
  • 3,64 МБ
  • дата добавления неизвестна
  • изменен
Пер с англ. Гастев Ю.А. — М.: Мир, 1968. — 128 с. — (Современная математика. Популярная серия). Книга посвящена идейным и формальным аспектам логики. Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими...
  • №349
  • 2,57 МБ
  • добавлен
  • изменен
Учебное пособие. — СПб.: Издательство "Лань", 1999. — 288 с. — (Серия "Учебники для вузов"). Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы.
  • №350
  • 1,59 МБ
  • дата добавления неизвестна
  • изменен
Учеб. пособие. - СПб.: Издательство "Лань". 1999, - 288 с., - (Серия "Учебники для вузов. Специальная литература"). - ISBN 5- 8114- 0082- 9, Русский. Настоящее учебное пособие "Математическая логика. Курс лекций и задачник-практикум" предназначено для студентов университетов и педагогических институтов изучающих математическую логику. Книга "Математическая логика"...
  • №351
  • 9,35 МБ
  • добавлен
  • изменен
Учебное пособие. — СПб.: Издательство "Лань", 1999. — 111 с. — (Серия "Учебники для вузов. Специальная литература"). — ISBN 5- 8114- 0082- 9. Архив содержит эту книгу, но только 2-ю часть из неё - Часть вторая: Задачник-практикум и решения (с подробными решениями) - (в 2-х форматах: PDF = 3,02 Mb & DjVu = 1,36 Mb). Это учебное пособие авторов "Математическая логика. Курс...
  • №352
  • 4,11 МБ
  • добавлен
  • изменен