Математическая логика и теория алгоритмов

(голосов: 0) | 11 марта 2010 | Просмотров: 8395   
85
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов
Автор: А. К. Гуц
Издательство: Наследие. Диалог-Сибирь
Год: 2003
ISBN: 5-8239-0126-7
DJVU: 1 Мб


Автором учебного пособия, посвященного изложению математической логики и теории алгоритмов, является профессор Омского государственного университета, доктор физико-математических наук в области геометрии и топологии. Лекции, которые он читает студентам второго курса факультета компьютерных наук, составляют основу книги. Читатель познакомится с классической логикой, методом резолюций, формальными исчислениями, формальной арифметикой, принципами логического программирования, нечеткой логикой и нечеткой арифметикой, модальными, временными и алгоритмическими логиками. Приводены семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даны представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Рекомендовано для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".


Скачать книгу:


UniBytes (DJVU)
GigaBase (DJVU)
Share4web (DJVU)


Купить:

Книги по математике, Книги по технологии программирования
Скачать другие книги и учебники
Ваш отзыв о книге
Категории
Магазин книг
Архив новостей
Опрос
Теги