Автор: Владимир Иванович Игошин

В учебном пособии подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов...

В учебнике традиционная логика излагается с точки зрения математической логики. Математизация начинается при изучении темы «Понятие», продолжается темой «Суждение» и достигает наибольшей своей эффективности при изучении дедуктивных...

Подробно изложены три формализации понятия алгоритма – машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых...