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


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

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

  • разное
  • djvu
  • 1.5 МБ
  • добавлен 06.02.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 Edinburg...
Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

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

  • рефераты
  • pdf
  • 3.58 МБ
  • добавлен 01.02.2012
Наглядное пособие / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 136 слайдов.

Содержание:
Введение. Классическая пропозициональная логика.
Позитивная логика.
Основные теоремы позитивной логики.
Немодальные расширения позитивной логики.
Расширение логики...
Голованов М.И. Нестандартные логики. Реляционная семантика

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

  • разное
  • pdf
  • 683.29 КБ
  • добавлен 01.02.2012
Курс лекций / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 103с.

Содержание:
Введение. Краткий экскурс в историю логических исследований.
Определение пропозициональной логики.
Позитивная логика.
Основные теоремы позитивной логики.
Немодальные расширения...
Padawitz P. Deduction and Declarative Programming

Padawitz P. Deduction and Declarative Programming

  • разное
  • djvu
  • 1.4 МБ
  • добавлен 31.01.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. Th...
Chaitin G.J. The Unknowable

Chaitin G.J. The Unknowable

  • разное
  • pdf
  • 527.56 КБ
  • добавлен 31.01.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 wa...
Нет изображения

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

  • разное
  • docx
  • 252.64 КБ
  • добавлен 23.01.2012
Постановка задачи минимизации функций алгебры логики. Этапы минимизации. Методы минимизации. Расчетный метод. Карты Карно. Геометрический метод. Примеры минимизации. Метод Квайна.rn
Катаев А.В. ВолгГТУ. Множества

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

  • разное
  • docx
  • 37.01 КБ
  • добавлен 23.01.2012
Множества. Пустое множество. Универсальное множество. Подмножества. Собственное подмножество. Способы задания множеств. Мощность множества. Равномощные множества. Конечные и счётные множества. Операции над множествами (объединение, пересечение, дополнение, разность, симметрическая разность). Законы алгебры множеств. Характеристи...
Нет изображения

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

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

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

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

Turing maschine

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

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

  • разное
  • doc
  • 411 КБ
  • добавлен 06.01.2012
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2005. - 34 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов»

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

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

  • разное
  • pdf
  • 2.6 МБ
  • добавлен 06.01.2012
Саратов: Изд-во Саратовского госуниверситета, 1969. - 92 с.

Описание: Предлагаемый сборник задач составлен в соответствии ег программой университетского курса "Элементы математической логики и алгебры множеств".
Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных с...
Галиев Ш.И. Математическая логика и теория алгоритмов

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

  • разное
  • djvu
  • 1.27 МБ
  • добавлен 04.01.2012
Казань: Издательство КГТУ им. А. Н. Туполева, 2002. - 270 с.

Пособие содержит следующие разделы:
Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ.
Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначны...
Стенюшкина В.А. Математическая логика и теория алгоритмов

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

  • разное
  • pdf
  • 1 МБ
  • добавлен 04.01.2012
Оренбург: ГОУ ОГУ, 2004. – 106 с.

Пособие предназначено студентам экономических и естественнонаучных специальностей для выработки конструктивных знаний в области формальной логики и алгоритмизации.
Маркин П.М. Математическая логика

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

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

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

  • разное
  • doc
  • 598.5 КБ
  • добавлен 01.01.2012
Учебное пособие. – Киров: Изд-во КИПК и ПРО, 2010. – 60 страниц. Введение. Элементы математической логики. Математические доказательства. Софизмы. Высказывания и операции над ними. Неопределенные высказывания. Кванторы. Логические задачи. Математические методы в целенаправленной деятельности. Понятие вероятности случайных событи...
Crossley J.N. What is Mathematical Logic?

Crossley J.N. What is Mathematical Logic?

  • разное
  • djvu
  • 882.84 КБ
  • добавлен 22.12.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-cen...
