A logikai problémák megoldása szórakoztató és kifizetődő tevékenység. Különlegessége, hogy kezdetben csak hamis és igaz állítás létezik, és nincsenek képletek. Vizsgáljuk meg a megoldás alapvető módszereit, amelyeknek megvan a saját hatékonyságuk.
Utasítás
1. lépés
Az érvelés módszere - a legegyszerűbb - szekvenciális (a probléma állapotából fakadó) gondolkodáson alapul, és azok igaz vagy hamis igazolásán alapul, és minden későbbi állítás az ellenőrzött eredetire épül.
Például. Az anya és a lánya életkora összesen 98 év. A lánya akkor született, amikor anyám 22 éves volt. Hány éves mindkettő? Megoldás: mivel életkorukban 22 év a különbség (ebben az életkorban volt az anyának lánya), akkor 98 - 22 = 76 (év). Ez kétszerese a lánya életkorának, akkor 76: 2 = 38 (év). Ez azt jelenti, hogy az anyák 98 - 38 = 60 (év).
2. lépés
A táblázatok módszere olyan vizuális módszer, amely magában foglalja a táblázat felépítését a szöveges feladatok feltételeinek megfelelően, és a kapott következtetések függvényében sorosan kitöltve 0 vagy 1 számokkal (hamis-igaz).
Például. Van egy 8 literes edény, tele vízzel.
Hogyan kell kiönteni 4 litert, ha vannak üres edények, amelyek térfogata 3 és 5 liter? Döntés:
3. lépés
A blokkdiagramok módszere a konténerekkel és a súlyokkal kapcsolatos problémák megoldására alkalmazható, és sokkal kényelmesebb, mint az opciók felsorolásának módszere (ami nem teszi lehetővé általános szabályok levezetését). Először parancsokat alakítanak ki (azonosak az elvégzett műveletekkel), majd felépítik azok vázlatos sorrendjét. Ez a programozásban jól ismert folyamatábra, amely a probléma megoldásához vezet. Ennek a módszernek a logikai folytatása a számítógéppel támogatott megoldási módszer. Ennek lényege, a kapott algoritmus programnyelvre való átvitele során.
4. lépés
Az algebrai megoldási módszer magában foglalja a logikai egyenletek rendszereinek megoldását. A probléma állapotából fakadó összes állítást betűjelekkel látják el és képletek formájában írják. A kapott egyenletek rendszerének megoldása (egymás szorzása) levezeti az igaz állítást.
5. lépés
A rendszer grafikus megoldásának módja is lehetséges. Ehhez a rendszer kapott egyenletei alapján megrajzoljuk a logikai összefüggések diagramját ("logikai feltételek fája"). Ezenkívül a logikai összeg elágazást jelent, és egy termék egymás után a következő feltételeket jelenti. A döntés elemzésből származik. Ide tartozik az Euler-körök módszer is - egy olyan geometriai séma felépítése, amely a halmazok metszéspontját vagy egyesülését tükrözi.
6. lépés
Nem kevésbé érdekes a pályák elméletén alapuló biliárd módszer.
Részletes megfontolásához azonban külön, nagyon szórakoztató cikkre lesz szükség.
