Сообщение

С.В. Судоплатов, Е.В. Овчинникова | Математическая логика и теория алгоритмов (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 Мск

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

Постеры

Соцсети

 

Статистика

Автор: Nik
Добавлен: 20 сен 2016, 23:05
Размер: 19.82 МБ
Размер: 20 786 302 байт
Сидеров: 0
Личеров: 0
Скачали: 0
Здоровье: 0%
Статус:
Скорость скачивания: 0 байт/сек
Скорость раздачи: 0 байт/сек
Последний сидер: Нет
Последний личер: Нет
Приватный: Нет (DHT включён)
Скачать торрент
Скачать торрент
[ Размер 13.28 КБ / Просмотров 2 ]

Поделиться



Вернуться в Разное (Учебники)