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

ВВЕДЕНИЕ ТЕОРИЯ МНОЖЕСТВ Основные понятия теории множеств Множества, способы задания множеств Основные операции над множествами и их свойства Прямое произведение множеств ОСНОВНЫЕ ПОЛОЖЕНИЯ БУЛЕВОЙ АЛГЕБРЫ Булева алгебра и ее применение Определение булевой алгебры Области применения булевой алгебры Высказывания Функции алгебры логики Понятие функции и способы ее задания Элементарные логические операции Свойства основных логических функций Задание функции формулой. Эквивалентные преобразования логических выражений Двойственные функции Специальные разложения логических функций Конъюнктивная и дизъюнктивная нормальные формы Совершенно нормальные конъюнктивная и дизъюнктивная формы Минимизация булевых функций Понятие минимизации Метод неопределенных коэффициентов Метод Квайна — Мак Класки Метод карт Карно Полнота и замкнутость множества булевых функций Понятие функционально полной системы Алгебра Жегалкина Замыкание и замкнутые классы МАТЕМАТИЧЕСКАЯ ЛОГИКА Общие сведения о формальных и аксиоматических системах Исчисление высказываний Методы, используемые для определения общезначимости формул исчисления высказываний Алгоритм редукции Метод резолюций Логика предикатов Основные понятия логики предикатов Логика предикатов как формальная система Определение значения истинности предикатных формул Методы резолюций для логики предикатов РАСШИРЕНИЯ ТРАДИЦИОННОЙ ЛОГИКИ Общие положения модальной логики предикатов Трехзначная семантика для модальной логики предикатов Семантика возможных миров и четырехзначная логика ТЕОРИЯ АЛГОРИТМОВ Общие сведения об алгоритмах и основные требования к ним Рекурсивные функции Машина Тьюринга Нормальные алгоритмы А. А. Маркова Сравнительный анализ основных моделей представления алгоритмов Проблема алгоритмической разрешимости НЕЧЕТКИЕ МНОЖЕСТВА И ВЫВОДЫ Обозначение нечетких множеств и функция принадлежности Нечеткие отношения Нечеткий вывод ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ И ЯЗЫК ПРОЛОГ Основная идея логического программирования и история создания языка Пролог Структура программы и основная терминология Стандартные типы доменов Организация ввода и вывода Операции в Прологе Повторение и рекурсия Списки, их представление и обработка Работа с файлами Работа со строками Создание динамических баз данных Стандартные предикаты random и findall Составные объекты и их использование Примеры использования Пролога для решения интеллектуальных задач Экспертные системы и управление стратегией вывода Моделирование работы машины ТьюрингаО ЗАДАЧИ И ПРИМЕРЫ ИХ РЕШЕНИЯ Теория множеств и булева алгебра Логика высказываний Логика предикатов Теория алгоритмов Элементы теории нечетких множеств Логическое программирование Вопросы и задачи для самостоятельного решения Ответы на вопросы и задачи для самостоятельного решенияЗАКЛЮЧЕНИЕБИБЛИОГРАФИЧЕСКИМ СПИСОК
 
  РЕЗЮМЕ   След >