|
|
libcats.org
Лекции по математической логикеГончаров С.С.В представленном пособии изложены лекции по математической логике, которые читались в Новосибирском государственном университете в 2006/07 учебном году. В основу лекций было положено изложение основ теории множеств для построения базисных математических объектов, классическое исчисление высказываний гильбертовское и секвенциальное и различные типы его семантики, базисные теоретико-модельные конструкции, исчисления предикатов гильбертовское и секвенциальное и их полная семантика на основе теоретико-модельного подхода. В рамках аксиоматических классов излагается аксиоматический подход Цермело-Френксля в теории множеств и Псановская арифметика на основе исчисления предикатов. Базируясь на подходах к вычислимости через определимость и клининевскую теорию рекурсивных функций излагается теорема Геделя о неполноте арифметики и теорема Черча о неразрешимости исчисления предикатов
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Модернизация образования в Новгородской области, опыт и перспективыАвтор: Аверкин В.Н., Автор: Зайченко О.М.Категория: Педагогика в помощь учителю
Размер книги: 612 Kb
Peer-to-Peer : Harnessing the Power of Disruptive TechnologiesАвтор: Andy Oram
Размер книги: 2.13 Mb
Erfolgreiches Innovationsmanagement: Erfolgsfaktoren - Grundmuster - Fallbeispiele. 4. AuflageАвтор: Thomas Stern, Автор: Helmut Jaberg
Размер книги: 2.98 Mb
|
|
|