Книга: Колмогоров А., Драгалин А. «Математическая логика Дополнительные главы»
|
Авторы настоящей книги - А. Н. Колмогоров и А. Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова.. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики)не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики. Формат: Мягкая глянцевая, 240 стр.
ISBN: 9785354015856 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Математическая логика Введение в математическую логику | Авторы настоящей книги - А. Н. Колмогоров и А. Г. Драгалин - выдающиеся отечественные математики, оказавшие… — (формат: Твердая глянцевая, 240 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
КОЛМОГОРОВ — Андрей Николаевич [р. 12 (25) апр. 1903] – сов. математик, акад. (с 1939), проф. Моск. ун та (с 1931). Лауреат Гос. премии СССР (1941). Член ряда иностр. науч. учреждений. Исследования К. оказали значит. влияние на развитие множеств теории,… … Философская энциклопедия
ДРАГАЛИН — ДРАГАЛИН Альберт Григорьевич (1942 18 декабря 1998, Дебрецен, Венгрия) один из крупнейших российских математических логиков. Заложил основы российской школы интуиционизма и продолжил традиции конструктивного направления. Получил… … Философская энциклопедия
Институт автоматики и вычислительной техники МЭИ — Институт автоматики и вычислительной техники Московского энергетического института (технического университета) … Википедия
Линейная алгебра — Эта статья в данный момент активно редактируется участником Zanka. Пожалуйста, не вносите в неё никаких изменений до тех пор, пока не исчезнет это объявление. В противном случае могут возникнуть конфликты редактирования. Данное предупреждение… … Википедия
Нормальная форма дифференциальных уравнений — есть наипростейшая эквивалентная форма исходных уравнений. Нормальная форма получается с помощью специальных замен зависимых и независимых переменных задачи с целью максимального упрощения структуры уравнений. В математике эти замены переменных… … Википедия
