Dmitrij Smelyanskij

Logika vtoroj stupeni Vvedenie

Kratkoe izlozhenie osnovnyh faktov i nekotrye issledovaniya v oblasti logiki predikatov vtorogo poryadka.

• Broschiertes Buch

Produktbeschreibung

Logika vtorogo poryadka ostaetsya v nastoyashhee vremya daleko ne izuchennym do konca razdelom matematicheskoj logiki v silu ryada voznikajushhih v nej trudnostej, ne imejushhih mesta v logike pervogo poryadka. Tem ne menee, ona zasluzhivaet vnimaniya blagodarya svoim bolee shirokim, chem v logike pervogo poryadka, vyrazitel'nym vozmozhnostyam. V obshhih chertah logika vtorogo poryadka mozhet byt' oharakterizovana kak takoe rasshirenie logiki pervogo poryadka, yazyk kotoroj formalizuet ponyatiya "proizvol'nogo svojstva" i "proizvol'nogo ot- nosheniya". Takim obrazom, jeto logicheskoe ischislenie bolee polno otrazhaet sredstva i sposoby nashih estestvennyh, neformal'nyh rassuzhdenij. Pervye formal'no-logicheskie sistemy, takie, kak sistema G.Frege, byli v kakom-to sistemami logiki vtorogo poryadka. Issledovaniyami v jetoj oblasti zanimalis' takie krupnye matematiki-logiki, kak Henkin, Cherch, Takeuti i dr. V svoej rabote avtor isssleduet ogranicheniya i illjustriruet vozmozhnosti vyrazimosti v yazyke vtorogo poryadka. Jeta kniga mozhet takzhe posluzhit' vvedeniem v jetu oblast' matematicheskoj logiki.

Produktdetails

• Verlag: LAP Lambert Academic Publishing
• Seitenzahl: 108
• Erscheinungstermin: 5. November 2016
• Russisch
• Abmessung: 220mm x 150mm x 8mm
• Gewicht: 179g
• ISBN-13: 9783843317559
• ISBN-10: 3843317550
• Artikelnr.: 46919885

Autorenporträt

Smelyanskij Dmitrij Mihajlovich, bakalavr matematiki, magistr fiziko-matematicheskogo obrazovaniya. Okonchil Moskovskij Pedagogicheskij gosudarstvennyj universitet.