Paulson L.C. Logic and Computation. Interactive Proof with Cambridge LCF

  • формат djvu
  • размер 1.5 МБ
  • добавлен 06 февраля 2012 г.
Издательство Cambridge University Press, 1987, -316 pp. Growing numbers of computer scientists recognise the importance of formal methods of system design [48]. LCF and ML are often mentioned, seldom understood. There is a wide literature, as the bibliography attests. Gordon, Milner, and Wadsworth [41] describe Edinburgh LCF, with a few remarkable examples. The present book aims to make Cambridge LCF accessible to a wide audience. Serious stude...

Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

Практикум
  • формат pdf
  • размер 3.58 МБ
  • добавлен 01 февраля 2012 г.
Наглядное пособие / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 136 слайдов. Содержание: Введение. Классическая пропозициональная логика. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки. Трансляции. Свойства некоторых расширений логики Lp. Модальные логики, нормальные...

Голованов М.И. Нестандартные логики. Реляционная семантика

  • формат pdf
  • размер 683.29 КБ
  • добавлен 01 февраля 2012 г.
Курс лекций / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 103с. Содержание: Введение. Краткий экскурс в историю логических исследований. Определение пропозициональной логики. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки : Трансляции. Свойства некоторых расширений ло...

Padawitz P. Deduction and Declarative Programming

  • формат djvu
  • размер 1.4 МБ
  • добавлен 31 января 2012 г.
Издательство 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 combination of functional (or applicative) and relational (or logic) programmi...

Chaitin G.J. The Unknowable

  • формат pdf
  • размер 527.56 КБ
  • добавлен 31 января 2012 г.
Издательство 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 danger. So I set out to explain the mathematical essence of three very...

Катаев А.В., ВолгГТУ, Минимизация ФАЛ

Практикум
  • формат docx
  • размер 252.64 КБ
  • добавлен 23 января 2012 г.
Постановка задачи минимизации функций алгебры логики. Этапы минимизации. Методы минимизации. Расчетный метод. Карты Карно. Геометрический метод. Примеры минимизации. Метод Квайна.rn

Катаев А.В., ВолгГТУ. Исчисление высказываний

Практикум
  • формат docx
  • размер 199.77 КБ
  • добавлен 23 января 2012 г.
Формальная модель высказываний. Законы построения правильных рассуждений. Исчисление высказываний, как формальная система. Проверка выводимости правильных умозаключений. Алгоритм Квайна. Правило резолюций. Алгоритм Вонга. Проблемы аксиоматического исчисления высказываний

Катаев А.В., ВолгГТУ. Алгебра логики

Практикум
  • формат docx
  • размер 102.45 КБ
  • добавлен 23 января 2012 г.
Алгебра логики. Функции алгебры логики. Таблицы истинности. Пропозициональные формулы. Равносильные формулы. Основные тождества алгебры логики. Двойственные функции. Полные системы связок. Конъюнктивные и дизъюнктивные нормальные формы. Совершенные КНФ и ДНФ. Тавтологии. Противоречия. Проблема разрешимости в алгебре логики. Логические следствия. Основные схемы доказательств.rn

Катаев А.В. ВолгГТУ. Множества

  • формат docx
  • размер 33.69 КБ
  • добавлен 23 января 2012 г.
Множества. Пустое множество. Универсальное множество. Подмножества. Собственное подмножество. Способы задания множеств. Мощность множества. Равномощные множества. Конечные и счётные множества. Операции над множествами (объединение, пересечение, дополнение, разность, симметрическая разность). Законы алгебры множеств. Характеристические функции. Декартово произведение множеств. Отношения и свойства отношений. Функции на множествах.

Turing maschine

  • формат exe
  • размер 72.07 КБ
  • добавлен 13 января 2012 г.
Данная программа служит эмулятором машины Тьюринга. На вход подаются данные и машина используя три операции влево вправо и заменить символ выполняет всяческие операции по изменению строки или числовых данных. Для работы требуется NetFraimwork 2.0rn

Битюцкий В.П., Папуловская Н.В. Математическая логика. Исчисления высказываний и предикатов

  • формат doc
  • размер 86.61 КБ
  • добавлен 06 января 2012 г.
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2005. - 34 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов» Приводятся основные понятия и утверждения логики высказываний и предикатов. В логике высказываний даются основные методы построения вывода. В логике предикатов вводятся нормальные формы описания предметной области и получение вывода с помощью метода резолюций.

Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств

  • формат pdf
  • размер 2.6 МБ
  • добавлен 06 января 2012 г.
Саратов: Изд-во Саратовского госуниверситета, 1969. - 92 с. Описание: Предлагаемый сборник задач составлен в соответствии ег программой университетского курса "Элементы математической логики и алгебры множеств". Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, ко...

Галиев Ш.И. Математическая логика и теория алгоритмов

  • формат djvu
  • размер 1.27 МБ
  • добавлен 04 января 2012 г.
Казань: Издательство КГТУ им. А. Н. Туполева, 2002. - 270 с. Пособие содержит следующие разделы: Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики. Теория алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные...

Стенюшкина В.А. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1 МБ
  • добавлен 04 января 2012 г.
Оренбург: ГОУ ОГУ, 2004. – 106 с. Пособие предназначено студентам экономических и естественнонаучных специальностей для выработки конструктивных знаний в области формальной логики и алгоритмизации.

Маркин П.М. Математическая логика

  • формат doc
  • размер 1.22 МБ
  • добавлен 04 января 2012 г.
Лекции по курсу. - Москва: РГУИТП, 2006. - 62с. Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания). Основными разделами математической логики является: логика высказываний, логика предикатов,...

Чернядьева Е.Н. Задачник по математике

  • формат doc
  • размер 598.5 КБ
  • добавлен 01 января 2012 г.
Учебное пособие. – Киров: Изд-во КИПК и ПРО, 2010. – 60 страниц. Введение. Элементы математической логики. Математические доказательства. Софизмы. Высказывания и операции над ними. Неопределенные высказывания. Кванторы. Логические задачи. Математические методы в целенаправленной деятельности. Понятие вероятности случайных событий. Случайные величины. Характеристики законов распределения. Основы математической статистики. Ответы, указания. В каждо...

Crossley J.N. What is Mathematical Logic?

  • формат djvu
  • размер 882.84 КБ
  • добавлен 22 декабря 2011 г.
C. J. Ash (Author), J. N. Crossley (Author), C. J. Brickhill (Author), J. C. Stillwell (Author), N. H. Williams (Author) 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 and discusses modern theories, including set theory, the continuum hypothesis, and other ideas.

Michael huth, Mark ryan. Logic in computer science modelling and Reasoning about Systems

  • формат pdf
  • размер 2.13 МБ
  • добавлен 22 декабря 2011 г.
Our motivation for (re)writing this book 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 computersystems fundamentally deal with a satisfaction relation M ? where M is some sort of situation or model of a system, and ? is a specification, a formula of that logic, expressing what should be true in situation M. At the heart of this set-up is th...

Dov M. Gabbay. Handbooks of logic in computer science. Volume 5

Справочник
  • формат pdf
  • размер 27.86 МБ
  • добавлен 22 декабря 2011 г.
Volume 5. Logic and Algebraic Methods. The present Volume 5 continues with logical and algebraic methodologies basic to computer science. Chapter 1 covers Martin-L0f's type theory, originally developed to clarify the foundations of constructive mathematics it now plays a major role in theoretical computer science. The second chapter covers categorial logic, the interaction area between category theory and mathematical logic. It builds on the basi...

Андрійчук В., Комарницький М., Мельник І. Елементи математичної логіки та теоріі рекурсії

  • формат pdf
  • размер 764.75 КБ
  • добавлен 21 декабря 2011 г.
Навчальний посібник. - Львів: Львівський національний університет імені Івана Франка, 2007. - 152. Метою даної книжки є виклад базових тем математичної логіки, до входять до програм цього курсу для студентів механико-математичних факультетів університетів у зручній для сприйняття формі. Зміст: Розділ I. Семіотика, логічні мови і алгебра висловлень. Семіотика і загальна фнформація про мови першого порядку. Висловлення та дії над ними. Бульові алге...

Van Benthem J.F., ter Meulen A. Handbook of Logic and Language

Справочник
  • формат pdf
  • размер 66.99 МБ
  • добавлен 21 декабря 2011 г.
Elsevier, 2011. - 1168 pages. This is an expanding field and the logical study of language is becoming more interdisciplinary playing a role in disciplines such as computer science, artificial intelligence, cognitive science and game theory. Completely revised and updated, this new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as providi...

Шевченко В.Е. Некоторые способы решения логических задач

  • формат djvu
  • размер 1.35 МБ
  • добавлен 21 декабря 2011 г.
Киев: Вища школа, 1979. - 80 с. В книге в научно-популярной форме изложены основные способы решения логических задач: здравым рассуждением, при помощи исчисления высказываний, составлением таблиц и построением графов. Пособие содержит свыше ста задач для самостоятельного решения, на которые в конце книги приведены ответы и краткие указания. Пособие рассчитано на учащихся физико-математических и средних общеобразовательных школ. Оно может быть ис...

Hedman S. A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

  • формат pdf
  • размер 6.84 МБ
  • добавлен 03 декабря 2011 г.
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, thorough and accurate style that is accessible to all the above. Covering...

Detlefsen M., McCarty D.C., Bacon J.B. Logic from A to Z

  • формат pdf
  • размер 1.1 МБ
  • добавлен 30 ноября 2011 г.
Routledge, 1999. - 128 pages. First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy. Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of. * Logic: Argument, Turing Machine, Variable. * Set and model theory: Isomorphism, Function. * Computability theory: Algor...

Ершов Ю.Л., Палютин Е.А. Математическая логика

  • формат pdf
  • размер 11.76 МБ
  • добавлен 25 ноября 2011 г.
М.: Наука, 1987. - 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

Справочник
  • формат pdf
  • размер 8.35 МБ
  • добавлен 14 ноября 2011 г.
'Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they all are connected through SAT. My personal interest in SAT stems from actual solving: The increase in power of modern SAT solvers over the past 15 years has been phenomenal. It has b...

Фролов И.С. Элементы математической логики

  • формат pdf
  • размер 859.63 КБ
  • добавлен 08 ноября 2011 г.
Самара: Изд-во Самарского государственного университета, 2001 г., 80 с. Учебное пособие написано на основе курса лекций, читаемого автором в течение ряда лет студентам-математикам. В нем рассматриваются основные понятия и вопросы, относящиеся к элементарным разделам математической логики: логические функции, нормальные формы, исчисление высказываний, формальные теории. Изложение сопровождается примерами и иллюстрациями вводимых понятий и применяе...

Nienhuys-Cheng S.-H., de Wolf R. Foundations of Inductive Logic Programming

  • формат pdf
  • размер 8.28 МБ
  • добавлен 06 ноября 2011 г.
Издательство 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. This is the first book that provides a systematic introduction to the...

Schlechta K. Nonmonotonic Logics: Basic Concepts, Results, and Techniques

  • формат pdf
  • размер 5.06 МБ
  • добавлен 06 ноября 2011 г.
Издательство 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 situations arise naturally, e.g., in the use of information of differ...

Ebbinghaus H.-D., Flum J., Thomas W. Mathematical Logic

  • формат djvu
  • размер 1.99 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 given by G?del's completeness theorem: It is possible to exhibit (in the...

Олимпиадная задача

  • формат doc
  • размер 27.5 КБ
  • добавлен 01 ноября 2011 г.
Если данное число, которое делится на 5, умножить на цифру его единиц, то получаем число, на 363 единицы больше суммы цифрам данного числа. Найти это число.

Barwise J., Etchemendy J. Language, Proof and Logic

  • формат pdf
  • размер 3.72 МБ
  • добавлен 01 ноября 2011 г.
Издательство Seven Bridges Press, 1999, -597 pp. What do the fields of astronomy, economics, finance, law, mathematics, medicine, physics, and sociology have in common? Not much in the way of subject matter, that's for sure. And not all that much in the way of methodology. What they do have in common, with each other and with many other fields, is their dependence on a certain standard of rationality. In each of these fields, it is assumed that...

Kneebone G.T. Mathematical Logic and the Foundations of Mathematics. An Introductory Survey

  • формат djvu
  • размер 4.75 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 addressed both to readers who require only a general survey of the topics...

Barwise J. (ed.) Handbook of Mathematical Logic

Справочник
  • формат djvu
  • размер 21.44 МБ
  • добавлен 01 ноября 2011 г.
Издательство Elsevier, 1977, -1165 pp. The Handbook of Mathematical Logic is an attempt to share with the entire mathematical community some modern developments in logic. We have selected from the wealth of topics available some of those which deal with the basic concerns of the subject, or are particularly important for applications to other parts of mathematics, or both. Mathematical logic is traditionally divided into four parts: model theor...

Bilanuik S. A Problem Course in Mathematical Logic

  • формат pdf
  • размер 676.29 КБ
  • добавлен 01 ноября 2011 г.
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 Incompleteness Theorems, and complexity theory through the P and NP. It co...

Smith P. Introduction to G?del's Theorems

  • формат pdf
  • размер 907.25 КБ
  • добавлен 01 ноября 2011 г.
Издательство Cambridge University Press, 2005, -173 pp. 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 the philosophy of mathematics – though just what tha...

Таланов В.А. Математическая логика и модели вычислений

  • формат djvu
  • размер 2.61 МБ
  • добавлен 28 октября 2011 г.
Учебное пособие.- Нижний Новгород: изд. ННГУ, 1994. – 118 с. В учебном пособии содержатся начала логики предикатов и теории алгоритмов. Она предназначена для студентов, обучающихся по специальности прикладная математика и информатика в рамках университетского учебного плана, содержащего курс "Дискретная математика". Материал содержит примеры, иллюстрирующие основные понятия математической логики, и достаточно большое число упражнений.

Smullyan R.M. Logical Labyrinths

  • формат pdf
  • размер 3.64 МБ
  • добавлен 18 октября 2011 г.
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 author introduces the readers to informal reasoning preparing them for...

Кочергин В.И. Теория многомерных цифровых множеств в приложениях к электроприводам и системам электропитания

  • формат pdf
  • размер 6.52 МБ
  • добавлен 18 октября 2011 г.
Томск: Изд-во Том. ун-та, 2002. – 444 с. ISBN 5-7511-1583-Х Рассматривается широкий круг вопросов, связанных с синтезом цифровых устройств и систем электропитания, который выполняется на основе разработанного автором метода многомерных цифровых множеств – аналога аналитической теории нумераций. Основанием этого метода является идея упаковки пространства, которая была предложена в «новой геометрии» основоположником современной структурной крист...

Кочергин В.И. Теория многомерных цифро-векторных множеств

  • формат pdf
  • размер 8.48 МБ
  • добавлен 18 октября 2011 г.
Томск: Изд-во Том. ун-та, 2006. – 380 с. ISBN 5-7511-1987-2 Книга содержит систематическое и доступное изложение результатов по созданию теории многомерных цифро-векторных множеств. В основу теории положены классическая теория множеств, цифровая версия пространства и финитная точка зрения, которая рассматривает начала логики и арифметики в виде мысленных экспериментов над наглядно представляемыми овеществленными цифрами расширенного натуральн...

Кардаш Г.П. Геометрия в начальных классах

  • формат doc
  • размер 765 КБ
  • добавлен 15 октября 2011 г.
Научно-методический учебник. Белая Церковь, 2011г. Формирование у учеников графических навыков; геометрия помогает арифметике; творческие упражнения по геометрии; загадки по геометрии

Каверин С.В. Лекции по математической логике и теории алгоритмов

  • формат djvu
  • размер 383.65 КБ
  • добавлен 15 октября 2011 г.
Тольятти, Волжский университет им. Татищева, 2002 г. - 45 стр. Содержание: Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебр...

Hinman P.G. Fundamentals of Mathematical Logic

  • формат djvu
  • размер 6.61 МБ
  • добавлен 11 октября 2011 г.
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 students’ intuition by presenting complex ideas in the simplest context f...

Крючкова Е.Н. Основы математической логики и теории алгоритмов

  • формат pdf
  • размер 1.07 МБ
  • добавлен 20 сентября 2011 г.
Учебное пособие. - Барнаул: Изд-во АлтГТУ, 2010. – 277 с. Содержание: Введение. Формальные теории. Формальные модели. Исчисление высказываний. Исчисление предикатов. Другие логические теории. Частично-рекурсивные функции. Свойства алгоритмов. Примитивно–рекурсивные функции. Оператор минимизации. Ограниченный оператор минимизации. Быстро растущие функции. Частично–рекурсивные функции и тезис Черча. Рекурсивные и рекурсивно перечислимы...

Косовская Т.М. Машины Тьюринга

Статья
  • формат pdf
  • размер 1.17 МБ
  • добавлен 18 сентября 2011 г.
Косовская Т.М., кандидат физико-математических наук, доцент кафедры математики Государственного Морского Технического Университета. Математическое понятие алгоритма. Основные определения. Как же работает машина Тьюринга? Модификации машин Тьюринга. Многоленточные машины Тьюринга. Многоголовчатые машины Тьюринга. Недетерминированные машины Тьюринга. Для чего же нужны машины Тьюринга?

Bibel W. Deduction: Automated Logic

  • формат djvu
  • размер 2.01 МБ
  • добавлен 14 сентября 2011 г.
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 areas, and their realization in concrete systems. This book can be use...

Мартин-Лёф П. Очерки по конструктивной математике

  • формат djvu
  • размер 1.24 МБ
  • добавлен 07 сентября 2011 г.
М.: Мир, 1975. - 136 с. Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра из области конструктивизации математического анализа. Книга доступна...

Шенфилд Дж. Степени неразрешимости

  • формат djvu
  • размер 2.46 МБ
  • добавлен 04 сентября 2011 г.
М.: Наука, 1977. - 192 с. Терминология и обозначения. Рекурсивные функции. Изоморфизмы. Относительная рекурсивность. Рекурсивная перечислимость. Степени. Оценка степеней. Несравнимые степени. Верхние и нижние грани. Операция скачка. Минимальные степени. Простые множества. Метод приоритета. Теорема о разложении. Максимальные множества. Бесконечные нарушения. Индексные множества. Ветвящиеся степени. Дополнения. К.Е.М. Ейтс. Три теоремы о степенях р...

Shoenfield J.R. Mathematical Logic

  • формат djvu
  • размер 4.59 МБ
  • добавлен 25 августа 2011 г.
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 author presents the basic concepts in an unusually clear and accessible f...

Презентация - Основы логики

Презентация
  • формат ppt
  • размер 103.5 КБ
  • добавлен 24 августа 2011 г.
16 страниц.Логическое высказывание В алгебре логики простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Виды сложных высказываний Соединительные виды Разделительные виды Условные виды Эквивалентные Высказывания с внешним отрицанием Основная задача математической логики Логические операции Обозначение операции в алгебре высказываний Обозначение в языках Обозначение в языках про...

Steen S.W.P. Mathematical Logic with Special Reference to the Natural Numbers

  • формат pdf
  • размер 24.12 МБ
  • добавлен 16 августа 2011 г.
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 about natural numbers can be stated precisely and meaningfully, and t...

Вопенка П. Математика в альтернативной теории множеств

  • формат djvu
  • размер 1.04 МБ
  • добавлен 06 августа 2011 г.
М.: Мир, 1983. - 152 с. В книге известного чехословацкого математика предложен новый вариант нестандартного анализа - интенсивно развивающегося направления математики. Автор стремится непосредственно использовать специфику нестандартного универсума для формулировки новых математических понятий. В русское издание включен новый материал, полученный от автора. Для специалистов по математической логике, анализу, топологии, теории дифференциальных ура...

Контрольные работы - Булевы функции в СДНФ и СКНФ, карты карно

Контрольная работа
  • формат doc
  • размер 1.91 МБ
  • добавлен 05 августа 2011 г.
Две контрольные работы в архиве. По заданной таблице истинности записать Булевы функции в СДНФ и СКНФ, минимизировать полученные функции с помощью тождеств алгебры логики и карт Карно. Начертить логическую схему, реализующую полученное выражение. Булевы функции, заданные в СДНФ, минимизировать с помощью карт Карно и тождеств алгебры логики. Построить схемы, удовлетворяющие преобразованным выражениям.

Контрольная работа по булевым функциям

Контрольная работа
  • формат doc
  • размер 500 КБ
  • добавлен 03 августа 2011 г.
Контрольная работа, 6 заданий: Операцию вычитания заменить операцией сложения с использованием дополнительного кода. Сложить в двоичном и двоично – десятичном кодах числа. Булевы выражения минимизировать с помощью карт Карно. Начертить логическую схему. Составить уравнения алгебры логики по схеме, изображенной на рисунке, упростить полученное выражение, построить схему. Реализовать в базисе И-НЕ логическую функцию. Построить DC, преобразующий одн...

Штанюк А.А. Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 1.1 МБ
  • добавлен 27 июля 2011 г.
Учебное пособие, 2006. - 78. Курс Математическая логика и теория алгоритмов (МЛТА) включает 36 часов лекционных и 18 часов практических занятий. Он изучается после Дискретной математики параллельно с Программированием на языке высокого уровня. По окончанию курса проводится экзамен. Для чего будущему специалисту мира информационных систем нужен этот курс? Изучение его преследует две цели - изучить логические основы процесса написания программ и п...

Шапиро С.И. Решение логических и игровых задач (логико-психологические этюды)

  • формат djvu
  • размер 4.82 МБ
  • добавлен 18 июля 2011 г.
Москва: Радио и связь, 1984. - 155 с. Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники.

Карпенко А.С. Логики Лукасевича и простые числа

  • формат djvu
  • размер 3.27 МБ
  • добавлен 12 июля 2011 г.
Москва, издательство "Наука", 2000. - 317 с. В книге впервые устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения аргумента Аристотеля, их функциональные свойства имеют чисто теоретико-числовую природу. Изучение этого факта позволило дать определение понятия простого числа в логических терминах. Появилась реальная возможность выявить структуру последних. В итоге просты...

Идельсон А.В., Минц Г.Е. Математическая теория логического вывода

  • формат djvu
  • размер 3.34 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1967. - 351 с. Серия "Математическая логика и основания математики". Эта книга представляет собой сборник переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некотор...

