Relqcionnaq interaktiwnaq logika
Ot Logicheskih Urawnenij i Nerawenstw k Otwetam na Mudrenye Voprosy
- Editore:
LAP LAMBERT Academic Publishing
- EAN:
9783659418518
- ISBN:
365941851X
- Pagine:
- 132
- Formato:
- Paperback
- Lingua:
- Tedesco
Descrizione 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.