Relqcionnaq interaktiwnaq logika

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.