Математическая логика и теория алгоритмов, Судоплатов С.В., Овчинникова Б.В., 2004

К сожалению, на данный момент у нас невозможно бесплатно скачать полный вариант книги. Ссылки на файлы изъяты с этой страницы по запросу обладателей прав на эти материалы.

Но вы можете попробовать скачать полный вариант, купив у наших партнеров электронную книгу здесь, если она у них есть наличии в данный момент.

Также можно купить бумажную версию книги здесь.



Математическая логика и теория алгоритмов, Судоплатов С.В., Овчинникова Б.В., 2004.

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

Математическая логика и теория алгоритмов, Судоплатов С.В., Овчинникова Б.В., 2004


ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ.
При изучении дискретной математики и формальных исчислений мы рассматривали большое количество различных алгоритмов. Это и алгоритм Евклида нахождения наибольших общих делителей, и алгоритмы нахождения кратчайших маршрутов во взвешенном графе, и алгоритм распознавания доказуемости формул исчисления высказываний.

Отметим несколько основных общих черт алгоритмов.
1. Алгоритм — это процесс последовательного построения (вычисления) величин, протекающий в дискретном времени так, что в начальный момент времени задается исходная конечная система величин, а в каждый последующий момент система величин получается по определенному закону (программе) из системы величин, имевшихся в предыдущий момент времени (дискретность алгоритма).

2. Система величин, получаемых в любой не начальный момент времени, однозначно определяется системой величин, полученных в предыдущие моменты времени (детерминированность алгоритма).

3. Закон получения последующей системы величин из предшествующей должен быть простым (элементарность шагов алгоритма).

4. Если способ получения последующей величины из какой-нибудь заданной величины не дает результата, то должно быть указало, что надо считать результатом алгоритма (направленность алгоритма).

Оглавление
Предисловие
Введение
Глава 1. Исчисления высказываний
§1.1. Определение формального исчисления
§1.2. Исчисление высказываний генценовского типа
§1.3. Эквивалентность формул
§1.4. Нормальные формы
§1.5. Семантика исчисления секвенций
§1.6. Исчисление высказываний гильбертовского типа
§1.7. Алгоритмы проверки общезначимости и противоречивости в ИВ
§1.8. Логические задачи
Задачи и упражнения
Глава 2. Логика и исчисления предикатов
§2.1. Формулы сигнатуры Σ. Истинность формулы на алгебраической системе
§2.2. Секвенциальное исчисление предикатов
§2.3. Эквивалентность формул в IIПСΣ
§2.4. Нормальные формы
§2.5. Теорема о существовании модели
§2.6. Исчисление предикатов гильбертовского типа
§2.7. Скулемнзация алгебраических систем
§2.8. Метод резолюций в исчислении предикатов
§2.9. Логические программы
Задачи и упражнения
Глава 3. Элементы теории моделей
§3.1. Элементарная эквивалентность. Теоремы Лёвенгейма — Скулема
§3.2. Элементарные теории
§3.3. Типы. Основные классы моделей
§3.4. Категоричность. Спектры моделей полных теорий
§3.5. Система аксиом арифметики Пеано. Нестандартные модели арифметики
Задачи и упражнения
Глава 4. Элементы теории алгоритмов
§4.1. Машины Тьюринга
§4.2. Рекурсивные функции и отношения
§4.3. Эквивалентность моделей алгоритмов
§4.4. Универсальные частично рекурсивные функции. Теорема Райса
§4.5. Рекурсивно перечислимые отношения
§4.6. Неразрешимость исчисления предикатов. Теорема Гёделя о неполноте. Разрешимые и неразрешимые теории
§4.7. Характеристики сложности алгоритмов
§4.8. Переборные задачи
§4.9. Алгоритмы сортировки
§4.10. Конечные автоматы
Задачи и упражнения
Глава 5. Неклассические логики
§5.1. Пропозициональные логики
§5.2. Предикатные логики
§5.3. Предикатные временные логики и их приложение к программированию
§5.4. Алгоритмические логики
Задачи и упражнения
Список литературы
Предметный указатель.

Купить .

По кнопкам выше и ниже «Купить бумажную книгу» и по ссылке «Купить» можно купить эту книгу с доставкой по всей России и похожие книги по самой лучшей цене в бумажном виде на сайтах официальных интернет магазинов Лабиринт, Озон, Буквоед, Читай-город, Литрес, My-shop, Book24, Books.ru.

По кнопке «Купить и скачать электронную книгу» можно купить эту книгу в электронном виде в официальном интернет магазине «ЛитРес», и потом ее скачать на сайте Литреса.

По кнопке «Найти похожие материалы на других сайтах» можно найти похожие материалы на других сайтах.

On the buttons above and below you can buy the book in official online stores Labirint, Ozon and others. Also you can search related and similar materials on other sites.


Дата публикации:






Теги: :: :: ::


Следующие учебники и книги:
Предыдущие статьи:


 


 

Книги, учебники, обучение по разделам




Не нашёл? Найди:





2024-06-14 02:57:23