-
Ruský jazyk
Teorema ob ustranimosti secheniq dlq GPContPComp
Autor: Nataliq Znamenskaq
Rassmatriwaemaq logika PContPComp prinadlezhit logicheskomu interwalu mezhdu logikoj Par i mnozhestwom wseh formul. Ustanowleno, chto logika PContPComp qwlqetsq peresecheniem paraneprotiworechiwoj logiki PCont Batensa- Rozonoära s parapolnym naparnikom... Viac o knihe
Na objednávku
45.36 €
bežná cena: 50.40 €
O knihe
Rassmatriwaemaq logika PContPComp prinadlezhit logicheskomu interwalu mezhdu logikoj Par i mnozhestwom wseh formul. Ustanowleno, chto logika PContPComp qwlqetsq peresecheniem paraneprotiworechiwoj logiki PCont Batensa- Rozonoära s parapolnym naparnikom poslednej. Predstawlqetsq, chto logika PContPComp - naimenee izuchennaq logika iz ukazannogo interwala. Ona qwlqetsq rasshireniem naibolee izwestnoj paranormal'noj logiki Par, kotoruü w swoe wremq otkrylo neskol'ko chelowek (Brädi, Popow, Awron). Vsego netriwial'nyh rasshirenij logiki Par chetyre - paranormal'naq logika PContPComp, paraneprotiworechiwaq logika PCont, parapolnaq logika PComp i klassicheskaq logika Cl. V rabote dano podrobnoe dokazatel'stwo teoremy ob ustranimosti secheniq dlq predlozhennogo V. M. Popowym sekwencial'nogo ischisleniq, axiomatiziruüschego ätu logiku PContPComp. Vperwye izuchaetsq deduktiwnaq sistema sekwencial'nogo ischisleniq, axiomatiziruüschego dannuü logiku. Ustranimost' secheniq w dannom ischislenii znachitel'no oblegchaet proceduru poiska dokazatel'stwa, a takzhe pozwolqet dat' sintaxicheskuü razreshaüschuü proceduru.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2011
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9783843322348
Anglický jazyk 
