Лучшие товары в нашем каталоге!
Главная
Каталог
на главную » Каталог » Книги » Учебная литература » Студентам и аспирантам » Естественные науки. Математика » Математика » Основания математики. Математическая логика. Теория чисел

вернуться

Математическая логика и теория алгоритмов. А. К. Гуц
Математическая логика и теория алгоритмов. А. К. Гуц

Математическая логика и теория алгоритмов. А. К. Гуц

269 руб

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Вес135
Ширина упаковки150
Высота упаковки10
Глубина упаковки210
АвторАлександр Гуц
Тип изданияОтдельное издание
Тип обложкиМягкая обложка
© 2010-2016 - ТоварОК.ru интернет-магазин