Математическая логика. - купить книгу в интернет-магазине CentrMag по лучшим ценам! (00-01126034)

В наличии Цена за шт.

1200

Количество

Купить

Акции и скидки Поделиться

📍

🚚

✉️

Почта России

Отправка товара по почте

🏢

Транспортные компании

Деловые Линии для юридических лиц

Подробнее о доставке

Артикул:00-01126034
Автор: Ю. Л. Ершов, Е. А. Палютин
Обложка: Твердая обложка
Издательство: Наука (все книги издательства)
Город: Москва
Страниц: 320
Формат: 84х108 1/32
Год: 1979
Вес: 533 г
Серия: Учебное пособие для ВУЗов (все товары серии)

Описание Отзывы

Развернуть ▼

Книга посвящена основам математической логики, теории алгоритмов и формальным системам. Рассматриваются логика высказываний и предикатов, теория доказательств, модели и вычислимость.
Издание служит фундаментальным пособием для изучения математической логики и её приложений.

Содержание
Предисловие
Введение
Глава I. Исчисление высказываний
§ 1. Множества и слова
§ 2. Язык исчисления высказываний
§ 3. Система аксиом и правил вывода
§ 4. Эквивалентность формул
§ 5. Нормальные формы
§ 6. Семантика исчисления высказываний
§ 7. Характеризация доказуемых формул
§ 8. Исчисление высказывании гильбертовского типа
§ 9. Консервативные расширения исчислений
Глава 2. Теория множеств
§ 10. Предикаты и отображения
§ 11. Частично упорядоченные множества
§ 12. Фильтры булевой алгебры
§ 16. Мощность множества
§ 14. Аксиома выбора
Глава 3. Истинность на алгебраических системах
§ 15. Алгебраические системы
§ 16. Формулы сигнатуры
§ 17. Теорема компактности
Глава 4. Исчисление предикатов
§ 18. Аксиомы и правила вывода
§ 19. Эквивалентность формул
§ 20. Нормальные формы
§ 21. Теорема о существовании модели
§ 22. Исчисление предикатов гильбертовского типа
§ 23. Чистое исчисление предикатов
Глава 5. Теория моделей
§ 24. Элементарная эквивалентность
§ 25. Аксиоматизируемые классы
§ 26. Скулемовские функции
§ 27. Механизм совместности
§ 28. Счетная однородность и универсальность
§ 29. Категоричность
Глава 6. Теория доказательств
§ 30. Генценовская система G
§ 31. Обратимость правил
§ 32. Сравнение исчислении ИП E и G?
§ 33. Теорема Эрбрана
§ 34. Исчисления резольвент
Глава 7. Алгоритмы и рекурсивные функции
§ 35. Нормальные алгорифмы и машины Тьюринга
§ 36. Рекурсивные функции
§ 37. Рекурсивно перечислимые предикаты
§ 38. Неразрешимость исчисления предикатов и теорема Гёделя о неполноте
Предметный указатель
Указатель обозначений

5.0

★ ★ ★ ★ ★

0 отзывов

Пока нет отзывов. Будьте первым, кто оставит отзыв.