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