-
Ruský jazyk
Logika vtoroj stupeni Vvedenie
Autor: Dmitrij Smelyanskij
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
45.36 €
bežná cena: 50.40 €
O knihe
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.
- Vydavateľstvo: LAP Lambert Academic Publishing
- Rok vydania: 2016
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9783843317559
Anglický jazyk 
