Rješavanje logičkih problema zabavna je i korisna aktivnost. Njegova je osobitost u tome što u početku postoji samo lažna i istinita izjava, a ne formula. Razmotrimo nekoliko osnovnih metoda rješenja koje imaju svoje područje učinkovitosti.
Upute
Korak 1
Način rasuđivanja - najjednostavniji - temelji se na uzastopnom obrazloženju (koje proizlazi iz stanja problema) i njihovoj provjeri istinitosti ili neistine, a sve naredne izjave temelje se na provjerenom izvorniku.
Na primjer. Starost majke i kćeri je ukupno 98 godina. Kći je rođena kad su moja majka imale 22 godine. Koliko su stara oba? Rješenje: budući da je razlika u njihovoj dobi 22 godine (u toj dobi majka je imala kćer), tada je 98 - 22 = 76 (godina). To je dvostruko više od dobi kćeri, zatim 76: 2 = 38 (godina). To znači da su majke 98 - 38 = 60 (godina).
Korak 2
Metoda tablica je vizualna metoda koja podrazumijeva izgradnju tablice prema uvjetima zadataka riječi i njezino popunjavanje brojevima 0 ili 1, ovisno o dobivenim zaključcima (lažno-točno).
Na primjer. Postoji posuda od 8 litara puna vode.
Kako izliti 4 litre ako postoje prazne posude zapremine 3 i 5 litara? Odluka:
3. korak
Metoda blok dijagrama primjenjiva je za rješavanje problema oko spremnika i utega i mnogo je prikladnija od metode nabrajanja opcija (koja nam ne dopušta izvođenje općih pravila). Prvo se formiraju naredbe (identične izvedenim operacijama), a zatim se gradi njihov shematski slijed. Ovo je dobro poznata shema toka u programiranju koja vodi do rješenja problema. Logičan nastavak ove metode je metoda računalno potpomognutog rješenja. Suština čega, u prijenosu dobivenog algoritma u programski jezik.
4. korak
Metoda algebarskog rješenja uključuje rješavanje sustava logičkih jednadžbi. Svim iskazima koji proizlaze iz stanja problema dodijeljene su slovne oznake i napisane u obliku formula. Rješavajući sustav dobivenih jednadžbi (množenjem jedne s drugom), izvodi se istinita tvrdnja.
Korak 5
Moguć je i grafički način rješavanja sustava. Za to se na temelju dobivenih jednadžbi sustava crta dijagram logičkih odnosa ("stablo logičkih uvjeta"). Štoviše, logični zbroj podrazumijeva grananje, a proizvod podrazumijeva sljedeće uvjete jedan za drugim. Odluka dolazi iz analize. To također uključuje metodu Eulerovih krugova - konstrukciju geometrijske sheme koja odražava presjek ili uniju skupova.
Korak 6
Ne manje zanimljiva je biljarska metoda koja se temelji na teoriji putanja.
Međutim, za njegovo detaljno razmatranje bit će potreban zaseban, vrlo zabavan članak.
