Описание: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Цена: 237 руб.
Знаете ли Вы, что ...
Охрана труда
Охрана труда - система обеспечения безопасности жизни и здоровья работников в процессе трудовой деятельности, включающая ...
Компенсация
Компенсация (compensation) - возмещение какого-либо функционального или структурного недостатка. Например, компенсация ...
Действие токсическое
Действие токсическое - способность некоторых химических соединений и биологических веществ оказывать вредное воздействие на ...
Действие мутагенное
Действие мутагенное - влияние факторов, вызывающих изменение генотипа как в естественных, так и в искусственно созданных ...
Гиппократ
Гиппократ (ок. 460 ок. 377 до н. э.) - древнегреческий врач, реформатор античной медицины, материалист. В трудах Гиппократа, ...
Штамм
Штамм (от нем. stamm - ствол, основа) - чистая культура микроорганизмов, выделенных из определенного источника и отличающихся ...
