Řešení logických problémů je zábavná a obohacující aktivita. Jeho zvláštností je, že zpočátku existuje pouze nepravdivé a pravdivé tvrzení a žádné vzorce. Uvažujme o několika základních metodách řešení, které mají svou vlastní oblast efektivity.
Instrukce
Krok 1
Metoda uvažování - nejpřímější - je založena na postupném uvažování (vyplývajícím ze stavu problému) a jejich ověřování pravdivosti nebo nepravdivosti a všechna následující tvrzení vycházejí z ověřeného originálu.
Například. Věk matky a dcery je celkem 98 let. Dcera se narodila, když mé matce bylo 22 let. Jak staré jsou oba? Řešení: protože rozdíl v jejich věku je 22 let (právě v tomto věku měla matka dceru), pak 98 - 22 = 76 (let). To je dvojnásobek věku dcery, poté 76: 2 = 38 (let). To znamená, že matkám je 98 - 38 = 60 (let).
Krok 2
Metoda tabulek je vizuální metoda, která předpokládá sestavení tabulky podle podmínek slovních úloh a její následné naplnění čísly 0 nebo 1, v závislosti na získaných závěrech (false-true).
Například. K dispozici je 8 litrová nádoba plná vody.
Jak vysypat 4 litry, pokud jsou prázdné nádoby o objemu 3 a 5 litrů? Rozhodnutí:
Krok 3
Metoda blokových diagramů je použitelná při řešení problémů s kontejnery a váhami a je mnohem pohodlnější než metoda výčtu možností (což nám neumožňuje odvodit obecná pravidla). Nejprve se vytvoří příkazy (identické s prováděnými operacemi) a poté se vytvoří jejich schematické pořadí. Toto je známý vývojový diagram programování, který vede k řešení problému. Logickým pokračováním této metody je metoda řešení podporovaného počítačem. Jeho podstata při přenosu získaného algoritmu do programovacího jazyka.
Krok 4
Metoda algebraického řešení zahrnuje řešení systémů logických rovnic. Všechna prohlášení vyplývající ze stavu problému jsou označena písmennými označeními a jsou psána ve formě vzorců. Při řešení systému získaných rovnic (vynásobením jedné za druhou) se odvodí pravdivé tvrzení.
Krok 5
Možný je také grafický způsob řešení systému. K tomu se na základě získaných rovnic systému nakreslí diagram logických vztahů („strom logických podmínek“). Logický součet navíc znamená větvení a produkt znamená následující podmínky jeden po druhém. Rozhodnutí vychází z analýzy. To zahrnuje také metodu Eulerovy kruhy - konstrukci geometrického schématu, které odráží průnik nebo sjednocení množin.
Krok 6
Neméně zajímavá je kulečníková metoda založená na teorii trajektorií.
Pro jeho podrobné zvážení však bude zapotřebí samostatný, velmi zábavný článek.
