Loogisten ongelmien ratkaiseminen on viihdyttävä ja palkitseva toiminta. Sen erikoisuus on, että aluksi on vain väärä ja totta lausunto eikä kaavoja. Tarkastellaan useita ratkaisumenetelmiä, joilla on oma tehokkuusalueensa.
Ohjeet
Vaihe 1
Perustelutapa - suoralinjaisin - perustuu peräkkäisiin (ongelman tilasta johtuviin) päättelyihin ja niiden todentamiseen totuuden tai virheellisuuden suhteen, ja kaikki myöhemmät lausunnot perustuvat todennettuun alkuperäiseen.
Esimerkiksi. Äidin ja tyttären ikä on yhteensä 98 vuotta. Tytär syntyi äitini ollessa 22-vuotias. Kuinka vanhoja molemmat ovat? Ratkaisu: koska heidän ikänsä ero on 22 vuotta (äidillä oli tytär tässä iässä), 98 - 22 = 76 (vuotta). Tämä on kaksi kertaa tyttären ikä, sitten 76: 2 = 38 (vuotta). Tämä tarkoittaa, että äidit ovat 98-38 = 60 (vuotta).
Vaihe 2
Taulukoiden menetelmä on visuaalinen menetelmä, joka tarkoittaa taulukon rakentamista tekstitehtävien ehtojen mukaan ja sen täyttämistä peräkkäin numeroilla 0 tai 1 saatujen johtopäätösten mukaan (väärä-tosi).
Esimerkiksi. On 8 litran astia täynnä vettä.
Kuinka kaataa 4 litraa, jos tyhjiä astioita on 3 ja 5 litraa? Päätös:
Vaihe 3
Lohkokaavioiden menetelmää voidaan soveltaa konttien ja painojen ongelmien ratkaisemiseen, ja se on paljon helpompaa kuin vaihtoehtojen luettelointimenetelmä (mikä ei salli meidän johtaa yleisiä sääntöjä). Ensinnäkin muodostetaan komennot (identtiset suoritettujen toimintojen kanssa) ja sitten rakennetaan niiden kaavamainen järjestys. Tämä on tunnettu vuokaavio ohjelmoinnissa, joka johtaa ongelman ratkaisuun. Tämän menetelmän looginen jatko on tietokoneavusteinen ratkaisumenetelmä. Ydin, joka siirretään saatu algoritmi ohjelmointikielelle.
Vaihe 4
Algebrallinen ratkaisumenetelmä käsittää loogisten yhtälöiden järjestelmien ratkaisemisen. Kaikille ongelman tilasta johtuville lausunnoille annetaan kirjainmerkit ja ne kirjoitetaan kaavojen muodossa. Ratkaisemalla saatujen yhtälöiden järjestelmä (kertomalla ne toisella) johdetaan tosi lausuma.
Vaihe 5
Graafinen tapa ratkaista järjestelmä on myös mahdollista. Tätä varten piirretään kaavio loogisista suhteista ("loogisten ehtojen puu") saatujen järjestelmän yhtälöiden perusteella. Lisäksi looginen summa tarkoittaa haarautumista ja tuote tarkoittaa seuraavia ehtoja peräkkäin. Päätös tulee analyysistä. Tähän sisältyy myös Euler-ympyrämenetelmä - geometrisen kaavion rakentaminen, joka heijastaa joukkojen leikkausta tai yhdistymistä.
Vaihe 6
Vähintään mielenkiintoinen on biljardimenetelmä, joka perustuu liikeratojen teoriaan.
Sen yksityiskohtaiseen tarkasteluun tarvitaan kuitenkin erillinen, erittäin viihdyttävä artikkeli.
