Ebook: Математическая логика и теория алгоритмов
Author: Замятин А.П.
- Genre: Математика // Математическая логика
- Tags: Математика, Математическая логика
- Language: Русский
- pdf
Екатеринбург: УрГУ (Мат. – Мех. фак.), 2008. - 273 с.Пособие разбито на семь глав. Оно содержит теоретический материал, подборку задач, а также ответы и указания к ряду задач и решение некоторых из них. В отличие от многих учебников по математической логике и теории алгоритмов, пособие содержит изложение метода резолюций, критерия полноты функций k-значной логики, значительный материал по сложности алгоритмов. В пособии значительное внимание уделено анализу выразительных возможностей языка математической логики, приведены основные результаты теории NP-полноты.Содержание:
Введение.
Логика высказываний.
Логика предикатов первого порядка.
Исчисление предикатов.
Метод резолюций.
Функции k-значной логики.
Алгоритмы и машины Тьюринга.
Сложность алгоритмов.
Литература.
Введение.
Логика высказываний.
Логика предикатов первого порядка.
Исчисление предикатов.
Метод резолюций.
Функции k-значной логики.
Алгоритмы и машины Тьюринга.
Сложность алгоритмов.
Литература.
Download the book Математическая логика и теория алгоритмов for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)