РЕШАЕМ МАТЕМАТИКУ ВМЕСТЕ!
 
СТУДЕНТАМ:    Учебники     Решебники    Шпаргалки    Контрольные работы   Видео уроки

ШКОЛЬНИКАМ:  ГДЗ - 1 класс  2 класс  3 класс  4 класс  5 класс  6 класс  7 класс  8 класс  9 класс  10 класс  11 класс

Главная » Файлы » Учебные материалы » Математическая логика и теория алгоритмов
Лавров И. А.,Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов

19.12.2011, 16:29
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков — алгебраистов, логиков и кибернетиков.

Оглавление
Предисловие к четвертому изданию  4
Предисловие к первому изданию  5
Часть 1. Теория множеств  7
§ 1. Операции над множествами  7  (155)
§ 2. Отношения и функции   13  (160)
§ 3. Специальные бинарные отношения 22 (165)
§ 4. Кардинальные числа 31 (170)
§ 5. Ординальные числа 35  (176)
§ 6. Действия над кардинальными числами  44  (183)
Часть II. Математическая логика  50
§ 1. Алгебра высказываний  50  (187)
§ 2. Функции алгебры логики  57  (191)
§ 3. Исчисления высказываний  63 (195)
§ 4. Язык логики предикатов    74  (199)
§ 5. Выполнимость формул логики предикатов 81  (201)
§ 6. Исчисления предикатов  89 (206)
§ 7. Аксиоматические теории  98 (209)
§ 8. Фильтрованные произведения 108  (215)
§ 9. Аксиоматизируемые классы  116  (219)
Часть III. Теория алгоритмов  124
§ 1. Частично рекурсивные функции  124  (227)
§ 2. Машины Тьюринга  136 (234)
§ 3. Рекурсивные и рекурсивно перечислимые множества 142 (238)
§ 4. Нумерации Клини и Поста  148  (243)
Ответы, решения, указания  155
Список литературы  248
Предметный указатель  250

Цифры в скобках указывают на страницы ответов.




Размер файла: (1.66Mb)

Категория: Математическая логика и теория алгоритмов | Добавил: nikka
Просмотров: 12347 | Загрузок: 4321 | Рейтинг: 3.0/2


Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]



ВЫБОР ПО КАТЕГОРИЯМ:

Аналитическая геометрия и алгебра [0]
Высшая алгебра [52]
История математики [55]
Математика для технарей [21]
Математика для экономистов, юристов и т.д.. [5]
Математическая логика и теория алгоритмов [40]
Теория вероятностей и мат. статистика [28]
Теория чисел [33]
Учебники по математике [46]



При полном или частичном использовании материалов
активная ссылка на портал VMATE.RU обязательна


Высшая математика онлайн - всё бесплатно, наш портал создан специально для студентов кому интересна высшая математика. У нас на портале возможно скачать бесплатно учебники по высшей математике, книги по математике или сделать заказ учебных пособий, скачать контрольные по высшей математике, заказать, задачники по высшей математики и решебники. Оставить запрос по предмету - аналитическая геометрия или задать вопрос - справочная по математике Заказать решение и т.д. Высшая математика онлайн - математический портал и здесь собраны шпаргалки по высшей математике и видео уроки. Добро пожаловать! Вход