Задачи по теории множеств, математической логике и теории алгоритмов - Игорь Лавров
| Автор: | Игорь Лавров |
| Издательство: | "Физматлит" |
| Серия: | |
| Жанр произведения: | Учебная литература |
| Год издания: | 0 |
| isbn: | 5-9221-0026-2 |
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. 3-е издание книги вышло в 1995 г. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков – алгебраистов, логиков и кибернетиков.