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

UptoLike

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

РЕШЕНИЕ (файл) вывод, красное-белое: 

ВУЗ: 

НГУ | Новосибирск

Дисциплина: 

НГУ | Новосибирск - Математика

Составители: 

Формат файла: 

PDF

Ключевые слова: 

  • учебник
  • учебное пособие

Год: 

  • 2006

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

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

Рекомендуемые учебно-методические материалы

Задачи к курсу общей топологии. Сторожук К.В.
Просмотреть (PDF)
Сторожук К.В.
Сторожук К.В. Задачи к курсу общей топологии. - Новосибирск: НГУ, 2005. - 8 с.
Произведения топологических пространств и вполне регулярные пространства. Тайманов И.А.
Просмотреть (PDF)
Тайманов И.А.
Тайманов И.А. Произведения топологических пространств и вполне регулярные пространства. Материалы к курсу лекций. - Новосибирск: НГУ, 2005. - 6 с.
Кольца и пространства максимальных идеалов. Тайманов И.А.
Просмотреть (PDF)
Тайманов И.А.
Тайманов И.А. Кольца и пространства максимальных идеалов. Материалы к курсу лекций. - Новосибирск: НГУ, 2005. - 8 с.
Начала обработки экспериментальных данных. Князев Б.А
Просмотреть (PDF)
Князев Б.А., Черкасский B.C.
Князев Б.А., Черкасский B.C. Начала обработки экспериментальных данных. Электронный учебник и программа обработки данных для начинающих: Учебное пособие. - Новосибирск: НГУ, 1996. - 93 с.
Моделирование физических явлений на ЭВМ. Ч. V. Статистическое моделирование. Кайран Д.А
Просмотреть (PDF)
Кайран Д.А., Кандауров И.В., Краснов А.А., Мезенцев Н.А., Мешков О.И., Пиндюрин В.Ф., Скарбо Б.А.
Кайран Д.А., Кандауров И.В., Краснов А.А., Мезенцев Н.А., Мешков О.И., Пиндюрин В.Ф., Скарбо Б.А. Моделирование физических явлений на ЭВМ. Методическое пособие. Часть V: Статистическое моделирование. - Новосибирск: СУНЦ НГУ, 2000. - 83 с.
Введение в вычислимость. Морозов А.С.
Просмотреть (PDF)
Морозов А.С.
Морозов А.С. Введение в вычислимость: Учебное пособие. - Новосибирск: НГУ, 2005. - 114 с.
Лекции по математической логике. Гончаров С.С.
Просмотреть (PDF)
Гончаров С.С.
Гончаров С.С. Лекции по математической логике. - Новосибирск: НГУ, 2006. - 67 с.
Лекции по дифференциальной геометрии. Ч.II. Риманова геометрия. Тайманов И.А.
Просмотреть (PDF)
Тайманов И.А.
Тайманов И.А. Лекции по дифференциальной геометрии. Ч.II. Риманова геометрия: Учебное пособие. - Новосибирск: НГУ, 2005. - 44 с.
Лекции по дифференциальной геометрии. Ч.I. Кривые и поверхности. Тайманов И.А.
Просмотреть (PDF)
Тайманов И.А.
Тайманов И.А. Лекции по дифференциальной геометрии. Ч.I. Кривые и поверхности: Учебное пособие. - Новосибирск: НГУ, 2005. - 47 с.
Элементарные асимптотические методы. Романов А.С.
Просмотреть (PDF)
Романов А.С.
Романов А.С. Элементарные асимптотические методы: Учебное пособие. - Новосибирск: НГУ, 2003. - 57 с.
Теория алгоритмов. Подзоров С.Ю.
Просмотреть (PDF)
Подзоров С.Ю.
Подзоров С.Ю. Теория алгоритмов. Полный конспект лекций по курсу. - Новосибирск: НГУ, 2005. - 130 с.
Обобщенные функции. Александров В.А.
Просмотреть (PDF)
Александров В.А.
Александров В.А. Обобщенные функции: Учебное пособие. - Новосибирск: НГУ, 2003. - 45 с.
Преобразование Фурье. Александров В.А.
Просмотреть (PDF)
Александров В.А.
Александров В.А. Преобразование Фурье: Учебное пособие. - Новосибирск: НГУ, 2003. - 61 с.
Ортогональные многочлены. Александров В.А.
Просмотреть (PDF)
Александров В.А.
Александров В.А. Ортогональные многочлены: Методические указания. - Новосибирск: НГУ, 2003. - 67 с.
Булевы алгебры. Подзоров С.Ю.
Просмотреть (PDF)
Подзоров С.Ю.
Подзоров С.Ю. Булевы алгебры: Учебное пособие по спецкурсу. - Новосибирск: НГУ, 2005. - 93 с.