Riešenie logických problémov je zábavná a obohacujúca činnosť. Jeho zvláštnosťou je, že spočiatku existuje iba nepravdivé a pravdivé tvrdenie a žiadne vzorce. Uvažujme o niekoľkých základných metódach riešenia, ktoré majú svoju vlastnú oblasť účinnosti.
Inštrukcie
Krok 1
Metóda uvažovania - najpriamejšia - je založená na postupnom uvažovaní (vyplývajúcom zo stavu problému) a ich overovaní z hľadiska pravdy alebo nepravdy a všetky nasledujúce tvrdenia vychádzajú z overeného originálu.
Napríklad. Vek matky a dcéry je spolu 98 rokov. Dcéra sa narodila, keď mala moja mama 22 rokov. Koľko rokov majú obaja? Riešenie: keďže rozdiel v ich veku je 22 rokov (práve v tomto veku mala matka dcéru), potom 98 - 22 = 76 (rokov). To je dvojnásobok veku dcéry, potom 76: 2 = 38 (rokov). To znamená, že matiek je 98 - 38 = 60 (rokov).
Krok 2
Metóda tabuliek je vizuálna metóda, ktorá predpokladá zostavenie tabuľky podľa podmienok slovných úloh a jej následné naplnenie číslami 0 alebo 1 v závislosti od získaných záverov (nepravda-pravda).
Napríklad. K dispozícii je 8 litrová nádoba plná vody.
Ako vyliať 4 litre, ak sú prázdne nádoby s objemom 3 a 5 litrov? Rozhodnutie:
Krok 3
Metóda blokových diagramov je použiteľná na riešenie problémov týkajúcich sa kontajnerov a váh a je oveľa pohodlnejšia ako metóda vyčíslenia možností (ktorá nám neumožňuje odvodiť všeobecné pravidlá). Najskôr sa vytvoria príkazy (identické s vykonanými operáciami) a potom sa vytvorí ich schematická postupnosť. Toto je dobre známy vývojový diagram programovania, ktorý vedie k vyriešeniu problému. Logickým pokračovaním tejto metódy je metóda riešenia pomocou počítača. Podstata ktorej pri prenose získaného algoritmu do programovacieho jazyka.
Krok 4
Metóda algebraického riešenia zahŕňa riešenie systémov logických rovníc. Všetkým vyhláseniam, ktoré vyplývajú zo stavu problému, sú priradené písmenné označenia a sú písané vo forme vzorcov. Vyriešením systému získaných rovníc (vynásobením jednej za druhou) sa odvodí pravdivé tvrdenie.
Krok 5
Možný je aj grafický spôsob riešenia systému. K tomu sa na základe získaných rovníc systému nakreslí schéma logických vzťahov („strom logických podmienok“). Logický súčet navyše znamená rozvetvenie a súčin znamená nasledujúce podmienky jeden za druhým. Rozhodnutie vychádza z analýzy. Patrí sem aj metóda Euler kruhy - konštrukcia geometrickej schémy, ktorá odráža priesečník alebo spojenie množín.
Krok 6
Nemenej zaujímavá je aj biliardová metóda založená na teórii trajektórií.
Pre jeho podrobné zváženie však bude potrebný samostatný, veľmi zábavný článok.