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