НЕФТЬ-ГАЗ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

Теперь на нашем сайте можно за 5 минут создать свежий реферат или доклад

Скачать книгу целиком можно на сайте: www.nglib.ru.

<< Прочее <<

Ершов Ю.Л. Математическая логика

Скачать книгу здесь
Автор: Ершов Ю.Л.
Название: Математическая логика
Год издания: 1979
УДК: 512.8
Число страниц: 320
Содержание книги:
Введение
Глава /.ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИИ
§ 1. Множества и слова
§ 2. Язык исчисления высказываний
§ 3, Система аксиом и правил вывода
§ 4, Эквивалентность формул
§ 5. Нормальные формы
§ 7. Характеризация доказуемых формул
§ 8. Исчисление высказываний гильбертовского типа
§ 9. Консервативные расширения исчислений
'Глава 2. ТЕОРИЯ МНОЖЕСТВ
§ 10. Предикаты и отображения
§ 11. Частично упорядоченные множества
§ 12. Фильтры булевой алгебры
§ 13. Мощность множества
§ 15. Алгебраические системы
§ 17. Теорема компактности
Глава 4. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
§ 18. Аксиомы и правила вывода
§ 19. Эквивалентность формул
§ 20..Нормальные формы
§ 21. Теорема о существовании модели
§ 22. Исчисление предикатов гильбертовского типа
§ 23. Чистое исчисление предикатов
Глава 5. ТЕОРИЯ МОДЕЛЕЙ
§ 25, Аксиоматизируемые классы
§ 26. Скулемовские функции § 27, Механизм совместности
.
§ 28. Счетная однородность и универсальность
§ 29, Категоричность » ... » ? Т V
Глава 6. ТЕОРИЯ ДОКАЗАТЕЛЬСТВ
§ 30. Генценовская система G
§ 31. Обратимость правил
§ 32. Сравнение исчислений ИП2 и О
§ 33. Теорема Эрбрана
§ 34. Исчисления резольвент
Глава 7. АЛГОРИТМЫ И РЕКУРСИВНЫЕ ФУНКЦИИ
ч § 35. Нормальные алгорифмы и машины Тьюринга
§ 36. Рекурсивные функции
§ 37. Рекурсивно перечислимые предикаты
§ 38. Неразрешимость исчисления предикатов и теорема Гёделя о неполноте
Предметный указатель
Указатель обозначений
Глоссарий:
1 2 4 а б в г д е ж з и к л м н о п р с т у ф х ц ч ш ь э я
Смотреть страницы:
1 2 34 65 96 127 158 189 220 251 282 313 319 320
Полнотекстовый поиск по книге:
Введите слово или фразу для поиска:
Близкие по содержанию книги:
Теория моделей
Математика >> Вычислительная математика >> Математическое моделирование
Лекции по математической логике и теории алгоритмов Часть 2
Математика >> Вычислительная математика >> Программиование
Математическая логика и дискретная математика
Математика >> Анализ, высшая математика >> Прочее

Просмотреть оригинальные страницы книг в формате djvu можно на сайте: www.nglib.ru.


Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru