Интуиционистская логика
Интуиционистская логика занимает уникальное место в классе неклассических логик, не только как старейшая из них, но и как концептуально целостная система. В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в книге. Книга предназначена для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.
Краткое содержание
Предисловие
Глава 1. Теория множеств и кризис оснований математики
Глава 2. Интуиционизм
Глава 3. Элементы классической логики
Глава 4. Интуиционистское исчисление высказываний (ИИВ)
Глава 5. Псевдобулевы алгебры
Глава 6. Исследование ИИВ с помощью псевдобулевых алгебр
Глава 7. Модели Крипке для логики высказываний
Глава 8. Интуиционистское исчисление предикатов (ИИП)
Глава 9. Модели Крипке для логики предикатов
Литература
Предметный указатель.
Название: Интуиционистская логика
Автор: Плиско В.Е., Хаханян В.X.
Издательство: М.: МГУ, механико-математический факультет
Год: 2009
Страниц: 160
Язык: Русский
Формат: djvu
Размер: 12,1 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войдиили Зарегистрируйся
Для просмотра ссылки Войдиили Зарегистрируйся
Для просмотра ссылки Войдиили Зарегистрируйся
Интуиционистская логика занимает уникальное место в классе неклассических логик, не только как старейшая из них, но и как концептуально целостная система. В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в книге. Книга предназначена для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.
Краткое содержание
Предисловие
Глава 1. Теория множеств и кризис оснований математики
Глава 2. Интуиционизм
Глава 3. Элементы классической логики
Глава 4. Интуиционистское исчисление высказываний (ИИВ)
Глава 5. Псевдобулевы алгебры
Глава 6. Исследование ИИВ с помощью псевдобулевых алгебр
Глава 7. Модели Крипке для логики высказываний
Глава 8. Интуиционистское исчисление предикатов (ИИП)
Глава 9. Модели Крипке для логики предикатов
Литература
Предметный указатель.
Название: Интуиционистская логика
Автор: Плиско В.Е., Хаханян В.X.
Издательство: М.: МГУ, механико-математический факультет
Год: 2009
Страниц: 160
Язык: Русский
Формат: djvu
Размер: 12,1 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать:
Для просмотра ссылки Войди
Для просмотра ссылки Войди
Для просмотра ссылки Войди