Навчальний посібник відповідає державному освітньому стандарту дисципліни ''Математична логіка та теорія алгоритмів'' напряму підготовки дипломованих фахівців 654600 - ''Інформатика та обчислювальна техніка'' (Спеціальність 220100 -''Обчислювальні машини, комплекси, системи та мережі'') та напрями підготовки бакалаврів 552800 - ''Інформатика та обчислювальна техніка''. У посібнику викладаються розділи математичної логіки та теорії алгоритмів, необхідні для освоєння загальнопрофесійних і спеціальних дисциплін спеціальності 220100. Досить докладно викладені основи логіки висловлювань і логіки предикатів, включаючи додаток логіки предикатів до доведення правильності алгоритмів. Посібник містить вступний матеріал з логічного програмування та клаузальної логіки, а також основні поняття нечіткої та модальної логіки. Наведено основи теорії алгоритмів і алгоритмічної роздільності, доказ еквівалентності моделей алгоритмів Тюрінга і рекурсивних схем Кліні. Посібник містить також