At løse logiske problemer er en underholdende og givende aktivitet. Dens ejendommelighed er, at der oprindeligt kun er en falsk og sand udsagn og ingen formler. Lad os overveje flere grundlæggende løsningsmetoder, som har deres eget effektivitetsområde.
Instruktioner
Trin 1
Ræsonnementsmetoden - den mest ligefremme - er baseret på sekventiel ræsonnement (som følge af problemets tilstand) og deres verifikation for sandhed eller falskhed, og alle efterfølgende udsagn er baseret på den verificerede original.
For eksempel. Alderen på mor og datter er i alt 98 år. Datteren blev født, da min mor var 22 år gammel. Hvor gamle er begge? Løsning: da forskellen i deres alder er 22 år (det var i denne alder, at moderen havde en datter), så var 98 - 22 = 76 (år). Dette er to gange datterens alder, så 76: 2 = 38 (år). Dette betyder, at mødre er 98 - 38 = 60 (år).
Trin 2
Metoden med tabeller er en visuel metode, der indebærer at opbygge en tabel i henhold til betingelserne for ordproblemer og sekventielt udfylde den med tallene 0 eller 1 afhængigt af de opnåede konklusioner (falsk-sand).
For eksempel. Der er en 8 liters beholder fuld af vand.
Hvordan hældes 4 liter ud, hvis der er tomme beholdere med et volumen på 3 og 5 liter? Afgørelse:
Trin 3
Metoden til blokdiagrammer kan anvendes til at løse problemer med containere og vægte og er meget mere praktisk end metoden til at tælle indstillinger (som ikke tillader os at udlede generelle regler). Først dannes kommandoer (identiske med de udførte operationer), og derefter bygges deres skematiske rækkefølge. Dette er det velkendte rutediagram i programmering, der fører til løsning af problemet. Den logiske fortsættelse af denne metode er den computerassisterede løsningsmetode. Essensen heraf i overførslen af den opnåede algoritme til programmeringssproget.
Trin 4
Den algebraiske løsningsmetode involverer løsning af systemer med logiske ligninger. Alle udsagn, der opstår som følge af problemets tilstand, tildeles bogstavbetegnelser og skrives i form af formler. Løsning af systemet med de opnåede ligninger (multipliceret med hinanden) udledes den sande sætning.
Trin 5
En grafisk måde at løse systemet på er også mulig. Til dette tegnes et diagram over logiske forhold ("træ for logiske forhold") baseret på systemets opnåede ligninger. Desuden indebærer en logisk sum forgrening, og et produkt betyder følgende betingelser efter hinanden. Beslutningen kommer fra analyse. Dette inkluderer også Euler-cirkler-metoden - konstruktionen af et geometrisk skema, der afspejler skæringspunktet eller sammensætningen af sæt.
Trin 6
Ikke mindre interessant er billardmetoden baseret på teorien om baner.
For den detaljerede overvejelse kræves der imidlertid en separat, meget underholdende artikel.
