Все книги автора Владимир Иванович Игошин

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

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

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