Математическая логика
|
Автор | | А. Н. Колмогоров, А. Г. Драгалин |
|
Содержание:
Перспектива создания федеральных исследовательских университетов в России, Разработка технологии стратегического менеджмента в научной сфере системы высшего образования, Стратегическое управление научной сферой высшей школы, Интеллектуальная собственность в вузовской науке: Стратегия управления, эффективность результата, Проблема стратегического управления наукой высшей школы России в начале XXI века
Описание:
А.Н.Колмогоров (1903-1987) и А.Г.Драгалин (1941-1998) - выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены учебники А.Н.Колмогорова и А.Г.Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы", содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В.Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Геделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей,...Похожие книги