Ершов Ю.Л. Теория нумераций

  • формат djvu
  • размер 3.39 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1977. - 416 с. Предисловие: Книга представляет собой введение в проблематику и методы теории нумераций — развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине пятидесятых годов. Реализацией этой идеи для вычислимых нумераций в то время занялся В. А. Успенский. Параллельно ряд зарубежных математиков (Райе, Деккер, Майхилл,...

Ершов Ю.Л. Проблемы разрешимости и конструктивные модели

  • формат djvu
  • размер 5.19 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1980. - 416 с. Серия "Математическая логика и основания математики" Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме тради...

Новиков П.С. Конструктивная математическая логика с точки зрения классической

  • формат djvu
  • размер 4.96 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1977. - 328 с. Серия "Математическая логика и основания математики". В книге проводится четкое различие между классическими и конструктивными логическими операциями. С этой целью для одноименных операций используются различные обозначения в классическом и конструктивном случаях. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время, насыщенность разнообразными техническими деталями д...

Смальян Р. Теория формальных систем

  • формат djvu
  • размер 3.92 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1981. - 207 с. Серия "Математическая логика и основания математики" В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма. Фундаментальным теоретическим обобщением выработанных...

Робинсон А. Введение в теорию моделей и метаматематику алгебры

  • формат djvu
  • размер 3.08 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1967. - 376 с. Серия "Математическая логика и основания математики". Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символически...

Лузин Н.Н. Лекции об аналитических множествах и их приложениях

  • формат djvu
  • размер 3.67 МБ
  • добавлен 06 июля 2011 г.
М.: Государственное издательство технико-теоретической литературы, 1953, - 360 с. Настоящая книга содержит изложение основных результатов дескриптивной теории множеств, полученных до 1929 г. Поставлен целый ряд новых актуальных проблем теории множеств, направленных на изучение структуры арифметического континуума. Благодаря этому эта книга в значительной степени определила дальнейшее развитие не только дескриптивной теории множеств, но и раздела...

Кутасов А.Д. Элементы математической логики

  • формат djvu
  • размер 828.43 КБ
  • добавлен 30 июня 2011 г.
Пособие для учащихся 9-10 классов. М.: Просвещение, 1977, - 63 с. Настоящее пособие предназначено в первую очередь ученикам IX—X классов средней общеобразовательной школы, интересующимся математикой. Учителя математики также найдут в нем материал, который смогут использовать в своей работе. Первоначальные сведения из математической логики используются автором для разъяснения таких важных для математики понятий, как взаимно-обратные и взаимно прот...

Enderton H.B. A Mathematical Introduction to Logic

  • формат djvu
  • размер 3.18 МБ
  • добавлен 25 июня 2011 г.
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 computability. This Second Edition has additional examples and explana...

Mendelson E. Introduction to Mathematical Logic

  • формат pdf
  • размер 10.39 МБ
  • добавлен 25 июня 2011 г.
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 models with empty domains. The text contains numerous exercises and a...

Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы

  • формат djvu
  • размер 1.77 МБ
  • добавлен 25 июня 2011 г.
Учебное пособие. М.: Издательство Московского университета, 1984, - 120 с. Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Ги...

Клини С. Математическая логика

  • формат djvu
  • размер 6.09 МБ
  • добавлен 23 июня 2011 г.
М.: Мир, 1973, - 480 с. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах: таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.

Пучков Н.П., Ткач Л.И. Математика для гуманитарных специальностей

  • формат pdf
  • размер 378.12 КБ
  • добавлен 20 июня 2011 г.
-Тамбов: Изд-во Тамб. гос. техн. ун-та, 2001. В данном пособии рассматриваются два раздела учебного курса: "Множества" и "Элементы теории вероятностей" как наиболее значимые для развития математического мышления и доступные для освоения студентами гуманитарных специальностей. В пособие включено большое количество задач "общественного" содержания, решаемых математическими методами. Учебно-методическое пособие подготовлено в помощь студентам спе...

Перельман Я.И. Занимательная геометрия на вольном воздухе и дома. 1925

  • формат djvu
  • размер 4.46 МБ
  • добавлен 16 июня 2011 г.
Обложка и рисунки работы Ю. Д. Скалдина. - Л.: Время, 1925 Эта книга написана не столько для друзей математики, сколько для ее недругов. Она имеет в виду, главным образом, не тех, у кого есть уже склонность к математике, и не тех также, кто вовсе еще не приступал к ее изучению. Автор предназначает книгу всего более для той обширной категории читателей, которые знакомились в школе (или сейчас еще знакомятся) с этой наукой без особого интереса и о...

Рвачев В.Л. Геометрические приложения алгебры логики

  • формат djvu
  • размер 4.06 МБ
  • добавлен 05 июня 2011 г.
Киев: Техника, 1967. - 213 с. В книге изложены методы аналитического описания геометрических объектов сложной структуры, которые могут быть применены для решения многих задач математической физики, механики, математического программирования, оптимального раскроя, машинного распознавания геометрических образов и др. Описывается аппарат Л-функций, используя' который можно составлять уравнения сложных чертежей и пространственных объектов, а также...

Харин Н.Н. Математическая логика и теория множеств

  • формат djvu
  • размер 2.38 МБ
  • добавлен 04 июня 2011 г.
М.: Росвузиздат, 1963. - 192 с. Настоящая работа имеет своей целью показать, что одной из важнейших закономерностей в развитии современной математики является взаимодействие абстрактного и конкретного, что развитие математики отражает развитие объективной действительности, носит диалектический характер. Отсюда следует, что познание сущности математических понятий предполагает диалектико-материалистический подход, так как математика - наука о кол...

Кожухов И.Б. Математическая логика и теория алгоритмов: Учебное пособие

  • формат doc, htm
  • размер 7.33 МБ
  • добавлен 04 июня 2011 г.
Кожухов И. Б. Математическая логика и теория алгоритмов: Учебное пособие, Москва - МГУ, 2004. 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алго-ритмов (машины Тьюринга и вычислительные функции), а также осно-вания теории множеств

Блюмин С.Л., Шуйкова И.А., Сараев П.В. Нечеткая логика: алгебраические основы и приложения

  • формат pdf
  • размер 1.38 МБ
  • добавлен 03 июня 2011 г.
Файл в формате .pdf и очень хорошего качества Книга содержит изложение основных понятий нечеткой логики, применяющихся при решении широкого класса прикладных задач, связанных с теорией нечетких реляционных уравнений, нечетких нейронных сетей, методами принятия решений в условиях неопределенности. Советую читать с главы 1.2 - Нечеткие множества и операции над ними.

Учебник по математике для юридического факультета

Статья
  • формат doc
  • размер 676.91 КБ
  • добавлен 29 мая 2011 г.
Числа. Первичная обработка результатов эксперимента. Элементы комбинаторики. Понятие вероятности. Функции и графики.

Лабораторная работа - Основы логики

Лабораторная
  • формат ppt
  • размер 434.5 КБ
  • добавлен 27 мая 2011 г.
Презентация включает себя краткую историю развития логики, цель и задачи логики, основные понятия и таблицы истинности. Все в очень доступной и наглядной форме. Материал изложен кратко и схематично. Рекомендуется для студентов нематематических специальностей.

Перельман Я.И. Занимательная геометрия

  • формат djvu
  • размер 13.54 МБ
  • добавлен 26 мая 2011 г.
1. Геометрия на вольном воздухе. Геометрия в лесу. Геометрия у реки. Геометрия в открытом поле. Геометрия в дороге. Походная тригонометрия без формул и таблиц. Где небо с землей сходятся. Геометрия Рабинзонов 2. Между делом и шуткой в геометрии. Старое и новое о круге. Геометрия без изменений и без вычислений. Большое и малое в геометрии. Геометрическая экономия.

Токарева Н. Нелинейные булевы функции: бент-функции и их обобщения

  • формат pdf
  • размер 3.28 МБ
  • добавлен 23 мая 2011 г.
Издательство LAP LAMBERT Academic Publishing (Saarbrucken, Germany), 2011. ISBN: 978-3-8433-0904-2. 180 с. Теоретические результаты исследования Работа относится к такой области дискретной математики, как булевы функции и их приложения в комбинаторике, теории кодирования и криптографии. Исследуется класс булевых функций, обладающих сильными свойствами нелинейности: бент-функции и их обобщения. Впервые бент-функции начали изучаться в 60-х годах X...

Лавров И.А. Математическая логика

  • формат djvu
  • размер 2.3 МБ
  • добавлен 04 мая 2011 г.
Учеб. пособие для студ. высш. учеб. заведений / И. А. Лавров; под ред. Л. Л. Максимовой. — М.: Издательский центр «Академия», 2006. — 240 с. — (Университетский учебник. Сер. Прикладная математика и информатика). ISBN 5-7695-2735-8 В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиомат...

Коган Д.И., Бабкина Т.С. Учебно-методическая разработка для самостоятельной работы по курсу Теория алгоритмов и математическая логика

Практикум
  • формат pdf
  • размер 430.4 КБ
  • добавлен 01 мая 2011 г.
Нижний Новгород, НГУ им. Н. И. Лобачевского, 2000 г., -44 стр. Методическая разработка предназначена для самостоятельной работы студентов по специальности «Прикладная информатика» над материалом темы «Концепции конечного автомата и регулярного языка. Операции над регулярными языками», входящей в состав учебного курса «Теория алгоритмов и математическая логика». Вводятся понятие формального языка и действия над формальными языками, включая основны...

Контрольная - Булевы функции

Контрольная работа
  • формат rtf
  • размер 174.39 КБ
  • добавлен 01 мая 2011 г.
СПб. : 2011 г - 38 стр. Содержание. Основные понятия булевой алгебры. Способы задания булевых функций. Булевы функции одной и двух переменных. Основные законы и тождества булевой алгебры. Аналитическое представление булевых функций. Функционально полные системы булевых функций. Минимизация булевых функций. Метод Квайна. Метод Квайна-Мак-Класки. Метод диаграмм Вейча. Карты Карно. Особенности минимизации булевых функций большим числом переменных....

Задачи по математической логике (+примеры решения)

Контрольная работа
  • формат rtf
  • размер 3.34 МБ
  • добавлен 27 апреля 2011 г.
Задачи по математической логике. Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.rn

Задачи по математической логике (+примеры решения и комментарии)

Контрольная работа
  • формат rtf
  • размер 5.68 МБ
  • добавлен 27 апреля 2011 г.
Задачи по математической логике (+примеры решения и комментарии). Содержание: Элементы алгебры высказываний. Логические операции над высказываниями. Равносильные формулы алгебры высказываний. Нормальные формы. Логические следствия. Решение задач с помощью алгебры высказываний. Исследование рассуждений. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез реле...

Молодший В.Н. Очерки по вопросам обоснования математики

  • формат djvu
  • размер 2.66 МБ
  • добавлен 24 апреля 2011 г.
М.: Государственное учебно-педагогическое издательство министерства просвещения РСФСР, 1958. - 232 с. Эта книга - пособие для преподавателей математики средних школ и студентов физико-математических факультетов педагогических институтов. Ее содержание не исчерпывает того, что теперь связывают со словом «введение», когда обращаются к вопросам обоснования математики. На первом месте стоят те вопросы обоснования математики, знание которых может оказ...

Попов А.И. Введение в математическую логику

  • формат djvu
  • размер 1.33 МБ
  • добавлен 23 апреля 2011 г.
Ленинград: Издательство Ленинградского университета, 1959. - 109 с. Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается м...

Блюмин С.Л., Шуйкова И.А., Сараев П.В., Черпаков И.В. Нечёткая логика: алгебраические основы и приложения

  • формат djvu
  • размер 1.24 МБ
  • добавлен 23 апреля 2011 г.
Липецк: Липецкий эколого-гуманитарный институт, 2002. - 111 с. В монографии рассмотрены алгебраические основы нечеткой логики и возможные приложения. Книга содержит изложение основных понятий нечеткой логики, применяющихся при решении широкого класса прикладных задач, связанных с теорией нечетких реляционных уравнений, нечетких нейронных сетей, методами принятия решений в условиях неопределенности. Предназначена для специалистов в области прик...

Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств

  • формат djvu
  • размер 3.26 МБ
  • добавлен 23 апреля 2011 г.
М.: Наука, 1979. - 256 с. Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиоматическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специа...

Smullyan Raymond What is the Name of This Book? The Riddle of Dracula & Other Logical Puzzles

  • формат pdf
  • размер 7.03 МБ
  • добавлен 18 апреля 2011 г.
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 collection of recreational logic and math problems ever written. " —...

Сергиевская И.М. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 17.75 МБ
  • добавлен 11 апреля 2011 г.
Учебное пособие. - ПГАТИ, 2004. - 64 с. Математическая логика и теория алгоритмов являются основой курса дискретной математики, что нашло отражение в данном учебном пособии. Учебное пособие адресовано студентам, обучающимся по направлениям 210300 - радиотехника, 230000 - информатика и вычислительная техника, и по специальностям: 210401 - физика и техника оптической связи, 210402 - средства связи с подвижными объектами, 210403 - защищенные систем...

Курсовая работа - Основные динамические свойства и их классификация

Курсовая работа
  • формат docx
  • размер 147.26 КБ
  • добавлен 04 апреля 2011 г.
Функционирующие и развивающиеся системы. Основные переменные в динамике систем. Определение функционирующей системы. Некоторые способы задания функционирующих систем. Система процессов. Определение системы процессов; процессы. Некоторые замечания о природе процессов и среды. Основные динамические свойства и их классификация. Основные и неосновные переменные динамики систем, множества их значений, типовые кванторы. Определения динамических свойств...

Э. Мендельсон. Введение в математическую логику

  • формат djvu
  • размер 3.59 МБ
  • добавлен 22 марта 2011 г.
Учебник для начинающих (1-2 курс технических и физико-математических факультетов) а также для всех интересующихся, имеющих среднее образование. Каких-либо математических знаний выше уровня школьной программы не требует. 157 страниц печатного текста. Издательство МЦНМО, 2005 год

Кузичев А.С. Диаграммы Венна

  • формат djvu
  • размер 4.05 МБ
  • добавлен 21 марта 2011 г.
М.: «Наука», 1968. - 253 с. Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов. В книге разбирается ряд задач, сформулированных Булем, Джевонсом, Порецким и другими логиками, и показывается развитие метода диагр...

Яглом И.М. Необыкновенная алгебра

  • формат djvu
  • размер 885.72 КБ
  • добавлен 21 марта 2011 г.
ИздНаука, 1968, 76 с. Если хочешь понять как «думает» компьютер, то есть что происходит в арифметическо-логическом устройстве процессора, начни с этой брошюры. На очень простом элементарном уровне автор излагает основные понятия так называемой «алгебры Буля», играющих большую роль математической логике и во всех направленияъх современной математике, связанных с ПК и кибернетикой. В книге даётся понятие множеств, операциями над ними, «алгебры выск...

Такеути Г. Теория доказательств

  • формат djvu
  • размер 3.26 МБ
  • добавлен 20 марта 2011 г.
М.: Мир, 1978, 412 с., УДК 517.11,517.12 Перевод с английского Соболева С. К., под ред. Адяна С. И. Книга посвящена одному из основных разделов математической логики — теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечении и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики в книге приводятся недавние достижения в этой области, вклю...

Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ

  • формат djvu
  • размер 7.77 МБ
  • добавлен 07 марта 2011 г.
М.: Едиториал УРСС, 2003. - 544 с. А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А. Г. Драгалина «Математический интуициониз...

Поляков К. Тренажер Логика Версия 1.2

  • формат exe
  • размер 377.59 КБ
  • добавлен 05 марта 2011 г.
Тренажер "Логика" предназначен для проведения практических занятий. по теме "Математическая логика" в игровой форме. Подобная игра была. ранее написана для компьютеров "Ямаха" (программисты П. Меняйло и. М. Щекочихин). Данная программа представляет собой реализацию этой. идеи для операционных систем линейки Windows 95/98/Me/2000/XP/2003. Главные достоинства программы. - игровая форма закрепления учебного материала. - на данный момент автору неиз...

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

Статья
  • формат doc
  • размер 1.31 МБ
  • добавлен 04 марта 2011 г.
Бахтадзе Н. Н. (Институт проблем управления им. В. А. Трапезникова РАН). Логика высказываний. Алгебра высказываний. Исчисление высказываний. Метод дедуктивного вывода. Принцип резолюции. Проблемы исчисления высказываний. Описание высказываний на языке Prolog. Логика предикатов. Алгебра предикатов. Исчисление предикатов. Проблемы в исчислении предикатов. Логическое программирование.

Шаповалов C П. Теория алгоритмов и математическая логика

  • формат pdf
  • размер 3.18 МБ
  • добавлен 04 марта 2011 г.
Учебное пособие. - Сумы: СумДУ Основной целью дисциплины является освоение принципов построения и анализа алгоритмов, математическому обоснованию их применения. В результате изучения дисциплины студенты должны получить: Знание - построения и применения основных алгоритмов при программировании; анализа алгоритмов и выбора наиболее эффективного алгоритма, Умение - генерировать входные данные и настройки применения алгоритма; составлять и от...

Bergmann M., Moor J., Nelson J. The Logic Book

  • формат pdf
  • размер 84.59 МБ
  • добавлен 03 марта 2011 г.
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 order they choose.

Гончаров С.С. Счетные булевы алгебры и разрешимость

  • формат djvu
  • размер 3.56 МБ
  • добавлен 27 февраля 2011 г.
Новосибирск: Научная книга, 1996, — 364 с., — (Сибирская школа алгебры логики). Третий том учрежденной в 1995 г. Сибирским фондом алгебры логики математической книжной серии «Сибирская школа алгебры логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгеб...

Клини С. Введение в метаматематику

  • формат pdf
  • размер 10.14 МБ
  • добавлен 23 февраля 2011 г.
М.: Издательство иностранной литературы, 1957. - 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и н...

Levitz K., Levitz H. Logical and Boolean Algebra

  • формат djvu
  • размер 984.18 КБ
  • добавлен 22 февраля 2011 г.
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 order in which they appear and that no topics be skipped. In recent ye...

Марченков С.С. Функциональные системы с операцией суперпозиции

  • формат djvu
  • размер 762.34 КБ
  • добавлен 22 февраля 2011 г.
Москва: Физматлит, 2004. -104 с. В книге с единых позиций рассматриваются функциональные системы с операцией суперпозиции и «традиционными» множествами функций — функций многозначной логики, функций натурального аргумента и автоматных функций. Основное содержание книги концентрируется вокруг двух взаимосвязанных тем: построение и анализ порождающих множеств и проблема полноты. Излагаются ставшие классическими результаты А. В. Кузнецова, С. В. Яб...

Джонстон П. Теория топосов

  • формат djvu
  • размер 6 МБ
  • добавлен 20 февраля 2011 г.
М.: Наука, 1986. — 440 с. В книге излагается теория топосов, приобретающая в последнее время важное значение не только в логике, но и в геометрии и топологии. Существенно дополняет вышедшую в 1983 г. в издательстве «Мир» книгу Р. Голдблатта «Топосы. Категорный анализ логики». Для математиков разных специальностей, аспирантов и студентов университетов. Оглавление: Предварительные сведения. Элементарные топосы. Внутренняя теория категорий. Топол...

Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика

  • формат pdf
  • размер 15.89 МБ
  • добавлен 17 февраля 2011 г.
М.: Мир, 1985. - 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспиранто...

Новиков Ф.А. Дискретная математика для программистов

  • формат djvu
  • размер 3.03 МБ
  • добавлен 17 февраля 2011 г.
Питер. 2000 год.304 страницы. В учебнике изложены основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных и структурных данных. Основу книги составляет материал лекционного курса Санк-Петербуржского государственного техникума.

Пензов Ю.Е. Элементы математической логики и теории множеств

  • формат djvu
  • размер 1.51 МБ
  • добавлен 12 февраля 2011 г.
Издательство Саратовского университета, 1968. - 141с. Основные понятия теории множеств Подмножество. Дополнение подмножества. Пересечение и объединение подмножеств Упорядоченные системы элементов Декартово произведение множеств Арифметическое пространство п измерений n-отношение Функция Отображение множествач на множество. Взаимно-однозначное отображение Алгебра высказываний Логические операции над высказываниями Составные высказывани...

Степанова, Плешкова, Гусев. Математическая логика и теория алгоритмов (методичка)

Практикум
  • формат djvu
  • размер 1.02 МБ
  • добавлен 28 января 2011 г.
Темы: Алгебра высказываний. Исчисления высказываний. Логика предикатов. Исчисление предикатов. Машины Тьюринга. Владивосток, Вгуэс, 2010.

Эрдниев О.П. От задачи к задаче - по аналогии. Развитие математического мышления

  • формат djvu
  • размер 3.47 МБ
  • добавлен 25 января 2011 г.
Издательство АО «СТОЛЕТИЕ», 1998 г. , 280 с. Обычно обучение математике ограничивается решением пусть разнообразных, но готовых, придуманных авторами учебников задач. Однако гораздо увлекательнее и продуктивнее, осознав процесс математического творчества, научиться создавать собственные задачи и теоремы и находить способы их решения. Этому важному творческому умению и посвящена книга. Авторы, опираясь на свой практический опыт обучения, подробно...

Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. Теория доказательств. Том 2

  • формат djvu
  • размер 7.54 МБ
  • добавлен 22 января 2011 г.
М.: Наука, 1982. - 652 с. Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличаю...

Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. Теория доказательств. Том 1

  • формат djvu
  • размер 5.8 МБ
  • добавлен 22 января 2011 г.
М.: Наука, 1979. - 557 с. Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличаю...

Гамова А.Н. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 761.91 КБ
  • добавлен 21 января 2011 г.
Саратов: Изд-во СГУ, 1999. - 76 с. Данное учебное пособие представляет собой курс лекций, которые автор читает на механико-математическом факультете Саратовского государственного университета, начиная с 1993 года. Содержание курса составили два раздела математической логики: исчисления и алгоритмы. Подбор материала лекций определялся задачей развития у слушателей навыков использования методов математической логики для изучения других математическ...

Гайштут А.Г. По ступенькам к развитию внимания, памяти, логики

  • формат pdf
  • размер 22.55 МБ
  • добавлен 19 января 2011 г.
Учебное пособие предназначено для младших школьников и заботливых родителей, а также любящих свое дело педагогов и воспитателей. Задания книги помогут ребенку в развитии логического мышления, памяти, внимания, воображения, любознательности; научат его анализировать, сравнивать, обобщать, выделять главное. Их решения будут способствовать изучению учебного материала по многим предметам. Пособие можно использовать для самостоятельной работы в школе...

Валицкас А.И. Конспект лекций по математической логике

  • формат pdf
  • размер 1.69 МБ
  • добавлен 15 января 2011 г.
Учебно-методическое пособие для студентов физико-математических факультетов педвузов. Тобольск, 2010. – 186 c. Рекомендовано УМО по математике педвузов Волго-Вятского региона в качестве учебного пособия для студентов физико-математических специальностей высших учебных заведений. Учебно-методическое пособие представляет конспект курса лекций по математической логике, читаемого автором в течение ряда лет на математическом факультете в Тобольской...

Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов

  • формат doc
  • размер 295.09 КБ
  • добавлен 13 января 2011 г.
2, 3, 4, 5, 6, 7 главы в формате DOC Полное соответствие печатному изданию. Насколько я понимаю это эскиз для издательства ибо труд титанический т. к. использовался редактор формул. 87 страниц A4.rn

Пособие по Математической Логике

  • формат doc
  • размер 335 КБ
  • добавлен 09 января 2011 г.
Содержание. Введение. Исчисление высказываний. Высказывания. Формулы. Выполнимые и общезначимые формулы. Алгебраический подход. Дизъюнкты и нормальные формы. Логический вывод. Прямой вывод. Доказательство «от противного». Метод резолюций. Фразы Хорна. Примеры использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Исчисление предикатов. Предикаты. Применение логических связок. Кванторы....

Манин Ю.И. Лекции по математической логике. Часть 2

  • формат djvu
  • размер 893.93 КБ
  • добавлен 08 января 2011 г.
1974. -71 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. Основной объект изучения второй части курса - детерминированный процесс вычисления, или переработки нечисловой информации - алгоритм.

Яковлев А.В. Лекции по математической логике

  • формат pdf
  • размер 443.21 КБ
  • добавлен 08 января 2011 г.
Конспект лекций. Авторское электронное издание(изначально компьютерное). Количество страниц: 52. Место и год издания не установлены.

Лупанов О.Б. Лекции по математической логике

  • формат pdf
  • размер 365.13 КБ
  • добавлен 08 января 2011 г.
МехМат МГУ, 1 курс, 2 семестр. 2004. Оглавление: Булева алгебра. k-значная логика. Схемы из функциональных элементов. Автоматы. Логика. Исчисления и предикаты. Алгоритмы. Данный документ представляет собой курс лекций "Введение в математическую логику", читаемый деканом механико-математического факультета МГУ академиков РАН О. Б. Лупановым на I курсе мехмата во втором семестре.

Манин Ю.И. Лекции по математической логике. Часть 1

  • формат djvu
  • размер 1.55 МБ
  • добавлен 08 января 2011 г.
1974. -135 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Качество файла - среднее. Скан-то неплохой, просто сам оригинал представляет собой набранный на печатной машинке текст с рукописными формулами. Почему ни одно хорошее издание тех лет не взя...

Эвнин А.Ю. Математическая логика. Конспект лекций и задачи

  • формат pdf
  • размер 555.08 КБ
  • добавлен 06 января 2011 г.
Учебное пособие составлено в соответствии с программой курса мат. логики для специальности "прикладная математика", содержит теоретический материал и задачи по темам алгебра высказываний, логический исчисления. все изложено доступным языком, снабжено примерами.

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

  • формат djvu
  • размер 464.16 КБ
  • добавлен 06 января 2011 г.
Учебное пособие для вузов, М.: МЦНМО. 2000. -177 с. ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иера...

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

  • формат djvu
  • размер 772.51 КБ
  • добавлен 06 января 2011 г.
Учебное пособие для вузов, М.: МЦНМО. 1999. -291 с. ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств

  • формат djvu
  • размер 329.41 КБ
  • добавлен 06 января 2011 г.
Учебное пособие для вузов, М.: МЦНМО. 1999. -124 с. ISBN: 5-900916-36-7. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех инте...

Белов Ю.А. Элементы теории множеств и математической логики

  • формат pdf
  • размер 403.84 КБ
  • добавлен 06 января 2011 г.
Учебное пособие. Ярославский гос. университет. Ярославль. 2002. 60с. Понятие множества. Отношения и функции. Эквивалентность множеств. Сравнение мощностей. Шкала мощностей. Элемента математической логики. Выводимость. Доказуемость, истина, полнота. Логика предикатов. Булевы функции. Критерий функциональной полноты.

Галилеев М.М.-Математика

Практикум
  • формат pdf
  • размер 1.59 МБ
  • добавлен 29 декабря 2010 г.
Методические указания к изучению дисциплины и выполнению контрольной работы №4 для студентов заочной формы обучения. Введение Задача линейного программирования. Основные понятия. Симплекс-метод решения канонической задачи. Симметричные двойственные задачи. Транспортная задача. Матричные игры Задачи для контрольных работ. Правила оформления. Санкт-Петербургский государственный инженерно-экономический университет,2006г. -50с.

Hamburger H., Richards D. Logic and Language Models for Computer Science

  • формат pdf
  • размер 16.21 МБ
  • добавлен 25 декабря 2010 г.
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 examples and figures, yet without-losing sight of, and indeed celebrating, t...

Sacks G.E. Mathematical Logic in the 20th Century

  • формат pdf
  • размер 35.39 МБ
  • добавлен 23 декабря 2010 г.
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.

Автор неизвестен. Теоретические основы автоматики и телемеханики

  • формат pdf
  • размер 519.63 КБ
  • добавлен 22 декабря 2010 г.
Автор неизвестен. Теоретические основы автоматики и телемеханики. Основные положения и законы алгебры логики. Формы представления функций алгебры логики. Булевы функции от двух переменных. Полнота и базис булевых функций. Минимизация булевых функций. Функции алгебры логики и электрические схемы.

Gibilisco S. Math Proofs Demystified

  • формат pdf
  • размер 2.61 МБ
  • добавлен 16 декабря 2010 г.
Математическая логика для чайников 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 that is needed to complete them. Therefore, it is not uncommon to have ph...

Верещагин Н.К., Шень А. Языки и иcчисления. Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 1.59 МБ
  • добавлен 11 декабря 2010 г.
Москва: МЦНМО, 2002. - 288 с. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихс...

Rautenberg W. A Concise Introduction to Mathematical Logic

  • формат pdf
  • размер 2.44 МБ
  • добавлен 11 декабря 2010 г.
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 sub-areas and numerous applications in mathematics, informatics, linguisti...

Серпинский В. О теории множеств

  • формат djvu
  • размер 932.81 КБ
  • добавлен 06 декабря 2010 г.
Перевод с польского З. З. Рачинского. Москва: Просвещение, 1966. - 62 с. Теория множеств является одной из наиболее молодых отраслей математики, но ее элементы стали в настоящее время неотъемлемой частью общего математического образования. Многие ученые уже давно выражали мнение, что некоторые вопросы теории множеств должны быть включены в программы, средней школы. Несмотря на высокую степень абстракции, усвоение теории множеств не представляет...

Подзоров С.Ю. Булевы алгебры

  • формат pdf
  • размер 744.58 КБ
  • добавлен 05 декабря 2010 г.
Учебное пособие по спецкурсу. - Новосибирск: НГУ, 2005. - 93 с. В пособии даются основные определения из курса булевой алгебры, рассматриваются идеалы, фактор-алгебры и гомоморфизмы, простые идеалы и тождества, точные последовательности и идеальные пополнения, стоуновские топологические пространства, линейные базисы, операторы, суператомные алгебры Ершова и другие вопросы.

Пучков Н.П., Ткач Л.И. Теория множеств в курсе математика для гуманитарных специальностей

  • формат pdf
  • размер 401.37 КБ
  • добавлен 02 декабря 2010 г.
Учебно-метод. рекомендации. Тамбов: Изд-во Тамб. гос. техн. ун-та, 2004. - 40 с. Рассматривается один из основных разделов курса — «Теория множеств», имеющего своей целью развитие логики мышления будущих специалистов, для более глубокого и практико-ориентированного изучения курса математики, с которым студенты знакомятся на лекциях. Содержание: Множество. Понятие множества. Числовые множества. Подмножества. Операции над множествами. Задачи по...

Рунова Л.П., Рунов Л.В. Исчисление событий. Дополнение к элементам теории множеств

  • формат pdf
  • размер 432.95 КБ
  • добавлен 30 ноября 2010 г.
Ростов-на-Дону: Изд-во РГУ, 2001. - 30 с. Учебное пособие предназначено для студентов II курса экономического факультета, обучающихся по специальностям "Математические методы в экономике" и "Прикладная информатика в экономике". В пособие содержится изложение теории, приводятся примеры и содержится большое количество задач. Надеемся, что пособие будет полезным и студентам мехмата.

Кановей В.Г. Аксиома выбора и аксиома детерминированности

  • формат djvu
  • размер 1.01 МБ
  • добавлен 28 ноября 2010 г.
М.: ФИЗМАТЛИТ, 1984. - 65 с. Содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности. Рассматривается вопрос о том, какая из этих аксиом и в какой степени полезна в различных областях математики. Для лиц, интересующихся вопросами оснований математики, начиная со студентов-математиков первых курсов университетов и пединститутов. Созданная Георгом Кантором в конце прошлого века теория мно...

Галуев Г.А. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 855.08 КБ
  • добавлен 27 ноября 2010 г.
Учебно-методическое пособие. - Таганрог: Изд-во ТРТУ, 2003. - 65 с. В настоящем пособии изложены основные законы и теоремы математической логики, лежащей в основе современной теории алгоритмов, а также задачи по теории множеств. Пособие предназначено для изучения лекционных курсов "Математическая логика и теория алгоритмов" студентам специальности 07500. Подготовлено на кафедре безопасности информационных технологий ТРТУ.

Гудстейн Р.Л. Математическая логика

  • формат djvu
  • размер 3.68 МБ
  • добавлен 22 ноября 2010 г.
М.: ИЛ, 1961. - 162 с. Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при неболь...

Орехов Ю.В., Орехов Э.Ю. Математическая логика: учебное пособие

  • формат djvu
  • размер 3.63 МБ
  • добавлен 20 ноября 2010 г.
УГАТУ, 2006г. Учебное пособие содержит изложение основных разделов математической логики (алгебра высказываний, исчисление высказываний, алгебра предикатов) и основ теории алгоритмов. В пособие включены разделы, посвященные практическому решению типовых задач, а также вопросы для повторения, призванные способствовать активному изучению данного курса.

Гильберт Д., Бернайс П. Основания математики

  • формат djvu
  • размер 3.71 МБ
  • добавлен 15 ноября 2010 г.
Двухтомная монография Д. Гильберта и П. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со свой проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики.

Реферат - Комплексная система поддержки принятия решения

Реферат
  • формат doc
  • размер 104.5 КБ
  • добавлен 11 ноября 2010 г.
ТТИ ЮФУ, ФАВТ, САиТ(230102),2курс,3 семестр.2010г. 13 листов+титульник. Содержит: Введение. История создания СППР. Классификации СППР. теория принятия решения. Проблема эргодичности. Принятие решений в условиях неопределённости. Выбор при неопределённости. Пари Паскаля — выбор при неопределённости. Ошибки первого и второго рода. Альтернативы теории вероятностей. Парадокс выбора. Моделирование принятия решений.

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

  • формат djvu
  • размер 3.45 МБ
  • добавлен 10 ноября 2010 г.
Отв. редактор С. Л. Соболев М.: Наука, 1982. - 177 с. В сборник входят работы, представляющие важные результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.

Гуц А.К. Математическая логика и теория алгоритмов

  • формат djvu
  • размер 867.4 КБ
  • добавлен 09 ноября 2010 г.
Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. основу пособия составляют конспекты лекций, которые читались студентам вторго курса отделения компьютерных наук Омского гос. универститета в 2002 г. Для студентов специальностей 075200 - "Компьютерная безопасность" и по специальности 220100 - "Вычислительные машины, комплексы, системы и сети". Содержание разделов: Логика. Классическая логика. Логика высказываний....

Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 1.47 МБ
  • добавлен 09 ноября 2010 г.
Лекции по математической логике и теории алгоритмов. Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебра Жегалкина. Высказыван...

Математическая логика и основания математики (23 выпуска)

  • формат djvu
  • размер 105.57 МБ
  • добавлен 05 ноября 2010 г.
М., Физматгиз, Наука, 1959-1984. В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты. Список книг, представленных в серии: Гильберт Д.,...

Дрозд Ю. Основи математичної логіки (на укр. языке)

  • формат pdf
  • размер 664.47 КБ
  • добавлен 01 ноября 2010 г.
К.: Київський університет імені Т. Шевченка, 2003. - 96 с. Учебник создан за материалами курса математической логики, который преподается в Киевском университете имени Тараса Шевченка. Этот курс играет огромную роль в формировании математического мышления и понимания построения математики как науки. Разделы учебника: Логика высказываний, Логика отношений, Формальная математика.

Лобанов В.И. Инженерная логика

  • формат djvu
  • размер 908.3 КБ
  • добавлен 20 октября 2010 г.
191 стр. Практика инженерной логики. Комбинационные логические цепи. Минимизация булевых функций методом обобщенных кодов. Триггеры. Регистры и счетчики. Синтез счетчиков. Конечные автоматы. Микроконтроллеры. Базовые проблемы классической логики. Законы логики суждений. Базисы силлогистики. Силлогистика Аристотеля-Жергонна. Русская силлогистика. Общеразговорная силлогистика. Атомарная силлогистика. Атомарная силлогистика. Естественный вывод и ква...

Гжегорчик А. Популярная логика

  • формат djvu
  • размер 2.14 МБ
  • добавлен 13 октября 2010 г.
Общедоступный очерк логики предложений. Перевод с польского С. П. Беляева. Москва "Наука". Главная редакция физико-математической литературы, 1979. Математическая логика — своеобразная область науки, тесно связанная как с математикой, так и с философией, — выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом. Теория электронных цифровых машин и друг...

Поздняков С.Н., Рыбин С.В. Математическая логика и теория алгоритмов. Учебное пособие

  • формат pdf
  • размер 391.83 КБ
  • добавлен 08 октября 2010 г.
СПбГЭТУ "ЛЭТИ", 2004. , 65с.: ил. Рассматриваются основные идеи, понятия и методы математической логики, интерес к которым вырос благодаря новым приложениям, появившимся за последнее время в связи с развитием информационных технологий. Может использоваться как для студентов дневной формы обучения, так и для вечерних и заочных факультетов технических вузов. Бинарные отношения и графы Логика высказываний Булевы функции

Перетятькин М.Г. Конечно аксиоматизируемые теории

  • формат djvu
  • размер 2.73 МБ
  • добавлен 05 октября 2010 г.
Новосибирск: Научная книга, 1997. 322 с. Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому с...

Судоплатов С.В., Овчинникова Б.В. Математическая логика и теория алгоритмов: Учебник

  • формат djvu
  • размер 1.25 МБ
  • добавлен 03 октября 2010 г.
— М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. - 224 с. - (Высшее образование). В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.

Кейслер Г., Чэн Ч. Теория непрерывных моделей

  • формат djvu
  • размер 1.42 МБ
  • добавлен 03 октября 2010 г.
М. : 1971. -184 с. Небольшая монография, посвященная теории классов моделей—области математической логики, интенсивно развивавшейся в течение последних 10—15 лет. Содержание монография—обобщение теори моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и теории множеств и элементарные сведения по математической логике. Изложение...

Гончаров С.С. Лекции по математической логике

  • формат pdf
  • размер 7.53 МБ
  • добавлен 02 октября 2010 г.
НГУ. Новосибирск. 2007. - 141 с. Содержание: Модели и алгебраические системы фиксированной сигнатуры; Гильбертовское исчисление предикатов; Секвенциальное исчисление предикатов; Нормальные формы в исчислении предикатов; Непротиворечивые множества формул; Теория Хенкина; Теорема Гёделя о полноте; Аксиоматическая теория множества ZF; Арифметика Пеано; Примитивно рекурсивные функции и отношения; Теоремы о представимости; Гёделевская нумерация; Алгор...

Казимиров Н.И. Введение в аксиоматическую теорию множеств

  • формат pdf
  • размер 779.83 КБ
  • добавлен 01 октября 2010 г.
Учебное пособие. Петрозаводск, 2000. 104 с. Книга представляет собой краткое изложение курса аксиоматической теории множеств и посвящена теории порядковых и кардинальных чисел, а также изложению фундаментальных математических определений в терминах теории множеств, и может быть использована для подготовки спец. курсов по теории множеств.

Цаленко М.Ш., Шульгейфер Е.Г. Основы теории категорий

  • формат djvu
  • размер 2.09 МБ
  • добавлен 28 сентября 2010 г.
М.: Наука, 1974. 256 с. Категории и бикатегории. Нормальные категории. Функторы. Сопряженные функторы. Категории универсальных алгебр.

Карри Х.Б. Основания математической логики

  • формат djvu
  • размер 3.78 МБ
  • добавлен 25 сентября 2010 г.
М.: Мир, 1969. 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструк...

Нагель Э., Ньюмен Дж. Р. Теорема Гёделя

  • формат djvu
  • размер 1.28 МБ
  • добавлен 24 сентября 2010 г.
Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К. Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки - проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых матем...

Гудстейн Р.Л. Рекурсивный математический анализ

  • формат djvu
  • размер 3.15 МБ
  • добавлен 24 сентября 2010 г.
М. , 1970. 472 с. Рекурсивная теория чисел. Определение по рекурсии. Исчисление равенств. Логические константы. Основные теоремы арифметики. Формализация примитивно рекурсивной арифметики. Сведения к примитивной рекурсии. Устранение параметров. Гёделевская нумерация и неполнота арифметики. Рекурсивный анализ. Рекурсивная сходимость. Рекурсивная и относительная непрерывность. Рекурсивная и относительная дифференцируемость. Относительный интеграл....

Пономарев И.Н. Введение в математическую логику и роды структур

  • формат pdf
  • размер 1.48 МБ
  • добавлен 24 сентября 2010 г.
Учебное пособие. М.: МФТИ, 2007. 240 с. В этом пособии, написанном по материалам семинаров, проводившихся автором на кафедре прикладных концептуальных методов в Московском физико-техническом институте, изложены элементы классической логики, а также аппарат родов структур Бурбаки. Применяется стандартная (не бурбаковская) терминология и аксиоматика логики и теории множеств, что позволяет использовать это пособие совместно с другими учебниками. П...

Голдблатт Р. Топосы. Категорный анализ логики

  • формат djvu
  • размер 5.7 МБ
  • добавлен 24 сентября 2010 г.
М.: Мир, 1983. 487 с. Топосы - это специального вида категории, способные служить моделями для теоретико-множественных конструкций. Они являются математическим средством унификации и обобщения математических задач и методов их решения. Их можно рассматривать как главный объект новой концепции оснований математики. Для математиков разных специальностей, аспирантов и студентов университетов.

Гордон Е.И. Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 529.58 КБ
  • добавлен 24 сентября 2010 г.
Нижний новгород, 1998. 86 с. Учебное пособие представляет запись лекций по курсу "Теория алгоритмов и математическая логика" для механико-математического факультета, обучающихся по специальности "Математика". Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории.

Дудаков С.М. Основы теории моделей

  • формат pdf
  • размер 2.15 МБ
  • добавлен 24 сентября 2010 г.
Учебнеое пособие. 2009. 291 с. Основы теории множеств (Аксиомы теории множеств. Наследственно конечные множества. Подмножества и декартовы произведения. Отношения и функции. Индуктивные множества. Аксиома выбора и аксиома регулярности. Упорядоченные множества. Частично упорядоченные множества. Решетки и булевы алгебры. Вполне упорядоченные множества. Ординалы. Определение и основные свойства. Трансфинитные построения. Арифметика ординалов. Мощно...

Ершов Ю.Л. Определимость и вычислимость

  • формат djvu
  • размер 2.22 МБ
  • добавлен 24 сентября 2010 г.
Новосибирск: Научная книга, 1996. 300 с. Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Нов...

Балюк А.С., Винокуров С.Ф. и др. Избранные вопросы теории булевых функций

  • формат djvu
  • размер 1.85 МБ
  • добавлен 23 сентября 2010 г.
А. С. Балюк, С. Ф. Винокуров, А. И. Гайдуков и др.; Под ред. С. Ф. Винокурова, Н. А. Перязева. — М.: Физматлит, 2001. — 192 с. Рассматриваются разделы теории булевых функций, интенсивно развивающиеся в настоящее время: представление бинарными термами, бесповторными термами и полиномиальными формами. Введение в теорию булевых функций. Бесповторные булевы функции. Полиномиальные представления булевых функций. Методы нахождения представлений частич...

Борщев В.Б., Partee B.H. Интеграция лексической и формальной семантики

  • формат pdf
  • размер 2.73 МБ
  • добавлен 21 сентября 2010 г.
Казань, 2003. 58 с. Курс лекций по логической семантике, прочитанный в Казанском университете в 2003 г. Содержит элементарное изложение методов, средств и проблем описания семантики естественных языков. Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка. Формальная семантика. Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных групп. Превые шаги к интеграции формальн...

Романов В.Ф. Математическая логика и теория алгоритмов. Задачник

  • формат pdf
  • размер 11.52 МБ
  • добавлен 21 сентября 2010 г.
Издательство ВлГУ, 24 стр. , 2003 г. ISBN 5-89368-423-0. Приведено компактное множество задач по основам курса "Математическая логика и теория алгоритмов". Задачник предназначен и для активного изучения других дисциплин, связанных с математической логикой и программированием. Во второй части издания даны ответы и указания к решениям задач, а так же полные решения задач из раздела "Формальные системы и логический вывод". Структура и содержание со...

Столяр А.А. Логическое введение в математику

  • формат djvu
  • размер 1.46 МБ
  • добавлен 21 сентября 2010 г.
Издательство "Вышэйшая школа", Минск 1971. Книга содержит изложение вводного курса, предназначенного для студентов первого года обучения математических специальностей педагогических вузов. Цель этого курса - привить студентам навыки современного математического мышления и его точного, краткого и ясного выражения, облегчить им последующее изучение различных математических дисциплин и методики современного преподавания математики в школе. В книге...

Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста

  • формат pdf
  • размер 3.03 МБ
  • добавлен 21 сентября 2010 г.
М.: Наука, 1966. 120 с. Работа состоит из двух частей. В первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. Рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. Во второй части строятся замкну...

Непейвода Н.Н. Прикладная логика

  • формат pdf
  • размер 2.31 МБ
  • добавлен 19 сентября 2010 г.
Учебное пособие. Ижевск, 2000. 529 с. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы. Предикаты и элементарные формулы. Некоторые обозначения. Запись высказываний. Логические формулы. Связка ‘и’. Связка ‘или’. Связка ‘следует’....

Трохименко В.С. Конспект лекцій з математичної логіки та теорії алгоритмів

  • формат pdf
  • размер 748.08 КБ
  • добавлен 13 сентября 2010 г.
Вінниця, 2007. Конспект лекцій відповідає діючій програмі з математичної логіки і теорії алгоритмів для математичних спеціальностей педагогічних університетів. Зміст: Вступ. 1. Логіка висловлень. Логічні операції над висловленнями. Логічне слідування в логіці висловлень. Рівносильність формул логіки висловлень. Нормальні форми. Повні системи булевих функцій. Алгебра Жегалкіна. Замкнені класи булевих функцій. Теорема про функціональну повноту. 2....

Слупецкий Е., Борковский Л. Элементы математический логики и теории множеств

  • формат djvu
  • размер 2.33 МБ
  • добавлен 10 сентября 2010 г.
Перевод с польского О. Ф. Серебрянникова, Издательство Прогресс, Москва, 1965. Книга известных польских логиков, посвящена изложению основ современной формальной логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики.

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

  • формат djvu
  • размер 1.64 МБ
  • добавлен 23 августа 2010 г.
4-е изд., Издательство: Физматлит, Год: 2004. - 256 с. Качество: хорошее. Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформули...

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

  • формат pdf
  • размер 1.52 МБ
  • добавлен 23 августа 2010 г.
Название: Математическая логика. Курс лекций. Автор: Тимофеева И. Л. Издательство: КДУ. Год: 2007. Страниц: 304. Формат: pdf. Размер: 1,3 mb. ISBN 978-5-98227-307-9. Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает...

Батыршин И.З. Основные операции нечеткой логики и их обобщения

  • формат djvu
  • размер 661.95 КБ
  • добавлен 21 августа 2010 г.
Казань: Отечество, 2001. - 100 с. В книге рассматриваются свойства операций конъюнкции, дизъюнкции и отрицания нечеткой логики и определяемых ими опереций пересечения, объединения и дополнения нечетких множеств. В первой главе рассматриваются классические опереации нечеткой логики, введенные Заде, и используются свойства алгебры Клини. Во второй главе изучаются инволютивные и неинволютивные операции отрицания и методы их генерации. В третьей гла...

Пайсон Б.Д. Математическая логика

  • формат pdf
  • размер 77.01 МБ
  • добавлен 27 июня 2010 г.
Учебное пособие, Барнаул, Барнаульский государственный педагогический университет, 2006. -168 с.

Чудинов К.М. (состав.) Математическая логика и теория алгоритмов

  • формат doc
  • размер 422.67 КБ
  • добавлен 17 июня 2010 г.
Методические указания для студентов II курса заочного отделения специальности ИСТ. / Сост. К. М. Чудинов; Пермь: Изд-во Перм. гос. техн. ун-та, 2007. 48 с. Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примерами решения задач, задачи для самостоятельного решения и список рекомендуемой литературы. Программа курса: Логика высказываний. Логические операции. Формулы логики высказываний...

Курсовая работа - Теорема о неподвижной точке

Курсовая работа
  • формат doc
  • размер 113.5 КБ
  • добавлен 15 июня 2010 г.
Введение. Теорема о неподвижной точке. Неподвижная точка и отношения эквивалентности. Системный трюк: ещё одно доказательство. Несколько замечаний. Практическая часть. Заключение. Список литературы.

Курсовая работа - Кванторные теории

Курсовая работа
  • формат doc
  • размер 6.95 МБ
  • добавлен 11 июня 2010 г.
Определение кванторов, Аксиомы кванторных теорий, Свойства кванторов, Типовые кванторы, Обобщенные позитивно-образованные формулы (ПОФ), Граф позитивно-образованной формулы, Алгоритм метода редукции (алгоритм построения ), Теорема редукций, Исключение независимых типовых кванторов -27 стр

Конспект лекций для экзамена по курсу Математическая логика

Статья
  • формат doc
  • размер 979 КБ
  • добавлен 17 мая 2010 г.
Конспект лекций - Метематическая логика Теория алгоритмов Различные подходы к определению алгоритма: Машина с неограниченными регистрами (МНР). Машина Тьюринга - Поста. Нормальные алгоритмы Маркова. Реализация функции натурального переменного. Эквивалентность трех подходов к понятию алгоритм. Булевы функции. Основные определения Дизъюнктивные нормальные формы. Логические Исчисления. Исчисления высказывания (ИВ). Правило одновременной подстановки...

Чёрч А. Введение в математическую логику. Том 1

  • формат djvu
  • размер 5.11 МБ
  • добавлен 02 мая 2010 г.
Пер. с англ. В. С. Черняевского, под редакцией В. А. Успенского. Издательство иностранной литературы. Москва, 1960. Эта монография принадлежит перу одного из самых известных современных специальистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую пр...

Булос Дж., Джеффри Р. Вычислимость и логика

  • формат djvu
  • размер 9.81 МБ
  • добавлен 02 мая 2010 г.
Пер. с англ. - М., Мир, 1994 - 396 с., ил. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знамен...

Миронов А.М. Математическая логика

  • формат pdf
  • размер 704.77 КБ
  • добавлен 29 апреля 2010 г.
Содержание. Высказывания. Формулы логики высказываний. Анализ рассуждений. Метод резолюций для ЛВ. Введению в теорию множеств. Отношения и функции. Основные результаты теории множество. Логика предикатов. Теорема Эрбрана. Метод резолюций для ЛП. Семантический вывод. Теорема Геделя. Модальная логика. Нечеткие логики.

Реферат - Формальні моделі алгоритмів та алгоритмічно обчислюваних функцій

Реферат
  • формат doc
  • размер 703.5 КБ
  • добавлен 23 апреля 2010 г.
Зміст: 1. машини із натуральнозначними регістрами(МНР). 2. машини Тьюрінга. 3. нормальні алгоритми Маркова. 4. системи Поста. 5. обчислювальність квазиарних функцій на множині натуральних чисел. 6. очислюваність п-арних функцій на множині натуральних чисел. 7. програмовані функцій на множині натуральних чисел. 8. теза Чорча

Клини С. Введение в метаматематику

  • формат djvu
  • размер 9.32 МБ
  • добавлен 22 апреля 2010 г.
М.: Издательство иностранной литературы, 1957. - 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и н...

Зюзьков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1.73 МБ
  • добавлен 16 апреля 2010 г.
ТУСУР, 2001, 154с. Томский межвузовский центр дистанционного образования (ТУСУР). Содержание: Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.

Шпоры по матлогике

pottee
  • формат doc
  • размер 24.12 КБ
  • добавлен 14 апреля 2010 г.
УГАТУ, 2005 год. Определение высказывания Логическое следование Осн. Правила. Вывода Формулы логики предикатов и т. д.

Усенко В.В. Логические системы управления

  • формат djvu
  • размер 803.04 КБ
  • добавлен 20 марта 2010 г.
Приведено описание основ математической логики, законов и свойств логических операций, методов оценки сложности логических форм и способов их упрощения. Рассматриваются примеры построения простых логических схем и их реализация. Показывается, что сегодня математическая логика является не только теоретической базой обоснованности алгоритмов управления, но и в значительной мере техническим средством их реализации. Особое внимание уделяется вопросам...

Шапорев С.Д. Математическая логика. Курс лекций и практических занятий

  • формат djvu
  • размер 2.36 МБ
  • добавлен 11 марта 2010 г.
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающ...

Лекции - Математическая логика и основы теории алгоритмов

Статья
  • формат pdf
  • размер 1.54 МБ
  • добавлен 11 марта 2010 г.
12 лекций по математической логике и теории алгоритмов. Второй курс, СФУ ИКИТ, 2009 год, преподаватель Вепринцев Д. В. Рассматриваемые вопросы: Алгебра высказываний. Тавтологии алгебры высказываний. Признаки логического следствия. Булевы функции. Нормальные формы булевых функций. Алгебра Жегалкина. Монотонность функции. Теорема о полноте. Релейно-контактные схемы. Логика предикатов. Кванторные операции над предикатами. Аристотелева силлогистика....

Букур И., Деляну А. Введение в теорию категорий и функторов

  • формат djvu
  • размер 2.15 МБ
  • добавлен 03 марта 2010 г.
Книга румынских математиков представляет собой введение в теорию категорий, методы и язык которой применяются почти во всей современной математике. Приводятся многочисленные примеры ситуаций из различных разделов математики, которые иллюстрируют универсальность рассматриваемых понятий. Книга может служить учебным пособием для изучающих современную алгебру и топологию. Она доступна студентам-математикам старших курсов университетов.

Шенфилд Д. Математическая логика

  • формат djvu
  • размер 3.21 МБ
  • добавлен 02 марта 2010 г.
«Наука», 1975г. , 529 стр., пер. с английского. Книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все теоремы, заслужившие всеобщее признание специалистов, в области математической логики, теории моделей и теории алгоритмов....

Калужнин Л.А. Что такое математическая логика

  • формат djvu
  • размер 1.32 МБ
  • добавлен 22 февраля 2010 г.
М.: Наука, 1964. - 152 с. Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики.

Линдон Р. Заметки по логике

  • формат djvu
  • размер 1.25 МБ
  • добавлен 22 февраля 2010 г.
М.: Мир, 1968. - 128 с. Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выразил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями.

Реферат - Нечітка логіка

Реферат
  • формат doc
  • размер 1.92 МБ
  • добавлен 28 января 2010 г.
Вступ. Нечіткі множини. Основні характеристики нечітких множин. Методи побудови функцій приналежності нечітких множин. Операції над нечіткими множинами. Властивості множини нечітких підмножин. Нечітка логіка висловлень. Нечітка лінгвістична логіка. Нечіткі множини в системах керування. Переваги нечітких систем. Висновок. Використана література.

Галиев Ш. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 7.14 МБ
  • добавлен 28 января 2010 г.
Пособие содержит следующие разделы. Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики. Теорию алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и их взаимосвязи. Понятие о сложности вычислений, различн...

Колмогоров А.Н, Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • формат djvu
  • размер 3.34 МБ
  • добавлен 23 января 2010 г.
М.: КомКнига, 2006. - 240 с. Классический университетский учебник. В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся...

Лоскутова Е.С., Нахман А.Д. Математическая логика. Типовые расчёты

  • формат pdf
  • размер 342.57 КБ
  • добавлен 22 января 2010 г.
Краткая теория + Пример выполнения типового расчёта (12 задач с решением) + Варианты заданий. Методические указания. Тамбов. Изд. ТГТУ, 2008 г. - 20 с. Основные понятия и утверждения математической логики (алгебры высказываний), руководство к решению типовых задач и образцы решений. Для студентов инженерно-технических специальностей. Содержание: I. Теоретическая часть 1. Понятие высказывания. 2. Логические операции над высказываниями 3. Формул...

Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики

  • формат djvu
  • размер 1.38 МБ
  • добавлен 18 января 2010 г.
Просвещение. 1978 г. - 89 с. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики. Содержание: Как возникла формальная и математическая логика. Начала теории множеств. Алгебра высказываний и алгебра множест...

Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Часть 2. Задачник-практикум и решения

  • формат pdf
  • размер 7.57 МБ
  • добавлен 16 января 2010 г.
СПб.: Издательство "Лань", 2008. - 288 с. - (учебник для вузов. специальная литература). Вторая часть учебника содержит упражнения по разделам, рассмотренным в первой части: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы. в конце ответы.

Пономарев В.Ф. Математическая логика. Часть 1. Логика высказываний. Логика предикатов

  • формат doc
  • размер 182.29 КБ
  • добавлен 14 января 2010 г.
Калининград: КГТУ, 2001. -140 с. Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные прин-ципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графическую работу. В расчетно-графической работе...

Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая

  • формат doc
  • размер 155.12 КБ
  • добавлен 14 января 2010 г.
Калининград: КГТУ, 2001. -140 с. Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графические работы по реляционной логике. Содержание: Введение 3. Логика реляционная 3...

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику

  • формат djvu
  • размер 1.5 МБ
  • добавлен 12 января 2010 г.
Учебное пособие предназначено для ничинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и расчитано для студентов младших курсов. М:. Издательство Моск. ун-та, 1982, 120с. Игу ИМЭИ, 2 курс 3-4 семестр 010101 - Математика

Лекции по математической логике

Статья
  • формат doc
  • размер 152.65 КБ
  • добавлен 09 января 2010 г.
2 курс 1 семестр, множество, машины Тьюринга, нормальные алгоритмы, предикаты, формальные теорииrn

Carroll Lewis. Symbolic Logic

  • формат djvu
  • размер 1.88 МБ
  • добавлен 07 января 2010 г.
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. Классификация] Chapter III Division [Глава III. Разбиение на подклассы] Chapter IV Names...

Шпоры по математической логике

pottee
  • формат doc
  • размер 1.02 МБ
  • добавлен 07 января 2010 г.
Ответы по темам за 1 семестр математической логики. Ответы на экзаменационные билеты по математической логике всего 24 вопроса. Вопросы по темам от: 1) Двузначная логика, булевы функции, до 24) Множества и операции над ними.

Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем

  • формат djvu
  • размер 3.29 МБ
  • добавлен 24 декабря 2009 г.
