А.Н.Колмогоров (1903-1987) и А.Г.Драгалин (1941-1998) - выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены учебники А.Н.Колмогорова и А.Г.Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы", содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В.Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Геделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей,...
A.N.Kolmogorov (1903-1987) i A.G.Dragalin (1941-1998) - vydajuschiesja otechestvennye logiki i matematiki, okazavshie glubokoe vozdejstvie na stil i napravlenie mirovykh issledovanij po logike i filosofii matematiki. V nastojaschee izdanie vkljucheny uchebniki A.N.Kolmogorova i A.G.Dragalina "Vvedenie v matematicheskuju logiku" i "Matematicheskaja logika. Dopolnitelnye glavy", soderzhaschie klassicheskoe izlozhenie ponjatij i rezultatov matematicheskoj logiki s elementami teorii mnozhestv, teorii algoritmov i osnovanij matematiki. Uchebniki napisany na osnovanii kursa matematicheskoj logiki, chitavshegosja oboimi avtorami na mekhaniko-matematicheskom fakultete MGU im. M.V.Lomonosova. Izlozhenie fundamentalnykh faktov sovremennoj logiki (osnov logiki vyskazyvanij i logiki predikatov, nachal aksiomaticheskoj teorii mnozhestv, teorii algoritmov, teoremy Gedelja o nepolnote, programmy Gilberta obosnovanija matematiki) ne predpolagaet spetsialnoj podgotovki i rasschitano na shirokij krug chitatelej,...