Dov M. Gabbay. Handbooks of logic in computer science. Volume 5

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

  • разное
  • pdf
  • 27.86 МБ
  • добавлен 22.12.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 sci...
Michael huth, Mark ryan. Logic in computer science modelling and Reasoning about Systems

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

  • разное
  • pdf
  • 2.13 МБ
  • добавлен 22.12.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...
Андрійчук В., Комарницький М., Мельник І. Елементи математичної логіки та теоріі рекурсії

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • лекции
  • pdf
  • 1.47 МБ
  • добавлен 09.11.2010
Лекции по математической логике и теории алгоритмов.
Алгебра логики.
Определение булевой функции.
Элементарные булевы функции.
Задание булевых функций посредством элементарных.
Существенные и несущественные переменные.
Таблицы истинности.
Эквивалентные функции.
Основные эквивалентности.
Функци...
Учебник по математике для юридического факультета

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

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

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

  • рефераты
  • doc
  • 309.5 КБ
  • добавлен 06.04.2009
Математическая логика в лицах.
Введение.
Язык логики предикатов.
Синтаксис языка логики предикатов .
Семантика языка логики предикатов.
Логика предикатов.
Исчисление предикатов.
Определение формулы логики предикатов.
Свободные и связные вхождения.
переменных в формулы.
Логические и квантор...
Задачи по математической логике (+примеры решения и комментарии)

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

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

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

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

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

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

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

  • лабараторные
  • rtf
  • 3.53 МБ
  • добавлен 01.05.2011
СПб. : 2011 г - 38 стр.

Содержание.
Основные понятия булевой алгебры.
Способы задания булевых функций.
Булевы функции одной и двух переменных.
Основные законы и тождества булевой алгебры.
Аналитическое представление булевых функций.
Функционально полные системы булевых функций.
Минимизация бу...
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов

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

  • разное
  • djvu
  • 4.29 МБ
  • добавлен 28.12.2008
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Сборник состоит из четырнадцати параграфов в 5 гла...
Лекции - Введение в математическую логику. Части 1 - 2

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

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

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

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

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

  • разное
  • djvu
  • 6.64 МБ
  • добавлен 28.12.2008
2-е изд., стер. — М.: Издательский центр «Академия», 2008. — 448 с.

Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы ...
Задачи по математической логике (+примеры решения и комментарии)

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

  • лабараторные
  • rtf
  • 5.68 МБ
  • добавлен 27.04.2011
Задачи по математической логике (+примеры решения и комментарии).
Содержание:
Элементы алгебры высказываний.
Логические операции над высказываниями.
Равносильные формулы алгебры высказываний.
Нормальные формы.
Логические следствия.
Решение задач с помощью алгебры высказываний.
Исследование рассужд...
Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Часть 2. Задачник-практикум и решения

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

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

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

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

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

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

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

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

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

  • разное
  • doc
  • 205.86 КБ
  • добавлен 22.06.2008

Геометрический метод.
Метод неопределенных коэффициентов.
Метод минимизирующих карт Карно.
Метод Квайна.
Метод Патрика нахождение всех возможных тупиковых форм.
Метод Мак-Класки.
Метод диаграмм Вейча.
Колмогоров А.Н, Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

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

  • разное
  • djvu
  • 3.34 МБ
  • добавлен 23.01.2010
М.: КомКнига, 2006. - 240 с.
Классический университетский учебник.

В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами...
Нет изображения

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

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

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

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

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

  • лекции
  • doc
  • 386.76 КБ
  • добавлен 14.02.2007
Операции логики Буля.
Формы представления булевых операций.
Методы доказательства в логике Буля.
Задания на практическую работу по логике высказываний.
Введение в логику высказываний.
Построение доказательств в логике высказываний.
Аксиоматический метод.
Таблицы истинности.
Метод Вонга.
Метод ...
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

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

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

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

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

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

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

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

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

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

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

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

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