Logika vtoroj stupeni Vvedenie
Kratkoe izlozhenie osnovnyh faktov i nekotrye issledovaniya v oblasti logiki predikatov vtorogo poryadka.
Versandkostenfrei!
Versandfertig in 6-10 Tagen
31,99 €
inkl. MwSt.
PAYBACK Punkte
16 °P sammeln!
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 ischislen...
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.
Andere Kunden interessierten sich für
