• Ruský jazyk

Prikladnoj logicheskij analiz

Autor: Sergej Popow

Logicheskij formalizm ispol'zuetsq w kachestwe instrumenta dlq formulirowki i resheniq soderzhatel'nyh zadach. Voznikaüschie pri ätom problemy analiziruütsq s logicheskih pozicij. V swqzi s ätim issleduütsq dwa podhoda: semanticheskij - ustanowlenie wypolnimosti,... Viac o knihe

Na objednávku

73.17 €

bežná cena: 81.30 €

O knihe

Logicheskij formalizm ispol'zuetsq w kachestwe instrumenta dlq formulirowki i resheniq soderzhatel'nyh zadach. Voznikaüschie pri ätom problemy analiziruütsq s logicheskih pozicij. V swqzi s ätim issleduütsq dwa podhoda: semanticheskij - ustanowlenie wypolnimosti, i sintaxicheskij - postroenie wywodow w sekwencial'nyh ischisleniqh. V chastnosti, opisywaütsq procedury ustanowleniq wypolnimosti logicheskih formul i dokazuemosti w sekwencial'nyh ischisleniqh, kotorye mogut ispol'zowat'sq pri awtomaticheskom poiske reshenij. S cel'ü unifikacii mehanizma poiska reshenij wwoditsq kanonicheskaq forma wywodow, pozwolqüschaq opredelit' regulqrnuü proceduru poiska. Dlq logicheskih formul opredelqetsq ih matrichnoe predstawlenie i operacii nad matricami, chto daet wozmozhnost' uwidet' suschestwennye swojstwa logicheskih formul, kotorye pri obychnom podhode ne proqwlqütsq. Vwodqtsq tak nazywaemye lokal'nye zadachi, obladaüschie prostymi procedurami ustanowleniq wypolnimosti i dokazuemosti.

  • Vydavateľstvo: LAP LAMBERT Academic Publishing
  • Rok vydania: 2011
  • Formát: Paperback
  • Rozmer: 220 x 150 mm
  • Jazyk: Ruský jazyk
  • ISBN: 9783847302940

Generuje redakčný systém BUXUS CMS spoločnosti ui42.