М.: Наука, 1983. - 360 с. Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного интеллекта.

Мельников Г.П. Азбука математической логики

  • формат djvu
  • размер 1.79 МБ
  • добавлен 28 ноября 2009 г.
М.: Знание, 1967. - 104 с. Небольшое за объемом пособие, доступное даже тем, кто не имеет значительной математической подготовки. Состоит из трех разделов: "Общие исходные понятия", "Логические отношения и законы математической логики", "Логика и математика".

Депман И.Я. Первое знакомство с математической логикой

  • формат djvu
  • размер 1.28 МБ
  • добавлен 28 ноября 2009 г.
Ленинград: Знание, 1963. - 57 с. Учебное пособие, для тех. кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики.

Гладкий А.В. Математическая логика

  • формат djvu
  • размер 4.83 МБ
  • добавлен 27 ноября 2009 г.
М.: Изд. центр РГГУ, 1998. - 478 с. Учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей. Книга содержит много задач и упражнений.

Реферат - Логические уравнения

Реферат
  • формат doc
  • размер 46 КБ
  • добавлен 22 ноября 2009 г.
Реферат: Решения дифференциальных логических уравнений, алгоритм «Селигер», Алгоритм «ТВАТ», Литература.

Фрейденталь Х. Язык логики

  • формат djvu
  • размер 1023.03 КБ
  • добавлен 19 ноября 2009 г.
