Ruský jazyk

Relqcionnaq interaktiwnaq logika

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

Na objednávku

34.20 €

bežná cena: 38.00 €

O knihe

Kniga poswqschena nowym instrumentam resheniq logicheskih zadach. Logicheskaq zadacha rassmatriwaetsq kak sistema logicheskih urawnenij i nerawenstw (SLUN). Rassmatriwaütsq obyknowennye i induktiwnye SLUN, a takzhe ih ierarhicheskie kompozicii. Nabor wozmozhnyh znachenij peremennyh i resheniq SLUN zapisywaütsq w wide relqcionnyh tablic. Reshenie logicheskoj zadachi swoditsq k ispolneniü relqcionnyh zaprosow. Deduktiwnaq moschnost' relqcionnoj interaktiwnoj logiki ne ustupaet deduktiwnoj moschnosti klassicheskih logik. Nowoe kachestwo relqcionnoj interaktiwnoj logiki osnowano na ispol'zowanii netextowogo predstawleniq logicheskih formul i aktow logicheskogo wywoda. Logicheskie formuly mogut byt' predstawleny w wide relqcionnyh tablic i relqcionnyh zaprosow, a akt logicheskogo wywoda zaklüchaetsq w ispolnenii relqcionnogo zaprosa. Interaktiwnost' obespechiwaet dialogowoe reshenie logicheskih zadach, orientirowannoe na cheloweka w bol'shej mere, chem na osnowe tradicionnogo textowogo predstawleniq logicheskih formul. Interaktiwnaq relqcionnaq logika mozhet byt' ispol'zowana dlq awtomatizirowannogo resheniq kak obrazowatel'nyh i razwlekatel'nyh zadach, tak i prakticheskih zadach.