Бесплатная библиотека - 1 338 003 изданий в библиотеке

Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987

Книга Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987

Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987.
   В книге наложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Язык исчисления высказываний.
Высказыванием в русском языке мы называем повествовательное предложение, про которое можно утверждать, что оно истинно или ложно. Например, высказывание «вода — продукт горения водорода» истинно, а высказывание «все нечетные натуральные числа простые» ложно. Из высказываний А, В в русском языке мы можем образовывать более сложные высказывания такие, как «A и В», «A или В», «неверно, что A», «если A, то В». Если мы знаем, истинно или ложно каждое из высказываний A, В, то мы можем определить, истинны или ложны выписанные выше сложные высказывания. Например, если Л истинно, а В ложно, то высказывание «если A, то B» ложно.
Однако иногда мы можем утверждать об истинности сложного высказывания, не зная, истинны или ложны высказывания, из которых оно составлено. Например, каковы бы ни были высказывания А и В, высказывание «неверно, что Л, или если В, то А» всегда истинно. В этом случае говорим, что схема «неверно, что A, или если В, то A» тождественно истинна. Одной из основных задач исчисления высказываний, к изучению которого мы приступаем, является описание тождественно истинных схем. Для этого придется заменить русский язык формальным языком, который не допускает двусмысленностей.
ОГЛАВЛЕНИЕ
Предисловие ко второму изданию
Предисловие к первому изданию
Введение
Глава 1. Исчисление высказываний
§1. Множества и слова
§2. Язык исчисления высказываний
§3. Система аксиом и правил вывода
§4. Эквивалентность формул
§5. Нормальные формы
§6. Семантика исчисления высказываний
§7. Характеризация доказуемых формул
§8. Исчисление высказывании гильбертовского типа
§9. Консервативные расширения исчислений
Глава 2. Теория множеств
§10. Предикаты и отображения
§11. Частично упорядоченные множества
§12. Фильтры булевой алгебры
§13. Мощность множества
§14. Аксиома выбора
Глава 3. Истинность на алгебраических системах
§15. Алгебраические системы
§16. Формулы сигнатуры 2
§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. Неразрешимые теории
Предметный указатель.

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12790 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Тайный заговор

    Тайный заговор

    Название: Тайный заговорАвтор: Филипп ВанденбергИздательство: Книжный клуб "Клуб семейного досуга"Год издания: 2009Страниц: 448ISBN: 978-5-9910-0773-3Формат: RTFРазмер: 8 МбОписание:От мастера теологи . . .

  • Книга Любовь к камням

    Любовь к камням

    Автор:Тобиас Хилл Название:Любовь к камням Издательство:АСТ, Люкс Год: 2004 Формат:rtf Размер:3.53mb Драгоценные камни...Они переходят из рук хозяев к ворам и контрабандистам, а затем - к купцам, ювел . . .

  • Книга Л. Н. Толстой. Полное собрание сочинений в 91 томе. - Том 53 (1953). Дневники и записные книжки 1895-1899

    Л. Н. Толстой. Полное собрание сочинений в 91 томе. - Том 53 (1953). Дневники и записные книжки 1895-1899

    Автор: Толстой Л. Н. Название: Полное собрание сочинений в 91 томе. - Том 53 (1953). Дневники и записные книжки 1895-1899Издательство: Художественная литератураГод: 1953Формат: PDF, DJVU (rar-архив + . . .

  • Книга Конокрад и гимназистка

    Конокрад и гимназистка

    Название: Конокрад и гимназисткаАвтор: Михаил ЩукинИздательство: АСТ, АСТ МоскваISBN: 978-5-17-052626-0, 978-5-9713-8421-2Год издания: 2008Страниц: 320Язык: РусскийФормат: rtfРазмер: 5.52 МбОписание:Э . . .

  • Книга Грег Айлс - Сборник книг

    Грег Айлс - Сборник книг

    Название: Грег Айлс - Сборник книгАвтор: Грег АйлсЖанр: детектив, триллерФормат: fb2Язык: английский, русскийКачество: отличноеГод издания: 2000-2010Размер: 13.5 mb (+5%) ...Доктор Крис Шепард шокиров . . .

  • Книга Новый солдат №46 - Норманнские каменные замки. Европа, 950-1204

    Новый солдат №46 - Норманнские каменные замки. Европа, 950-1204

    Название: Новый солдат 46 - Норманнские каменные замки. Европа, 950-1204Автор: не указанИздательство: Артемовск: Военно-исторический клуб 'Ветеран'Страниц: 47Формат: pdfРазмер: 21,33 mbКачество: хорош . . .

  • Книга Новый солдат №97 - Норманнские рыцари, 950-1204

    Новый солдат №97 - Норманнские рыцари, 950-1204

    Название: Новый солдат 97 - Норманнские рыцари, 950-1204Автор: не указанИздательство: Артемовск: Военно-исторический клуб 'Ветеран'Страниц: 44Формат: pdfРазмер: 60 mbКачество: отличноеСерия или Выпуск . . .

  • Книга The Art of the Catapult

    The Art of the Catapult

    Автор: William GurstelleНазвание: The Art of the CatapultИздательство: Chicago Review PressГод: 2004Формат: PDF (rar+3%)Размер: 54,57 МбЯзык: АнглийскийКоличество страниц: 172Описание: The Art of th . . .

  • Книга Artillery Through the Ages - A Short Ilustrated History of Cannon

    Artillery Through the Ages - A Short Ilustrated History of Cannon

    Название: Artillery Through the Ages - A Short Ilustrated History of CannonАвтор: Albert Manucy Drawings by AutorИздательство: U.S. Government Printing OfficeГод: 1949 (reprint 1962)Формат: JPG 300 dp . . .

  • Книга The 12th SS Panzer Division

    The 12th SS Panzer Division

    Автор: Herbert WaltherНазвание: The 12th SS Panzer DivisionИздательство: Schiffer Publishing Год: 1989Формат: PDF (rar+3%)Размер: 37,55 МбЯзык: АнглийскийКоличество страниц: 122Описание: A photo chr . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.