Reševanje logičnih problemov je zabavna in koristna dejavnost. Njegova posebnost je v tem, da na začetku obstajajo samo napačne in resnične trditve in nobene formule. Upoštevajmo več osnovnih metod rešitve, ki imajo svoje področje učinkovitosti.
Navodila
Korak 1
Način sklepanja - najbolj neposreden - temelji na zaporednem sklepanju (ki izhaja iz stanja problema) in njihovem preverjanju resničnosti ali neresničnosti, vse nadaljnje izjave pa temeljijo na preverjenem izvirniku.
Na primer. Starost matere in hčere je skupaj 98 let. Hči se je rodila, ko je bila moja mama stara 22 let. Koliko sta stara oba? Rešitev: ker je razlika v njihovi starosti 22 let (v tej starosti je imela mati hčerko), potem je 98 - 22 = 76 (let). To je dvakrat več kot hčerina starost, torej 76: 2 = 38 (let). To pomeni, da so matere 98 - 38 = 60 (let).
2. korak
Metoda tabel je vizualna metoda, ki pomeni izdelavo tabele v skladu s pogoji besedilnih problemov in njeno zaporedno polnjenje s številkama 0 ali 1, odvisno od dobljenih zaključkov (lažno-resnično).
Na primer. 8-litrska posoda je polna vode.
Kako izliti 4 litre, če obstajajo prazne posode s prostornino 3 in 5 litrov? Sklep:
3. korak
Metoda blokovnih diagramov je uporabna za reševanje problemov glede zabojnikov in uteži in je veliko bolj priročna kot metoda naštevanja možnosti (ki nam ne omogoča, da bi izpeljali splošna pravila). Najprej se oblikujejo ukazi (enaki izvedenim operacijam), nato pa se zgradi njihovo shematsko zaporedje. To je dobro znani diagram poteka pri programiranju, ki vodi do rešitve problema. Logično nadaljevanje te metode je metoda računalniško podprte rešitve. Bistvo tega pri prenosu pridobljenega algoritma v programski jezik.
4. korak
Metoda algebrske rešitve vključuje reševanje sistemov logičnih enačb. Vsem trditvam, ki izhajajo iz pogoja težave, so dodeljene črkovne oznake in zapisane v obliki formul. Pri reševanju sistema dobljenih enačb (množenje ene z drugo) se izkaže resnična trditev.
5. korak
Možen je tudi grafični način reševanja sistema. Za to se na podlagi dobljenih enačb sistema nariše diagram logičnih razmerij ("drevo logičnih pogojev"). Poleg tega logična vsota pomeni razvejanje, izdelek pa pomeni naslednje pogoje enega za drugim. Odločitev izhaja iz analize. Sem spada tudi metoda Eulerjevih krogov - konstrukcija geometrijske sheme, ki odraža presečišče ali združitev množic.
6. korak
Nič manj zanimiva ni biljardna metoda, ki temelji na teoriji trajektorij.
Za podrobno obravnavo pa bo potreben ločen, zelo zabaven članek.
