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

Математическая логика и теория алгоритмов
Т.Е. Бояринцева, Н.В. Золотова, Р.С. Исмагилов
  • Год:
    2011
  • Тип издания:
    Методические указания
  • Объем:
    48 стр. / 2.79 п.л
  • Формат:
    60x84/16
  • ISBN:
  • Читать Online

Ключевые слова: алгоритмическая неразрешимость, алгоритмическая разрешимость, алфавит, булевы векторы, булевы функции, математическая логика, метод резолюций, нечеткая логика, семантика, тезис Черча, теория алгоритмов, теория нечетких множеств, формальные языки, язык высказываний, язык предикатов

 

Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории алгоритмов, теории нечетких множеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи.

Для студентов, изучающих математическую логику, а также для преподавателей.

Рекомендовано Учебно-методической комиссией НУК ФН МГТУ им. Н.Э. Баумана.

 

ОГЛАВЛЕНИЕ
1. ЯЗЫК ВЫСКАЗЫВАНИЙ
1.1. Булевы векторы и булевы функции
1.2. Язык высказываний
1.3. Метод резолюций в языке высказываний
2. ЯЗЫК ПРЕДИКАТОВ
2.1. Синтаксис языка предикатов
2.2. Интерпретации. Семантика языка предикатов
2.3. Метод резолюций в языке предикатов
3. ТЕОРИЯ АЛГОРИТМОВ
3.1. Алгоритмы
3.2. Машины с неограниченными регистрами. Тезис Черча
3.3. Задачи нумерации и перечисления множеств
3.4. Некоторые свойства разрешимых и перечислимых множеств
3.5. Алгоритмическая разрешимость и неразрешимость
4. НЕЧЕТКИЕ МНОЖЕСТВА И НЕЧЕТКАЯ ЛОГИКА
4.1. Нечеткие множества
4.2. Нечеткая логика высказываний

 

 

Авторы работы: Бояринцева Т.Е., Золотова Н.В., Исмагилов Р.С.