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

В учебнике традиционная логика излагается с точки зрения математической логики. Математизация начинается при изучении темы «Понятие», продолжается тем…

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

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

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