Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Гончаров С.С. — Лекции по математической логике
Гончаров С.С. — Лекции по математической логике



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Лекции по математической логике

Автор: Гончаров С.С.

Аннотация:

В представленном пособии изложены лекции по математической логике, которые читались в Новосибирском государственном университете в 2006/07 учебном году. В основу лекций было положено изложение основ теории множеств для построения базисных математических объектов, классическое исчисление высказываний гильбертовское и секвенциальное и различные типы его семантики, базисные теоретико-модельные конструкции, исчисления предикатов гильбертовское и секвенциальное и их полная семантика на основе теоретико-модельного подхода. В рамках аксиоматических классов излагается аксиоматический подход Цермело-Френксля в теории множеств и Псановская арифметика на основе исчисления предикатов. Базируясь на подходах к вычислимости через определимость и клининевскую теорию рекурсивных функций излагается теорема Геделя о неполноте арифметики и теорема Черча о неразрешимости исчисления предикатов.


Язык: ru

Рубрика: Математика/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2006

Количество страниц: 67

Добавлена в каталог: 05.05.2013

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте