Het oplossen van logische problemen is een vermakelijke en lonende activiteit. Zijn eigenaardigheid is dat er aanvankelijk alleen een valse en ware verklaring is en geen formules. Laten we eens kijken naar verschillende basismethoden voor oplossing, die hun eigen effectiviteitsgebied hebben.
instructies:
Stap 1
De redeneermethode - de meest rechttoe rechtaan - is gebaseerd op sequentiële redenering (die voortkomt uit de toestand van het probleem), en hun verificatie op waarheid of onwaarheid, en alle volgende uitspraken zijn gebaseerd op het geverifieerde origineel.
Bijvoorbeeld. De leeftijd van moeder en dochter is in totaal 98 jaar. De dochter werd geboren toen mijn moeder 22 jaar oud was. Hoe oud zijn beide? Oplossing: aangezien het leeftijdsverschil 22 jaar is (op deze leeftijd kreeg de moeder een dochter), dan is 98 - 22 = 76 (jaren). Dit is twee keer de leeftijd van de dochter, dan 76: 2 = 38 (jaren). Dit betekent dat moeders 98 - 38 = 60 (jaren) zijn.
Stap 2
De methode van tabellen is een visuele methode die inhoudt dat een tabel wordt gebouwd volgens de voorwaarden van woordproblemen en deze achtereenvolgens wordt gevuld met de cijfers 0 of 1, afhankelijk van de verkregen conclusies (onwaar-waar).
Bijvoorbeeld. Er is een 8 liter vat vol water.
Hoe giet je 4 liter als er lege containers zijn met een inhoud van 3 en 5 liter? Besluit:
Stap 3
De methode van blokschema's is toepasbaar bij het oplossen van problemen over containers en gewichten en is veel handiger dan de methode van het opsommen van opties (waaruit we geen algemene regels kunnen afleiden). Eerst worden commando's gevormd (identiek aan de uitgevoerde bewerkingen) en vervolgens wordt hun schematische volgorde opgebouwd. Dit is het bekende stroomschema bij het programmeren dat leidt tot de oplossing van het probleem. Het logische vervolg op deze methode is de computerondersteunde oplossingsmethode. Waarvan de essentie, in de overdracht van het verkregen algoritme naar de programmeertaal.
Stap 4
De algebraïsche oplossingsmethode omvat het oplossen van systemen van logische vergelijkingen. Alle uitspraken die voortvloeien uit de toestand van het probleem krijgen letteraanduidingen en zijn geschreven in de vorm van formules. Door het stelsel van de verkregen vergelijkingen op te lossen (de ene met de andere te vermenigvuldigen), wordt de ware bewering afgeleid.
Stap 5
Een grafische manier om het systeem op te lossen is ook mogelijk. Hiervoor wordt een diagram van logische relaties ("logische voorwaardenboom") getekend op basis van de verkregen vergelijkingen van het systeem. Bovendien impliceert een logische som vertakking, en een product betekent de volgende voorwaarden na elkaar. De beslissing komt voort uit analyse. Dit omvat ook de Euler-cirkelmethode - de constructie van een geometrisch schema dat het snijpunt of de vereniging van verzamelingen weerspiegelt.
Stap 6
Niet minder interessant is de biljartmethode gebaseerd op de theorie van de trajecten.
Voor een gedetailleerde beschouwing is echter een afzonderlijk, zeer onderhoudend artikel vereist.