М.: Наука, 1969. - 136 с. В 1961 г. в Хаарлеме (Нидерланды) вышла небольшая книжка «Exacte logica» («Точная логика»). Автор ее профессор X. Фрейденталь - известный голландский математик с весьма широкими интересами. Развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение интуиционистской топологии. В последние годы большую популярность завоевала книга Фрейденталя «Lincos» («Lingua cosmica»), о...

Лекции по булевым функциям

Статья
  • формат doc
  • размер 869 КБ
  • добавлен 07 ноября 2009 г.
Булевы переменные и функции. Операции булевой алгебры. Эквивалентные формулы. Основные эквивалентности. Дизъюнктивная нормальная форма (ДНФ). Совершенная ДНФ. Минимизация ДНФ. Конъюнктивная нормальная форма (КНФ). Совершенная КНФ. Минимизация КНФ. Полиномиальное разложение: СПНФ. Канонический полином Жегалкина. Арифметический полином.

Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики

  • формат djvu
  • размер 862.87 КБ
  • добавлен 01 ноября 2009 г.
М.: Физматлит,2004г. — 128 с. В уч. пособии содержится материал осн. курса «Введение в мат. логику», читаемого на мех. -мат. фак. МГУ. Излагаются элементы теории множеств, осн. понятия, относящиеся к семантике формализованных логико-матем. языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов матем. факультетов университетов, пед. институтов, а также др. вузов...

Калиткин Н.Н. Математические модели природы и общества

  • формат djvu
  • размер 5.02 МБ
  • добавлен 28 октября 2009 г.
2005 - 360 стр. Настоящая монография содержит основные результаты исследований в области построения математических моделей природы и общества, полученные Институтом математического моделирования РАН в содружестве с ГУИС ФАПСИ и социологическим факультетом МГУ им. М. В. Ломоносова. Эти исследования сконцентрированы на проблемах математического моделирования развития сложных ситуаций, возникающих в природе и обществе. С помощью мониторинговых и мод...

Ячменева Н.Н. Математическая логика

  • формат pdf
  • размер 502.72 КБ
  • добавлен 22 октября 2009 г.
Метод. пособие по логике. Ростов-на-Дону. 2007г. – 42 с. Примеры решения задач по матем. логике. Темы пособия: 1. Алгебра высказываний. 2. Исчисление высказываний ИС генценовского типа. 3. Исчисление высказываний ИВ гильбертовского типа. 4. Общезначимость формул. 5. Логические программы.

Лупанов О.Б. Введение в математическую логику

  • формат pdf
  • размер 1.28 МБ
  • добавлен 21 октября 2009 г.
Мех-мат, МГУ. - 2007 г. - 192 с. Учебное пособие для студентов и аспирантов. Функции алгебры логики. Функции k-значной логики. Логические схемы. Конечные автоматы. Алгоритмы и вычислимые функции. Исчисление высказываний. Логика предикатов. Исчисление предикатов.

