Номер документа в системі: | 2581 |
Автор: | Лавров И. А., Максимова Л. Л. |
Назва документа: | Задачи по теории множеств, математической логике и теории алгоритмов |
Видавництво: | Изд.фирма Физико - математическая лит. |
Місто видання: | Москва |
Рік видання: | 1995 |
УДК | 510.6+510.22+519.688 |
Мова документу | Російська |
Шифр документу | 51 |
Аннотація | В книге систематически изложены основы теории множеств, математической ло-гики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук.
Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.
2-е издание - 1984 г.
Сборник может быть использован как учебное пособие дляматематических фа-культетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики.
Для математиков - алгебраистов, логиков и кибернетиков.
|
Кількість сторінок | 256 с. |