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


 
Вернуться в: Каталог  
Обложка Ершов Ю.Л., Палютин Е.А. Математическая логика: Учебное пособие для вузов
Id: 13251
 
599 руб.

Математическая логика: Учебное пособие для вузов. Изд.2, исп. и доп.

1987. 336 с. Твердый переплет. Букинист. Состояние: 4. Есть погашенная библиотечная печать.

 Аннотация

В книге наложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.

Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.


 Оглавление


 Предисловие

ко второму изданию

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

Введение

Глава 1. Исчисление высказываний

§ 1. Множества и слова

§ 2. Язык исчисления высказываний

§ 3. Система аксиом и правил вывода

§ 4 Эквивалентность формул

§ 5. Нормальные формы

§ 6. Семантика исчисления высказываний

§ 7. Характеризация доказуемых формул

§ 8. Исчисление высказываний гильбертовекого типа

§ 9. Консервативные расширения исчислений

Глава 2. Теория множеств

§ 10. Предикаты и отображения

§ 11. Частично упорядоченные множества

§ 12. Фильтры булевой алгебры

§ 13. Мощность множества

§ 14. Аксиома выбора,,

Глава 3. Истинность на алгебраических системах

§ 15. Алгебраические системы

§ 16. Формулы сигнатуры Е

§ 17. Теорема компактности

Глава 4. Исчисление предикатов,

§ 18. Аксиомы и правила вывода

§ 19. Эквивалентность формул

§ 20. Нормальные формы

§ 21. Теорема о существовании модели.... § 22. Исчисление предикатов гильбертовекого типа § 23. Чистое исчисление предикатов

Глава 5. Теория моделей

§ 24. Элементарная эквивалентность

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

§ 26. Скулемовские функции

§ 27. Механизм совместности

§ 28. Счетная однородность и универсальность

§ 29. КатегоБичность


 Оглавление

Глава 6. Теория доказательств

§ 30. Генценовская система G

§ 31. Обратимость правил

§ 32. Сравнение исчислепий ИГР и G

§ 33. Теорема Эрбрапа

§ 34. Исчисления резольвент

Глава 7. Алгоритмы и рекурсивные функции,

§ 35. Нормальные алгорифмы и машины Тьюрипга. § 36. Рекурсивные функции

§ 37. Рекурсивно перечислимые предикаты.... § 38. Неразрешимость исчисления предикатов и теорема

Гёделя о неполноте

§ 39. Разрешимые теории

§ 40. Неразрешимые теории

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

 
© URSS 2016.

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