Loogiliste probleemide lahendamine on meelelahutuslik ja tasuv tegevus. Selle eripära on see, et esialgu on ainult vale ja tõene väide ning valemeid pole. Mõelgem mitmele põhilisele lahenduse meetodile, millel on oma efektiivsuspiirkond.
Juhised
Samm 1
Arutlusviis - kõige otsesem - põhineb järjestikulistel (tulenevad probleemi seisundist) arutlustel ja nende tõesuse või vääruse kontrollimisel ning kõik järgnevad väited põhinevad kontrollitud originaalil.
Näiteks. Ema ja tütre vanus on kokku 98 aastat. Tütar sündis, kui mu ema oli 22-aastane. Kui vanad on mõlemad? Lahendus: kuna nende vanusevahe on 22 aastat (emal sündis tütar just selles vanuses), siis 98 - 22 = 76 (aastat). See on tütre vanus kaks korda, siis 76: 2 = 38 (aastat). See tähendab, et emad on 98 - 38 = 60 (aastad).
2. samm
Tabelite meetod on visuaalne meetod, mis tähendab tabeli ehitamist vastavalt tekstülesannete tingimustele ja selle järjestikku täitmist numbritega 0 või 1, sõltuvalt saadud järeldustest (vale-tõene).
Näiteks. Seal on 8-liitrine anum vett täis.
Kuidas valada välja 4 liitrit, kui on tühje mahuteid mahuga 3 ja 5 liitrit? Otsus:
3. samm
Plokkdiagrammide meetod on rakendatav konteinerite ja raskustega seotud probleemide lahendamisel ning on palju mugavam kui valikute loendamise meetod (mis ei võimalda meil tuletada üldreegleid). Esiteks moodustatakse käsud (identsed tehtud toimingutega) ja seejärel ehitatakse nende skemaatiline järjestus. See on programmeerimisel tuntud vooskeem, mis viib probleemi lahendamiseni. Selle meetodi loogiline jätk on arvutipõhine lahenduste meetod. Mille olemus, saadud algoritmi ülekandmisel programmeerimiskeelde.
4. samm
Algebralise lahenduse meetod hõlmab loogiliste võrrandite süsteemide lahendamist. Kõigile probleemi tingimusest tulenevatele väidetele määratakse tähtnimetused ja need kirjutatakse valemite kujul. Saadud võrrandite süsteemi lahendamisel (korrutades üksteist), tuletatakse tõene väide.
5. samm
Võimalik on ka graafiline viis süsteemi lahendamiseks. Selleks koostatakse süsteemi saadud võrrandite põhjal loogiliste seoste diagramm ("loogiliste tingimuste puu"). Pealegi tähendab loogiline summa hargnemist ja toode tähendab üksteise järel järgmisi tingimusi. Otsus tuleb analüüsist. See hõlmab ka Euleri ringide meetodit - geomeetrilise skeemi konstrueerimist, mis peegeldab hulga ristumist või liitumist.
6. samm
Vähem huvitav pole ka trajektooride teoorial põhinev piljardimeetod.
Kuid selle üksikasjalikuks kaalumiseks on vaja eraldi, väga lõbusat artiklit.