Задачи по теории множеств, математической логике и теории алгоритмов
Автор:Лавров И. А., Максимова Л. Л. Год: 1975 Издание:Главная редакция физико-математической литературы издательства "Наука" Страниц: 240 ISBN: [не указан] В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Сборник состоит из трех частей: "Теория множеств", "Матемагическая логика" и "Теория алгоритмов". Задача снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник рассчитан как учебное пособие для математических факультетов университетов и педагогических институтов. Он может быть использован также в технических вузах при изучении кибернетических специальностей.
