x-uni.com
регистрация / вход
сейчас на линии 131 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 131 чел.
Математическая логика, Ершов Ю.Л., Палютин Е.А., 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. Неразрешимые теории
Предметный указатель.

Скачать бесплатно на сайте fileskachat.com
Скачать бесплатно на сайте yadi.sk

Предложения интернет-магазинов

Математическая разминка. 2 класс. Устный счет в трех уровнях

Автор(ы): Полникова М. Ю.   Издательство: Смио-Пресс, 2013 г.

Цена: 149 руб.   Купить

Математическая разминка. 2 класс. Устный счет в трех уровнях. Учебное пособие по математике для учащихся 2 класса. 2-е издание.


Математическая разминка. 4 класс. Устный счет в трех уровнях

Автор(ы): Полникова М. Ю.   Издательство: Смио-Пресс, 2012 г.

Цена: 184 руб.   Купить

Математическая разминка. 4 класс. Устный счет в трех уровнях. Учебное пособие по математике для учащихся 4 класса.


Математическая разминка. 3 класс. Устный счет в трех уровнях.

Автор(ы): Полникова М. Ю.   Издательство: Смио-Пресс, 2011 г.

Цена: 184 руб.   Купить

Учебное пособие по математике для учащихся 3 класса.


Логика в начальной школе. Умный тренажер

Автор(ы): Беленькая Татьяна Борисовна   Издательство: Феникс, 2015 г.  Серия: Наша началочка

Цена: 126 руб.   Купить

Умный тренажёр - сборник заданий по логике, предназначенный в помощь учителям и родителям как дополнение к программе начальной школы. В нашем пособии последовательно изложены необходимые каждому школьнику логические понятия: сравнение, анализ, синтез, классификация, множество, утверждение и многие другие. Материал излагается от простого к сложному, с использованием дидактических материалов. Логика интересна не только как отдельная наука, это инструмент, необходимый для успешного обучения в целом! Научите ребёнка учиться! 2-е издание.

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!