Лавров И. А. , Максимова Л. Л.

Задачи по теории множеств, математической логике и теории алгоритмов

Bibliographic description

Annotation
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук.
Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.
3-е издание книги вышло в 1995 г.
Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков-алгебраистов, логиков и кибернетиков.

Contents

MARC record