Лавров И.А.: Задачи по теории множеств, математической логике и теории алгоритмов
Скачать книгу (размер 1 299 Kb , формат fb2, страниц 256)
Жанр : Разное
Издательство : Физматлит
Год издания : 2009
Аннотация:
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических ВУЗах при изучении кибернетики и информатики. Для математиков — алгебраистов, логиков и кибернетиков.