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