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

В учебнике традиционная логика излагается с точки зрения математической логики. Математизация начина…

В учебном пособии подробно изложены основы математической логики, привлечен материал школьного курса…

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и тео…

Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормал…