Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Nastojaschee uchebnoe posobie posvjascheno izlozheniju matematicheskoj logiki i teorii algoritmov. Osnovu posobija sostavljajut lektsii, kotorye chitajutsja studentam vtorogo kursa fakulteta kompjuternykh nauk Omskogo gosudarstvennogo universiteta. Izlagajutsja klassicheskaja logika, metod rezoljutsij, formalnye ischislenija, formalnaja arifmetika, printsipy logicheskogo programmirovanija, nechetkaja logika i nechetkaja arifmetika, modalnye, vremennye i algoritmicheskie logiki. Privodjatsja semantika Kripke, aksiomy algoritmicheskoj logiki Khoara, logiki Vasileva i Lukasevicha. Dajutsja predstavlenija o chastichno rekursivnykh funktsijakh, mashine Tjuringa-Posta, normalnykh algorifmakh Markova i o slozhnosti algoritmov. Dlja studentov, obuchajuschikhsja po spetsialnostjam "Kompjuternaja bezopasnost" i "Vychislitelnye mashiny, kompleksy, sistemy i seti".