Хаусдорф Ф. Теория множеств

  • формат djvu
  • размер 3.74 МБ
  • добавлен 06 октября 2009 г.
Перевод с немецкого Н. Б. Веденисова. Под редакцией и с дополнениями проф. П. С. Александрова и проф. А. Н. Колмогорова. Объединенное научно-техническое издательство НКТП СССР. Главная редакция технико-теоретической литературы. Москва 1937 Ленинград. 306 с. [OCR] Предлагаемая книга ставит своей целью изложить важнейшие теоремы теории множеств так, чтобы ее прочтение не требовало обращения к посторонним источникам и, наоборот, могло служить более...

Дурнев В.Г. Элементы теории множеств и математической логики

  • формат djvu
  • размер 11.03 МБ
  • добавлен 05 октября 2009 г.
Ярославль, Ярославский государственный университет, 1978. -117 с. Настоящее учебное пособие предназначено для студентов 1го курса университета. Оно может служить введением в теорию множеств и математическую логику. В первой части пособия излагаются основные элементарные понятия и теоремы теории множеств, большое внимание уделяется аксиоме выбора.

Успенский В.А. Теорема Гёделя о неполноте

  • формат djvu
  • размер 1.8 МБ
  • добавлен 04 октября 2009 г.
М.: Наука, 1982. -110 с. Содержание: 1. Постановка задачи. 2. Начальные понятия теории алгоритмов и их применения. 3. Простейшие критерии неполноты. 4. Язык алгоритмов. 5. Три аксиомы теории алгоритмов. ПРИЛОЖЕНИЯ: А. Синтаксическая и семантическая формулировки теоремы о неполноте. Б. Арифметические множества и теорема Тарского о неарифметичности множества истинных формул языка арифметики. В. Язык адресных программ, расширенный арифметически...

Верещагин Н.К., Шень А. Начала теории множеств

  • формат pdf
  • размер 907.47 КБ
  • добавлен 04 октября 2009 г.
М.: МЦНМО, 2002 г. - 128 с. 150 задач различной трудности. По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Содержание: 1. Множества и мощности. 1.1. Множества. 1.2. Число элементов. 1.3. Равномощные множества. 1.4. Счётные множества. 1.5. Теорема Кантора-Бернштейна. 1.6. Теорема Кантора. 1.7. Функции. 1.8....

Кац М., Улам С. Математика и логика

  • формат djv
  • размер 3.16 МБ
  • добавлен 04 октября 2009 г.
М., Мир, 1971г. 252 с. Книга видных американских учёных Марка Каца и Станислава Улама подготовлена для выпускаемой издательством Британской энциклопедии серии обзоров, посвящённых состоянию и ближайшим перспективам развития различных наук. Особое место уделяется взаимодействию и взаимозависимости математики и других наук, обогащающих, по мнению авторов, как чистую математику, так и все использующие математические методы направления научной мысли...

Журавлев Ю.И., Флеров Ю.А. Дискретный анализ

  • формат doc
  • размер 401.87 КБ
  • добавлен 11 сентября 2009 г.
I. Элементы алгебры логики 1. Функции алгебры логики. Табличное задание функций. Элементарные функции, их свойства, таблица операций, коммутативность, ассоциативность, дистрибутивность элементарных функций. 2. Формулы и функции алгебры логики. Теоремы о разложении функций по одной и нескольким переменным. Завершенная дизьюнктивная нормальная форма. 3. Функциональная полнота систем функций алгебры логики. Замкнутые классы. Пять предполных замкнуты...

Анкудинов Г.И., Анкудинов И.Г., Петухов О.A. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1.05 МБ
  • добавлен 28 августа 2009 г.
Учеб. пособие. — 2-е изд. -СПб.: СЗТУ, 2003, 104 с. Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 -"Информатика и вычислительная техника" (Специальность 220100 -"Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 - "Информатика и вычислительная техника". В пособии...

Быкова С.В., Буркатовская Ю.Б. Булевы функции

Практикум
  • формат pdf
  • размер 426.41 КБ
  • добавлен 23 августа 2009 г.
Методическое пособие, ТПУ 2002г Булевы константы и векторы Булево пространство, интервал в булевом пространстве Булевы переменные, булевы функции, фиктивные переменные Формулы и равносильности Двойственная функция и двойственная формула Разложение булевой функции по переменным и совершенные нормальные формы Дизъюнктивная нормальная форма Сокращенная, кратчайшая, минимальная и безызбыточная ДНФ Минимизация булевых функций

Никольская И.Л. Математическая Логика

  • формат djvu
  • размер 1.06 МБ
  • добавлен 09 августа 2009 г.
Учебник. - М., Высш. школа, 1981, 127 с., ил. Книга предназначена для учащихся техникумов (колледжей) по специальности "Прикладная математика" и содержит теоретич. материал, соответств. программе "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике 8 летней школы. Ясно и последовательно изложен материал. Предназначается для учащихся средних специ...

Вопенка П. Альтернативная теория множеств

  • формат djvu
  • размер 26.36 МБ
  • добавлен 06 августа 2009 г.
Новосибирск, Издательство Института математики, 2004 г. - 613 стр. Книга, посвященная изложению оригинального принципиально нового подхода к теории множеств, написанная выдающимся логиком современности. Понимание содержания книги не требует дополнительной логичнскеой подготовки.

Сечкина И.В. Математическая логика и теория алгоритмов

  • формат doc
  • размер 3.27 МБ
  • добавлен 02 августа 2009 г.
Методические указания к практическим занятиям. Содержание. Алгебра Буля и её модели. Представление булевых функций формулами. Сводка тавтологий. Совершен-ные формы. Конструирование и упрощение релейно-контактных схем. Логические функции (предикаты) и операции над ними. Общезначимые формулы. Представление формул логики предикатов в предваренной нормальной форме. Логика предикатов и алгебра множеств. Уравнения и неравенства как логи-ческие функции...

Барвайс. Дж. Справочная книга по математической логике

  • формат djvu
  • размер 17.63 МБ
  • добавлен 30 июля 2009 г.
В четырех частях. Ч. 1. Теория моделей [DjVu], Ч. 2. Теория множеств [DjVu], Ч. 3. Теория рекурсии[ DjVu] . Ч. 4. Теория доказательств и конструктивная математика [DjVu]. Издательство "Наука" - 1982. Каждый из томов снабжен статьями русских ученых, осуществлявших перевод.

Лекции - Введение в математическую логику. Части 1 - 2

Статья
  • формат doc
  • размер 2.5 МБ
  • добавлен 17 июля 2009 г.
По содержанию данное пособие, является методической основой для изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности, тождественной истинности и тождественной ложности формул; приведение формул логики высказываний к нормальным формам; использование формул логики высказываний в теории конечных автоматов; формулы логики пред...

Новиков П.С. Элементы математической логики

  • формат djvu
  • размер 6.3 МБ
  • добавлен 27 июня 2009 г.
Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание (логика и исчисление высказываний, ло...

Бродский И.Н. Элементарное введение в символическую логику

  • формат tif
  • размер 150 МБ
  • добавлен 20 июня 2009 г.
Элементарные и сложные высказывания; Язык логики высказываний; Семантика логических союзов; Логические условия истинности формул логики высказываний; Равносильные формулы; Тождественно истинные и тождественно ложные формулы; Конъюнктивная нормальная форма; Совершенная конъюнктивная нормальная форма; Сокращенная конъюнктивная нормальная форма; Дизъюнктивная нормальная форма; Аксиоматическое представление логики высказываний; Натуральное исчисление...

Шпоры по математической логике

pottee
  • формат doc
  • размер 336.5 КБ
  • добавлен 15 июня 2009 г.
Исчисление высказываний (ИВ). Основные понятия. Алгебра высказываний. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований формул. Проблемы разрешимости формул. Таблицы истинности. Метод дедуктивного вывода. Modus ponens. Метод дедуктивного вывода. Modus tollens. Основные аксиомы вывода. Принцип резолюции. Исчисление предикатов. Основные понятия. Алгебра предикатов. Основные логические операции. Прави...

Лекции по математической логике

Статья
  • формат doc
  • размер 440 КБ
  • добавлен 14 июня 2009 г.
Сентенциональные связки. Элементарные формулы. Составные формулы. Истинностные функции. Исчисления высказывания. Тавтологии в исчислении высказываний. Эквивалентность высказываний. Теоремы об эквивалентности. Логические следствия. Основные теоремы о логическом следствии. Метод доказательства от противного. Основные понятия теории исчисления предикатов.

Столл Роберт Р. Множества. Логика. Аксиоматические теории

  • формат djvu
  • размер 4.22 МБ
  • добавлен 11 июня 2009 г.
Пер. с англ. Ю. А. Гастева и И. Х. Шмаина. Под ред. Ю. А. Шихановича. М., "Просвещение", 1968. 231 стр. В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр.

Лихтарников Л.М., Сукачева Т.Г. Математическая Логика. Курс лекций

  • формат djvu
  • размер 1.59 МБ
  • добавлен 06 июня 2009 г.
Серия Учебники для вузов. - Санкт-Петербург, Издательство "Лань", 1999 -288 с. Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы

Клини С.К., Весли Р.Е. Основания интуиционистской математики

  • формат djvu
  • размер 2.3 МБ
  • добавлен 06 июня 2009 г.
М., Наука, 1978. - 272 с. ОГЛАВЛЕНИЕ. От переводчиков. Предисловие. Формальная система интуиционистского анализа. Введение в монографию. Статус формальной системы. Правила образования. Постулаты исчисления предикатов, арифметики и касающиеся функций (постулаты групп А — С). Постулаты для некоторых примитивно рекурсивных функций и их следствия (постулаты группы D). Постулаты для потоков (бар-теорема). Постулаты, касающиеся сопоставления функций...

Клини С.К. Математическая логика

  • формат pdf
  • размер 19.53 МБ
  • добавлен 02 июня 2009 г.
1973 г. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах: таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.

Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика

  • формат djvu
  • размер 5.03 МБ
  • добавлен 16 мая 2009 г.
М.: Мир, 1985. - 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирант...

Бурбаки Н. Теория множеств. Книга первая - основные структуры анализа

  • формат djvu
  • размер 9.54 МБ
  • добавлен 26 апреля 2009 г.
Трактат Н. Бурбаки „Начала математики" имеет целью изложить всю современную математику с единой и оригинальной точки зрения. Много выпусков этого трактата уже вышло во Франции. Они вызвали большой интерес математиков всего мира как новизной изложения, так и высоким научным уровнем. Настоящее издание представляет собой перевод первой книги первой части этого трактата, т. е. книги, в которой закладываются наиболее фундаментальные и общие понятия, с...

Гильберт Д., Аккерман В. Основы теоретической логики

  • формат djvu
  • размер 3.35 МБ
  • добавлен 09 апреля 2009 г.
Москва, 1947. Государственное издательство иностранной литературы. Перевод руководства по элементам математической логики Д. Гильберта и В. Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д. Гильберта и написана его учеником Аккерманом. Первоначально книга была намечена как введение в появившуюся позже двухтомную монографию Д. Гильберта и П. Бернайс...

Мендельсон Э. Введение в математическую логику

  • формат djvu
  • размер 2.63 МБ
  • добавлен 09 апреля 2009 г.
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и...

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

Реферат
  • формат doc
  • размер 309.5 КБ
  • добавлен 06 апреля 2009 г.
Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

Ильиных А.П. Математическая логика

  • формат pdf
  • размер 622.58 КБ
  • добавлен 30 марта 2009 г.
Пособие является курсом лекций по математической логике и предназначено для студентов математических факультетов. В первой части приведено исчисление высказываний; во второй части изучается формализованный аксиоматический метод построения математических теорий. Рассмотрены его основные составные части: язык, аксиомы, правила вывода. Приведены основные результаты, связанные с аксиоматическим методом в математике.

Владимиров Д.А. Булевы алгебры

  • формат djvu
  • размер 3.21 МБ
  • добавлен 16 марта 2009 г.
М.: Наука, 1969. - 319 с. Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, даётся обзор её важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге результаты в монографическом изложении публикуются впервые. Книга ра...

Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств

  • формат djvu
  • размер 445.67 КБ
  • добавлен 16 марта 2009 г.
М. : ИЛ, 1963. -55 с. Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств. Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исслед...

Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам

  • формат djvu
  • размер 5.4 МБ
  • добавлен 16 марта 2009 г.
Москва: Наука, 1976. - 328 с. СОДЕРЖАНИЕ. Предисловие редакторов. Кановей В. Г. Определимость с помощью степеней конструктивности. Введение. Нормальные множества. А. Основные определения. Б. К-исчисление. В. х-нормальные множества. Г. Исследование непрерывных функций. Д. Несчетный случай. Определимость в ZF. А. Связь структуры Q с вынуждением. Б. Введение в кодировку. В. Построение проективного полного упорядочения. Г. Кодировка с помощью введен...

Бродский И.Н. Отрицательные высказывания

  • формат djvu
  • размер 1.35 МБ
  • добавлен 16 марта 2009 г.
Л. : ЛГУ, 1973. -104 с. Работа посвящена философскому и логико-семантическому анализу познавательного значения и логических функций отрицательных высказываний. В ней рассматривается история вопроса о смысле отрицательных высказываний, роль отрицательных высказываний в структуре научного знания, так называемый "парадокс несуществования", а также дается критика некоторых современных буржуазных философских теорий смысла отрицания. Значительное мес...

Эдельман С.Л. Математическая логика

  • формат djvu
  • размер 1.48 МБ
  • добавлен 13 марта 2009 г.
Учеб. пособие для ин-тов. М. Высшая школа. 1975. -176 с.: илл В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.

Беркли Э. Символическая логика и разумные машины

  • формат djvu
  • размер 1.98 МБ
  • добавлен 13 марта 2009 г.
Год издания: 1961 Количество страниц: 260 Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает их. ст...

Тарский А. Введение в логику и методологию дедуктивных наук

  • формат djvu
  • размер 5.02 МБ
  • добавлен 08 марта 2009 г.
1948 г. В сборнике представлены как работы, ставшие уже классикой, так и работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными этапами развития этой теории. Можно использовать этот сборник в качестве пособия для систематического изучения теории логического вывода.

Расева Е., Сикорский Р. Математика метаматематики

  • формат djvu
  • размер 5.46 МБ
  • добавлен 24 января 2009 г.
Пер. с англ. - М.: Наука, 1972. – 592 с. Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд. Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые...

Гайштут А.Г. Математика в логических упражнениях

  • формат djvu
  • размер 1.83 МБ
  • добавлен 23 января 2009 г.
К.: Рад. шк., 1985. -192с., ил. В книге помещены занимательные математические упражнения творческого характера, связанные спрограммным материалом 4-10 кл. и направленные на формирование у учащихся навыков самостоятельной работы и таких приемов умственной дкятельности, как анализ, синтез, аналогия, обобщение конкретизация и др.

Гиндикин С.Г. Алгебра логики в задачах

  • формат djvu
  • размер 3.18 МБ
  • добавлен 23 января 2009 г.
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблеммы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.

Марков А.А. Элементы математической логики

  • формат djvu
  • размер 944.37 КБ
  • добавлен 16 января 2009 г.
Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды и установки автора на предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике таких языков. Для студентов и аспирантов математических специальностей и специалистов, интересующихся основаниями математики. Издательство Московского университета, 1984 г. Количество страниц - 80.

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

  • формат djvu
  • размер 2.52 МБ
  • добавлен 30 декабря 2008 г.
3 изд. , 1995. В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник...

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов

  • формат djvu
  • размер 4.29 МБ
  • добавлен 28 декабря 2008 г.
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах: I. Алгебра высказываний; II. Булевы функции; III. Формализованное исчисление высказываний; IV. Логика предикатов; V. Эл...

Игошин В.И. Математическая логика и теория алгоритмов

  • формат djvu
  • размер 6.64 МБ
  • добавлен 28 декабря 2008 г.
2-е изд., стер. — М.: Издательский центр «Академия», 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса ма...

Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов

  • формат djvu
  • размер 5.22 МБ
  • добавлен 28 декабря 2008 г.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Пономарев В.Ф. Математическая логика учебное пособие

  • формат doc
  • размер 345.62 КБ
  • добавлен 20 декабря 2008 г.
Калининградский государственный технический университет: Логика высказываний. Алгебра высказываний. Логические операции. Правила записи сложных формул. Законы алгебры логики. Эквивалентные преобразования формул. Нормальные формы формул. Алгоритм приведения к нормальной форме. Алгоритм преобразования ДНФ к виду СДНФ. Алгоритм преобразования КНФ к виду СКНФ. Исчисление высказываний. Интерпретация формул. Аксиомы исчисления высказываний. Правила в...

Лекции по математической логике

Статья
  • формат doc
  • размер 47.43 КБ
  • добавлен 20 декабря 2008 г.
Логика высказываний. Лингвистические соображения,форулы. Таблицы истинности, общезначимость. Правило подстановки, совокупность общезначимых формул. Отношение следования. Сокращенные таблицы истиности. Доказуемость и выводимость. Теорема о дедукции. Непротиворечивость,правила введения и удаления. Полнота. Логика предикатов. Лингвистические соображения, формулы. Общезначимость. Следование. Доказуемость и выводимость. Теорема о дедукции. Непротиворе...

Гохман А.В. и др. Сборник задач по математической логике и алгебре множеств

  • формат djvu
  • размер 1023.15 КБ
  • добавлен 15 октября 2008 г.
1969 г. Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение. Сборник может быть использован...

Гуц А.К. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1.21 МБ
  • добавлен 15 сентября 2008 г.
Учебное пособие. — Омск: Наследие. Диалог-Сибирь, 2003 г. — 107 с. Омский гос. ун-т. Кафедра кибернетики. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского государственного университета в 2002 году. Для студентов, обучающихся по специальности 075200 - «Компьютерная безопасность» и по специаль...

Лекции по математической логике

Статья
  • формат doc
  • размер 168.15 КБ
  • добавлен 05 сентября 2008 г.
Лекции по математической логике. Основные понятия с примерами. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn

Тихомирова Л.С. Методы минимизации булевых функций

  • формат doc
  • размер 205.86 КБ
  • добавлен 22 июня 2008 г.
Геометрический метод. Метод неопределенных коэффициентов. Метод минимизирующих карт Карно. Метод Квайна. Метод Патрика нахождение всех возможных тупиковых форм. Метод Мак-Класки. Метод диаграмм Вейча.

Лекции по математической логике

Статья
  • формат doc
  • размер 529.13 КБ
  • добавлен 17 ноября 2007 г.
Элементы математической логики, логические операции, логические функции, функцией алгебры логики, Свойства конъюнкции, дизъюнкции и отрицания, Свойства функций сложения по модулю 2, импликации, штриха Шеффера и стрелки Пирса (функции Вебба), Основные классы ФАЛ, Минимальные формы, Карты Карно, Тождественно истинные формулы, Отношение равносильности и эквивалентность, Элементы теории графов, Деревья на множестве вершин, Экстремальное дерево, Дерев...

Лекции по математической логике (компактные)

Статья
  • формат rtf
  • размер 4.75 МБ
  • добавлен 19 сентября 2007 г.
Теория алгоритмов. Различные подходы к определению алгоритма. Машина с неограниченными регистрами (МНР). Машина Тьюринга - Поста. Нормальные алгоритмы Маркова. Реализация функции натурального переменного. Эквивалентность трех подходов к понятию алгоритм. Булевы функции. Основные определения. Дизъюнктивные нормальные формы. Логические Исчисления. Исчисления высказывания (ИВ). Правило одновременной подстановки. Критерий выводимости в ИВ. Непроти...

Программа - Минимизатор выражений логических функций

program
  • формат exe
  • размер 222 КБ
  • добавлен 09 июня 2007 г.
Минимизатор выражений логических функций с учётом неопределённых состояний, необходима некоторым специальностям (АТП, МХ) для курсовых работ по предмету компьютерные системы управления.rn

Лекции по математической логике

Статья
  • формат doc
  • размер 386.76 КБ
  • добавлен 14 февраля 2007 г.
Операции логики Буля. Формы представления булевых операций. Методы доказательства в логике Буля. Задания на практическую работу по логике высказываний. Введение в логику высказываний. Построение доказательств в логике высказываний. Аксиоматический метод. Таблицы истинности. Метод Вонга. Метод натурального исчисления. Задания на практическую работу по логике высказываний. Примеры решения задач. Доказать методом натурального исчисления истинность с...