Zgjidhja e problemeve logjike është një aktivitet argëtues dhe shpërblyes. Veçori e saj është se fillimisht ekziston vetëm një pohim i rremë dhe i vërtetë, dhe nuk ka formula. Le të shqyrtojmë disa metoda themelore të zgjidhjes, të cilat kanë fushën e tyre të efektivitetit.
Udhëzimet
Hapi 1
Metoda e arsyetimit - më e drejtpërdrejta - bazohet në arsyetimin vijues (që rrjedh nga gjendja e problemit), dhe verifikimin e tyre për të vërtetën ose false, dhe të gjitha deklaratat pasuese bazohen në origjinalin e verifikuar.
Për shembull. Mosha e nënës dhe vajzës është 98 vjeç gjithsej. Vajza lindi kur nëna ime ishte 22 vjeç. Sa vjeç janë të dy? Zgjidhja: meqenëse ndryshimi në moshën e tyre është 22 vjeç (pikërisht në këtë moshë nëna kishte një vajzë), atëherë 98 - 22 = 76 (vjet). Kjo është dyfishi i moshës së vajzës, pastaj 76: 2 = 38 (vjet). Kjo do të thotë që nënat janë 98 - 38 = 60 (vjet).
Hapi 2
Metoda e tabelave është një metodë vizuale që nënkupton ndërtimin e një tabele sipas kushteve të problemeve të fjalëve dhe plotësimin e saj në mënyrë të njëpasnjëshme me numrat 0 ose 1, në varësi të përfundimeve të marra (false-true).
Për shembull. Ka një enë prej 8 litrash me ujë.
Si të derdhni 4 litra nëse ka kontejnerë bosh me vëllim 3 dhe 5 litra? Vendimi:
Hapi 3
Metoda e bllok-diagrameve është e zbatueshme për zgjidhjen e problemeve në lidhje me kontejnerët dhe peshat dhe është shumë më e përshtatshme sesa metoda e numërimit të opsioneve (e cila nuk na lejon të nxjerrim rregulla të përgjithshme). Së pari, formohen komandat (identike me operacionet e kryera), dhe pastaj ndërtohet sekuenca e tyre skematike. Kjo është diagrami i mirënjohur në programim që çon në zgjidhjen e problemit. Vazhdimi logjik i kësaj metode është metoda e zgjidhjes së asistuar nga kompjuteri. Thelbi i së cilës, në transferimin e algoritmit të marrë në gjuhën e programimit.
Hapi 4
Metoda e zgjidhjes algjebrike përfshin zgjidhjen e sistemeve të ekuacioneve logjike. Të gjitha deklaratat që dalin nga gjendja e problemit u caktohen emërtimet e letrave dhe të shkruara në formën e formulave. Duke zgjidhur sistemin e ekuacioneve të marra (shumëzuar njëri me tjetrin), deklarata e vërtetë nxirret.
Hapi 5
Një mënyrë grafike e zgjidhjes së sistemit është gjithashtu e mundur. Për këtë, një diagram i marrëdhënieve logjike ("pema e kushteve logjike") është tërhequr bazuar në ekuacionet e fituara të sistemit. Për më tepër, një shumë logjike nënkupton degëzimin, dhe një produkt nënkupton kushtet e mëposhtme njëra pas tjetrës. Vendimi vjen nga analiza. Kjo gjithashtu përfshin metodën e qarqeve Ojler - ndërtimin e një skeme gjeometrike që pasqyron kryqëzimin ose bashkimin e grupeve.
Hapi 6
Jo më pak interesante është metoda e bilardos e bazuar në teorinë e trajektoreve.
Sidoqoftë, për shqyrtimin e tij të hollësishëm, do të kërkohet një artikull i veçantë, shumë argëtues.
