Die oplos van logiese probleme is 'n vermaaklike en lonende aktiwiteit. Die eienaardigheid daarvan is dat daar aanvanklik slegs 'n vals en ware stelling is, en geen formules nie. Kom ons kyk na 'n paar basiese oplossingsmetodes wat hul eie effektiwiteitsgebied het.
Instruksies
Stap 1
Die manier van redeneer - die eenvoudigste - is gebaseer op opeenvolgende redenering (wat voortspruit uit die toestand van die probleem) en die bevestiging daarvan vir waarheid of valsheid, en alle daaropvolgende stellings is gebaseer op die geverifieerde oorspronklike.
Byvoorbeeld. Die ouderdom van die moeder en dogter is altesaam 98 jaar. Die dogter is gebore toe my ma 22 jaar oud was. Hoe oud is albei? Oplossing: aangesien die ouderdom 22 jaar verskil (die moeder het op hierdie ouderdom 'n dogter gehad), dan was 98 - 22 = 76 (jaar). Dit is twee keer die ouderdom van die dogter, dan is 76: 2 = 38 (jaar). Dit beteken dat moeders 98 - 38 = 60 (jaar) is.
Stap 2
Die metode van tabelle is 'n visuele metode wat impliseer dat 'n tabel gebou moet word volgens die voorwaardes van woordprobleme en dit opeenvolgend met die getalle 0 of 1 moet vul, afhangende van die gevolgtrekkings (vals-waar).
Byvoorbeeld. Daar is 'n 8 liter-bak vol water.
Hoe gooi u 4 liter uit as daar leë houers met 'n volume van 3 en 5 liter is? Besluit:
Stap 3
Die metode van blokdiagramme is van toepassing op die oplossing van probleme rakende houers en gewigte en is baie geriefliker as die metode om opsies op te tel (wat ons nie toelaat om algemene reëls af te lei nie). Eerstens word opdragte gevorm (identies aan die bewerkings wat uitgevoer word), en dan word hul skematiese volgorde gebou. Dit is die bekende vloeidiagram in programmering wat lei tot die oplossing van die probleem. Die logiese voortsetting van hierdie metode is die rekenaargesteunde oplossingsmetode. Die kern daarvan, in die oordrag van die verkregen algoritme na die programmeertaal.
Stap 4
Die algebraïese oplossingsmetode behels die oplossing van stelsels van logiese vergelykings. Al die stellings wat voortspruit uit die toestand van die probleem word met letterbenamings aangedui en in die vorm van formules geskryf. Die oplossing van die stelsel van die verkreë vergelykings (vermenigvuldig die een met die ander), word die ware stelling afgelei.
Stap 5
'N Grafiese oplossing vir die stelsel is ook moontlik. Hiervoor word 'n diagram van logiese verwantskappe ("logiese toestandsboom") geteken gebaseer op die verkreë vergelykings van die stelsel. Verder impliseer 'n logiese som vertakking, en 'n produk beteken die volgende voorwaardes na mekaar. Die besluit kom uit ontleding. Dit sluit ook die Euler-sirkelmetode in - die konstruksie van 'n geometriese skema wat die kruising of vereniging van versamelings weerspieël.
Stap 6
Nie minder interessant is die biljartmetode wat gebaseer is op die teorie van trajekte nie.
Vir die gedetailleerde oorweging is 'n aparte, baie onderhoudende artikel egter nodig.