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

Содержание:
Введение
1 Логика высказываний
1.1 Алгебра высказываний
1.1.1 Логические операции
1.1.2 Правила записи сложных формул
1.1.3 Законы алгебры логики
1.1.4 Эквивалентные преобразования формул
1.1.5 Нормальные формы формул
1.1.5.1 Алгоритм приведения к нормальной форме
1.1.5.2 Алгоритм преобразования ДНФ к виду СДНФ
1.1.5.3 Алгоритм преобразования КНФ к виду СКНФ
1.2 Исчисление высказываний
1.2.1 Интерпретация формул
1.2.2 Аксиомы исчисления высказываний
1.2.3 Правила вывода
1.2.3.1 Правила подстановки
1.2.3.2 Правила введения и удаления логических связок
1.2.3.3 Правила заключения
1.3 Метод дедуктивного вывода
1.4 Принцип резолюции
1.4.1 Алгоритм вывода по принципу резолюции
1.5 Проблемы исчисления высказываний
1.6 Описание высказываний на языке Prolog
Контрольные вопросы
Расчетно-графическая работа
2. Логика предикатов
2.1. Алгебра предикатов
2.1.1 Логические операци
2.1.2 Правила записи сложных формул.
2.1.3 Законы алгебры предикатов
2.1.4 Предваренная нормальная форма
2.1.4.1 Алгоритм приведения формулы к виду ПНФ
2.1.5 Сколемовская стандартная форма
2.1.5.1 Алгоритм Сколева
2.2 Исчисление предикатов
2.2.1 Интерпретация формул
2.2.2 Правила вывода
2.2.2.1 Правила подстановки
2.2.2.2 Правила введения и удаления кванторов
2.2.2.3 Правила заключения
2.2.3 Метод дедуктивного вывода
2.2.4 Принцип резолюции
2.3 Проблемы в исчислении предикатов
2.4 Логическое программирование
Контрольные вопросы
Расчетно-графическая работа
Литература
Предметный указатель
Смотрите также

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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