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

Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов.— М.: Физматлит, 2004. -256 с.
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков — алгебраистов, логиков и кибернетиков.


СОДЕРЖАНИЕ
Предисловие к четвертому изданию………………………………………………..4
Предисловие к первому изданию…………………………………………………… 5
Часть 1. Теория множеств………………………………………………………………..7
§ 1. Операции над множествами…………………………………………………7
§ 2. Отношения и функции……………………………………………………… 13
§ 3. Специальные бинарные отношения…………………………………..22
§ 4. Кардинальные числа………………………………………………………….. 31
§ 5. Ординальные числа…………………………………………………………… 35
§ 6. Действия над кардинальными числами………………………………44
Часть 2. Математическая логика…………………………………………………. 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

загрузка...
Поделиться ссылкой:
  • Добавить ВКонтакте заметку об этой странице
  • Мой Мир
  • Facebook
  • Twitter
  • LiveJournal
  • В закладки Google
  • Яндекс.Закладки
  • Сто закладок
  • Blogger
  • Блог Li.ру
  • Блог Я.ру
  • Одноклассники
  • RSS

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Наш сайт находят по фразам: