Att lösa logiska problem är en underhållande och givande aktivitet. Dess särdrag är att det ursprungligen bara finns ett falskt och sant uttalande och inga formler. Låt oss överväga flera grundläggande lösningsmetoder som har sitt eget effektivitetsområde.
Instruktioner
Steg 1
Resonemangsmetoden - den mest enkla - baseras på sekventiella resonemang (som härrör från problemets tillstånd), och deras verifiering för sanning eller falskhet, och alla efterföljande uttalanden baseras på det verifierade originalet.
Till exempel. Åldern för mor och dotter är totalt 98 år. Dottern föddes när min mamma var 22 år gammal. Hur gammal är båda? Lösning: eftersom skillnaden i deras ålder är 22 år (det var vid denna ålder som mamman hade en dotter), då var 98 - 22 = 76 (år). Detta är två gånger dotterns ålder, då 76: 2 = 38 (år). Detta betyder att mödrar är 98 - 38 = 60 (år).
Steg 2
Metoden för tabeller är en visuell metod som innebär att man bygger en tabell enligt villkoren för ordproblem och i följd fyller den med siffrorna 0 eller 1, beroende på de erhållna slutsatserna (falskt).
Till exempel. Det finns ett 8 liters fartyg fullt av vatten.
Hur häller man ut 4 liter om det finns tomma behållare med en volym på 3 och 5 liter? Beslut:
Steg 3
Metoden för blockdiagram är tillämplig för att lösa problem med behållare och vikter och är mycket bekvämare än metoden för att räkna upp alternativ (vilket inte tillåter oss att härleda allmänna regler). Först bildas kommandon (identiska med de utförda operationerna) och sedan byggs deras schematiska sekvens. Detta är det välkända flödesschemat i programmering som leder till lösningen på problemet. Den logiska fortsättningen av denna metod är den datorassisterade lösningsmetoden. Kärnan i vilken, vid överföring av den erhållna algoritmen till programmeringsspråket.
Steg 4
Den algebraiska lösningsmetoden innefattar att lösa system med logiska ekvationer. Alla uttalanden som härrör från problemets tillstånd tilldelas bokstavsbeteckningar och skrivs i form av formler. För att lösa systemet med de erhållna ekvationerna (multiplicera varandra med varandra) dras det sanna påståendet.
Steg 5
Ett grafiskt sätt att lösa systemet är också möjligt. För detta ritas ett diagram över logiska förhållanden ("logiska villkorsträd") baserat på systemets erhållna ekvationer. Dessutom innebär en logisk summa förgrening, och en produkt betyder följande villkor efter varandra. Beslutet kommer från analys. Detta inkluderar också Euler-cirklar-metoden - konstruktionen av ett geometriskt schema som speglar skärningspunkten eller sammanslutningen av uppsättningar.
Steg 6
Inte mindre intressant är biljardmetoden baserad på teorin om banor.
Men för sin detaljerade överväganden krävs en separat, mycket underhållande artikel.
