1. Böcker
  2. Naturvetenskap, miljöskydd
  3. Matematicheskaja logika

Matematicheskaja logika

Математическая логика
Matematicheskaja logika
Språk
Mätningar
215/145 mm
Förlag
Publiceringsår
Sidor
240
ISBN
978-5-484-00520-8
 
Utgått
Maila mig när tillgängligt Spara till önskelista
А.Н.Колмогоров (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,...
EAN
9785484005208
Bibliotekskategori BIC:
RN
Alternativ ISBN
5-484-00520-5
Liknande produkter
  • V. L. Matrosov
    Publiceringsår: 2020
    Inbunden, hårda pärmar
    22.00 €
    20.00 € utan Moms
  • Valentin Zjuzkov
    Publiceringsår: 2018
    Inbunden, hårda pärmar
    62.00 €
    56.36 € utan Moms
  • Glukhov M. M.
    Publiceringsår: 2021
    Häftad, mjuka pärmar
    27.00 €
    24.55 € utan Moms
  • Orlin Ben
    Publiceringsår: 2024
    Inbunden, hårda pärmar
    28.00 €
    25.45 € utan Moms
  • Mukovnikova Irina Vladimirovna
    Publiceringsår: 2024
    Häftad, mjuka pärmar
    15.00 €
    13.64 € utan Moms
  • Mukovnikova Irina Vladimirovna
    Publiceringsår: 2024
    Häftad, mjuka pärmar
    15.00 €
    13.64 € utan Moms
  • Zorich Vladimir Antonovich
    Publiceringsår: 2024
    Inbunden, hårda pärmar
    56.00 €
    50.91 € utan Moms
  • Vinogradova I. A.
    Publiceringsår: 2024
    Inbunden, hårda pärmar
    16.00 €
    14.55 € utan Moms
  • Prasolov Viktor Vasilevich
    Publiceringsår: 2023
    Inbunden, hårda pärmar
    36.00 €
    32.73 € utan Moms
  • Ju. V. Ivlev
    Publiceringsår: 2023
    Häftad, mjuka pärmar
    19.00 €
    17.27 € utan Moms