Описание: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Цена: 237 руб.
Знаете ли Вы, что ...
Рабочее место
Рабочее место - место, в котором работник должен находиться или в которое ему необходимо прибыть в связи с его работой и ...
Ятрогения
Ятрогения (от греч. iatros - врач и genes - порождающий) - неблагоприятное изменение психического состояния вплоть до неврозов, ...
Эпидемический процесс
Эпидемический процесс - это распространение инфекционных болезней среди людей.
Эпидемиология
Эпидемиология (от греч. epi - в, на и demos - народ и logos - наука) - наука, изучающая причины возникновения и закономерности ...
Элиминация
Элиминация (от лат. еlimino - выношу за порог, удаляю) (биол.) - гибель неприспособленных особей в процессе борьбы за ...
Экопатология детства
Экопатология детства - врожденные пороки, аллергические, хронические нервно-психические и соматические болезни, а также ...
