Loģisko problēmu risināšana ir izklaidējoša un atalgojoša darbība. Tās īpatnība ir tāda, ka sākotnēji ir tikai nepatiesa un patiesa informācija, un nav formulu. Apsvērsim vairākas pamata risinājuma metodes, kurām ir sava efektivitātes zona.
Instrukcijas
1. solis
Spriešanas metode - visvienkāršākā - balstās uz secīgu pamatojumu (kas izriet no problēmas stāvokļa), un to pārbaudi par patiesību vai nepatiesību, un visi turpmākie apgalvojumi ir balstīti uz pārbaudītu oriģinālu.
Piemēram. Mātes un meitas vecums kopā ir 98 gadi. Meita piedzima, kad manai mātei bija 22 gadi. Cik abiem ir gadu? Risinājums: tā kā viņu vecuma starpība ir 22 gadi (tieši šajā vecumā mātei bija meita), tad 98 - 22 = 76 (gadi). Tas ir divreiz meitas vecums, pēc tam 76: 2 = 38 (gadi). Tas nozīmē, ka mātēm ir 98 - 38 = 60 (gadi).
2. solis
Tabulu metode ir vizuāla metode, kas nozīmē tabulas izveidi atbilstoši vārdu uzdevumu nosacījumiem un secīgu tās aizpildīšanu ar skaitļiem 0 vai 1, atkarībā no iegūtajiem secinājumiem (false-true).
Piemēram. Ir 8 litru trauks, pilns ar ūdeni.
Kā izliet 4 litrus, ja ir tukši trauki ar tilpumu 3 un 5 litri? Lēmums:
3. solis
Bloku diagrammu metode ir piemērojama problēmu risināšanai attiecībā uz konteineriem un svariem, un tā ir daudz ērtāka nekā iespēju uzskaitīšanas metode (kas neļauj mums iegūt vispārīgus noteikumus). Pirmkārt, tiek izveidotas komandas (identiskas veiktajām operācijām), un pēc tam tiek izveidota to shematiskā secība. Šī ir labi pazīstamā blokshēma programmēšanā, kas noved pie problēmas risināšanas. Šīs metodes loģiskais turpinājums ir datorizēta risinājuma metode. Kuras būtība iegūtā algoritma pārnešanā uz programmēšanas valodu.
4. solis
Algebriskā risinājuma metode ietver loģisko vienādojumu sistēmu risināšanu. Visiem apgalvojumiem, kas izriet no problēmas stāvokļa, tiek piešķirti burtu apzīmējumi un tie tiek uzrakstīti formulu veidā. Atrisinot iegūto vienādojumu sistēmu (reizinot viens ar otru), tiek secināts patiesais apgalvojums.
5. solis
Iespējams arī grafisks sistēmas risināšanas veids. Šim nolūkam, pamatojoties uz iegūtajiem sistēmas vienādojumiem, tiek izveidota loģisko attiecību diagramma ("loģisko nosacījumu koks"). Turklāt loģiska summa nozīmē atzarošanu, un produkts viens pēc otra nozīmē šādus nosacījumus. Lēmums tiek pieņemts, veicot analīzi. Tas ietver arī Eulera apļu metodi - ģeometriskas shēmas izveidošanu, kas atspoguļo kopu krustojumu vai savienojumu.
6. solis
Ne mazāk interesanta ir biljarda metode, kuras pamatā ir trajektoriju teorija.
Tomēr, lai to detalizēti apsvērtu, būs nepieciešams atsevišķs, ļoti izklaidējošs raksts.
