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


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

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

1984. 224 с. Мягкая обложка. Букинист. Состояние: 4. Блок текста: 4. Обложка: 4-.

 Аннотация

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

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


 Оглавление

Предисловие к первому изданию

Предисловие ко второму изданию

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

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

§ 2. Отношения и функции

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

§ 4. Кардинальные числа

§ 5. Ординальные числа

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

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

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

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

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

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

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

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

§ 7. Аксиоматические теории

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

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

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

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

§ 2. Машины Тьюринга

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

§ 4. Нумерации Клики и Поста

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

Литература

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

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

 
© URSS 2016.

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