| Номер документа в системі: | 76629 |
| Автор: | Лавров И. А., Максимова Л. Л. |
| Назва документа: | Задачи по теории множеств, математической логике и теории алгоритмов |
| Видавництво: | ФИЗМАТЛИТ |
| Місто видання: | Москва |
| Рік видання: | 2002 |
| УДК | 510.6(076)+510.22(076)+004.421(076) |
| Мова документу | Російська |
| Шифр документу | 51 |
| Аннотація | В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук.
Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.
3-е издание книги вышло в 1995 г.
Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков.
СОДЕРЖАНИЕ'1
Предисловие к четвертому изданию........................................................ 4
Предисловие к перво |
| Кількість сторінок | 256 с. |