С.В. Судоплатов, Е.В. Овчинникова | Математическая логика и теория алгоритмов (2004) [PDF]

Учебная литература различной тематики (без категории)
Торрент Сидеров Личеров Размер
torrent_787872.torrent
0 0 19.82 МБ
Аватара пользователя
Nik
Сообщения: 25933
Зарегистрирован: 05 ноя 2011, 22:02

С.В. Судоплатов, Е.В. Овчинникова | Математическая логика и теория алгоритмов (2004) [PDF]

Сообщение Nik » 20 сен 2016, 23:05

С.В. Судоплатов, Е.В. Овчинникова | Математическая логика и теория алгоритмов (2004) [PDF]

Автор: С.В. Судоплатов, Е.В. Овчинникова
Серия: "Высшее образование"
Издательство: Инфра-М, Издательство НГТУ
ISBN: 5-16-001975-8, 5-7782-0458-2
Жанр: Математика
Формат: PDF
Качество: Хороший скан
Иллюстрации: Черно-белые
Количество страниц: 224

Описание:
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик.
Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.
Скриншоты:
Предисловие
Введение
Исчисление высказываний
Определение формальногo исчисления
Исчисление высказываний генценовскоro типа
Эквивалентность формул
Нормальные формы
Семантика исчислении секвенций
Исчисление высказываний гильбертовского типа
Алгоритмы проверки общезначимости и противоречивости в ИB
Логические задачи
Задачи и упражнения
Логика и исчисления предикатов
Формулы сигнатуры ?. Истинность формулы на aлгебраической системе
Секвенциальное исчисление предикатов
Эквивалентность формул в ИПС?
Нормальные формы
Теорема о существовании модели
Исчисление предикатов гильбертовского типа
Скулемизация алгебраических систем
Meтoд резолюций в исчислении предикатов
Логические программы
Задачи и упражнении
Элементы теории моделей
Элементарная эквивалентность. Teopeмы Лёвенгейма-Скулема
Элементарные теории
Типы. Основные классы моделей
Категоричность. Спектры моделей полных теорий
Система аксиом арифметики Пеано
Нестандартные модели арифметики
Задачи и упражнения
Элементы теории алгоритмов
Машины Тьюринга
Рекурсивные функции и отношении
Эквивалентность моделей алгоритмов
Универсальныe частично рекурсивные фyнкции. Теорема Райса
Рекурсивно пepeчислимые отношения
Неразрешимость исчисления предикатов. Теорема Гёделя о неполноте. Разрешимые и неразрешимые теории.
Xapaктepистики сложности aлгoритмов
Переборные задачи
Aлгоpитмы сортировки
Конечные автоматы
Задачи и упражнения
Нeклaccичecкие логики
Пропозициональные логики
Предикатные лoгики
Предикатные временные логики и их приложение к программированию
Aлгоpитмичecкиe логики
Список литeратуры
Предметный указатель
Время раздачи: с 18:00 до 7:00 Мск
У вас нет необходимых прав для просмотра вложений в этом сообщении.

TOPIC_VIEWER - Лучшая благодарность поделиться ссылкой с друзьями в соц. сетях