Лавров И. А.,Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов ОНЛАЙН

Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков — алгебраистов, логиков и кибернетиков.
СОДЕРЖАНИЕ
Предисловие к четвертому изданию…………………………………4
Предисловие к первому изданию……………………………………. 5
Часть 1. Теория множеств……………………………………………7
§ 1. Операции над множествами………………………………………..7
§ 2. Отношения и функции…………………………………………… 13
§ 3. Специальные бинарные отношения…………………………………..22
§ 4. Кардинальные числа…………………………………………… 31
§ 5. Ординальные числа ………………………………………… 35
§ 6. Действия над кардинальными числами………………………………44
Часть II. Математическая логика…………………………………. 50
§ 1. Алгебра высказываний………………………………………. 50
§ 2. Функции алгебры логики…………………………………….. 57
§ 3. Исчисления высказываний……………………………………. 63
§ 4. Язык логики предикатов…………………………………….. 74
§ 5. Выполнимость формул логики предикатов………………………..81
§ 6. Исчисления предикатов…………………………………….. 89
§ 7. Аксиоматические теории……………………………………..98
§ 8. Фильтрованные произведения……………………………… 108
§ 9. Аксиоматизируемые классы…………………………………… 116
Часть III. Теория алгоритмов………………………………………. 124
§ 1. Частично рекурсивные функции……………………………….. 124
§ 2. Машины Тьюринга………………………………………………. 136
§ 3. Рекурсивные и рекурсивно перечислимые множества……… 142
§ 4. Нумерации Клини и Поста …………………………………… 148
Ответы, решения, указания………………………………………… 155
Список литературы……………………………………………….248
Предметный указатель…………………………………………… 250



Читать онлайн
скачать бесплатно


Теги:
сборник задач по математической логике, Лавров сборник задач, сборник задач по теории алгоритмов, сборник задач по теории множеств

Коментарі до Лавров И. А.,Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов ОНЛАЙН