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

Автор Лавров И. А. Максимова Л. Л.
Издательство ФИЗМАТЛИТ
Год издания 2004
Страниц 256
Формат 60x90/16
ISBN 5-9221-0026-2

От издателя

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