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