ZEOS

Ваш IP адрес: 18.212.206.217
Сегодня: 23.02.2019
08:00

Онлайн-библиотека учебно-методической литературы

Библиотека mirsmartbook.ru предлагает посетителям возможность чтения книг в режиме онлайн.
Книги, ГДЗ, решебники, готовые домашние задания, ЕГЭ, ГИА, наука и обучение, словари, все для преподавателей, школьников и студентов, русский язык, математика, физика, английский язык, алгебра, геометрия по всем классам, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 класс. А ты НАШЁЛ то, что тебе нужно? У нас Вы сможете найти все!
Новости Контакты Главная
Загрузка...
Открыть-Закрыть рекламный блок

Меню сайта

Реклама

Счетчики


Мы вконтакте

Время учиться

Реклама

Загрузка...

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


18:24
Задачи по теории множеств, математической логике и теории алгоритмов / Лавров И.А., Максимова Л.Л. / 2004
Аннотация: Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И.А., Максимова Л.Л., 2004.

В книге в форме задан систематически изложены основы теории множеств. Математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук.
Состоит из трех частей: «Теория множеств». «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Вce необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.
Сборник может быть использовал как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов. логиков и кибернетиков.

Задачи.

Доказать, что всякое множество есть:
(а) объединение всех своих подмножеств;
(б) объединение всех своих конечных подмножеств;
(а) объединение всех своих одноэлементных подмножеств.

Пусть А и В — конечные множества, состоящие из т и n элементов соответственно.
(а) Сколько существует бинарных отношений между элементами множеств А и В?
(б)  Сколько имеется функций из А в 5?
(в)  Сколько имеется l - l-функций из А в В?
(г)  При каких т и n существует взаимно однозначное соответствие между А и В?


СОДЕРЖАНИЕ.

Предисловие к четвертому изданию
Предисловие к первому изданию
Часть I. Теория множеств
§ 1. Операции над множествами
§ 2. Отношения и функции
§ 3. Специальные бинарные отношения
§ 4. Кардинальные числа
§ 5. Ординальные числа
§ 6. Действия над кардинальными числами
Часть II.  Математическая логика
§ 1. Алгебра высказываний
§ 2.  Функции алгебры логики
§ 3. Исчисления высказываний
§ 4. Язык логики предикатов
§ 5. Выполнимость формул логики предикатов
§ 6. Исчисления предикатов
§ 7. Аксиоматические теории
§ 8 Фильтрованные произведения
§ 9. Аксиоматизируемые классы
Часть III. Теория алгоритмов
§ 1. Частично рекурсивные функции
§ 2. Машины Тьюринга
§ 3. Рекурсивные и рекурсивно перечислимые множества
§ 4. Нумерации  Клини и Поста
Ответы, решения, указания
Список литературы
Предметный указатель
 
Прикрепления: Картинка 1
Категория: Mатематика студентам | Просмотров: 169 | Добавил: novivirus | Теги: Лавров И.А | Рейтинг: 0.0/0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

Похожие материалы: