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

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

  • Файл формата rar
  • размером 4,75 МБ
  • содержит документ формата rtf
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Лекции по математической логике (компактные)
Теория алгоритмов.
Различные подходы к определению алгоритма.
Машина с неограниченными регистрами (МНР).
Машина Тьюринга - Поста.
Нормальные алгоритмы Маркова.
Реализация функции натурального переменного.
Эквивалентность трех подходов к понятию алгоритм.
Булевы функции.
Основные определения.
Дизъюнктивные нормальные формы.
Логические Исчисления.
Исчисление высказываний (ИВ).
Правило одновременной подстановки.
Критерий выводимости в ИВ.
Непротиворечивость ИВ.
Формальные исчисления.
Предикаты и кванторы.
Определение предиката.
Понятие квантора.
Геометрическая интерпретация навешивания кванторов.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

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

  • doc
Учебно-практическое пособие. – Комсомольск-на-Амуре: Комсомольский-на-Амуре государственный технический университет, 2003. — 61 с. По содержанию данное пособие, является методической основой для изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности,...
  • 2,50 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

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

  • djvu
М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах:...
  • 4,29 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

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

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

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

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

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

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

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

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