Обучалка в Телеграм

Дискретный анализ, Формальные системы и алгоритмы, Журавлёв Ю.И., Флёров Ю.А., Вялый М.Н., 2010

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

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

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



Дискретный анализ, Формальные системы и алгоритмы, Журавлёв Ю.И., Флёров Ю.А., Вялый М.Н., 2010.

   Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса «Дискретный анализ», читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института.
Для студентов, специализирующихся на прикладной математике.

Дискретный анализ, Формальные системы и алгоритмы, Журавлёв Ю.И., Флёров Ю.А., Вялый М.Н., 2010


Метод резолюций.
В силу корректности ИВ построение вывода даёт доказательство тавтологичности формулы. Однако вывод, который строится в соответствии с первым доказательством теоремы полноты, требует фактически перебора всех возможных значений переменных. Это ничем не лучше прямого использования определения тавтологии.

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

ОГЛАВЛЕНИЕ.
Введение.
1. Исчисление высказываний.
1.1. Определение формальной системы ИВ.
1.1.1. Алфавит.
1.1.2. Формулы.
1.1.3. О структуре формул.
1.1.4. Сокращения при записи формул.
1.1.5. Аксиомы.
1.1.6. Правило вывода.
1.1.7. Выводы и выводимые формулы.
1.2. Исчисление высказываний и булевы функции.
1.3. Непротиворечивость ИВ.
1.4. Теорема дедукции.
1.5. Теорема о полноте.
1.5.1. Первое доказательство.
1.5.2. Второе доказательство.
1.5.3. Критерий условной выводимости.
1.6. Независимость аксиом ИВ.
1.7. Другие аксиоматизации.
1.8. Метод резолюций.
1.8.1. КНФ.
1.8.2. Резолютивный вывод.
1.8.3. Синтаксическое дерево и допустимое дерево.
1.8.4. Сравнение метода резолюций и ИВ.
2. Интуиционистское исчисление.
2.1. Ограниченное исчисление ИИВ.
2.2. Примеры выводов в ИИВ.
2.3. Модели Крипке.
2.4. Теорема о полноте ИИВ.
2.5. Исчисление ИИВ.
2.5.1. Модели Крипке для ИИВ.
2.5.2. Полнота ИИВ.
3. Предикаты и логика первого порядка.
3.1. Предикаты, кванторы, функции и константы.
3.2. Формулы исчисления предикатов.
3.2.1. Алфавит.
3.2.2. Формулы.
3.3. Интерпретации.
3.4. Модели и теории.
3.5. Общезначимые формулы.
3.6. Вывод в исчислении предикатов.
3.6.1. Аксиомы и правила вывода.
3.6.2. Слабая теорема дедукции.
3.6.3. Примеры выводов.
3.7. Полнота исчисления предикатов.
3.8. О проверю; общезначимости формул.
3.8.1. Предварённая нормальная форма.
3.8.2. Сколемизация.
3.8.3. Теорема Эрбрана.
3.8.4. Метод резолюций для исчисления предикатов.
4. Алгоритмы.
4.1. Машины Тьюринга.
4.1.1. Описание машин Тьюринга.
4.2. Алгоритмически неразрешимые проблемы.
4.2.1. Самоприменимость и остановка.
4.2.2. Проблема равенства слов.
4.2.3. Проблема соответствия Поста.
4.2.4. Функция трудолюбия Радо.
4.3. Другие модели вычислений.
4.3.1. Машины Тьюринга с алфавитом {0,1}.
4.3.2. Многоленточные машины Тьюринга.
4.3.3. Модель RAM.
4.3.4. Машины Минского.
4.3.5. Нормальные алгорифмы Маркова.
4.4. Универсальный алгоритм.
4.5. О проверке свойств вычислимых функций.
4.6. Алгоритмы и логика.
4.6.1. Неразрешимость проверки общезначимости формул.
4.6.2. Перечислимость и выводимость.
4.6.3. Теорема Гёделя.
Ответы, указания, решения.
Справочное приложение.

Купить .

По кнопкам выше и ниже «Купить бумажную книгу» и по ссылке «Купить» можно купить эту книгу с доставкой по всей России и похожие книги по самой лучшей цене в бумажном виде на сайтах официальных интернет магазинов Лабиринт, Озон, Буквоед, Читай-город, Литрес, 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.


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






Теги: :: :: :: ::


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


 


 

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




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





2025-02-21 23:38:46