URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов
Id: 29572
 

Задачи по теории множеств, математической логике и теории алгоритмов

1975. 240 с. Мягкая обложка. Букинист. Состояние: 4+. .
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

В книге систематически, изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук.

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


 СОДЕРЖАНИЕ

*)

Предисловие..................... 3

Часть I. Теория множеств.............. 5

§ 1. Операции над множествами......... 5 (155)

§ 2. Отношения и функции............ 12 (159)

§ 3. Специальные бинарные отношения...... 20 (164)

§ 4. Кардинальные числа............. 30 (168)

§ 5. Ординальные числа............. 34 (173)

§ 6. Действия над кардинальными числами.... 43 (179)

Часть II. Математическая логика..........49

§ 1. Алгебра высказываний........... 49 (182)

§ 2. Функции алгебры логики.......... 57 (185)

§ 3. Исчисления высказываний.......... 64 (189)

§ 4. Язык логики предикатов.......... 75 (192)

§ 5. Выполнимость формул логики предикатов.. 82 (193)

§ 6. Исчисления предикатов........... 90 (197)

§ 7. Аксиоматические теории........... 98 (200)

§ 8. Фильтрованные произведения........ 108 (204)

§ 9. Аксиоматизируемые классы......... 116 (208)

Часть III. Теория алгоритмов............124

§ 1. Частично рекурсивные функции.......124 (214)

§ 2. Машины Тьюринга.............. 136 (220)

§ 3. Рекурсивные и рекурсивно перечислимые множества...................142 (223)

§ 4. Нумерации Клини и Поста......... 148 (227)

Ответы, решения, указания............. 155

Литература.....................232

Предметный указатель................233

Указатель обозначений................. 238

 
© URSS 2016.

Информация о Продавце