ლოგიკური პრობლემების მოგვარება არის გასართობი და სასარგებლო საქმიანობა. მისი თავისებურება ისაა, რომ თავდაპირველად არსებობს მხოლოდ ყალბი და ჭეშმარიტი განცხადება და არავითარი ფორმულები. განვიხილოთ ამოხსნის რამდენიმე ძირითადი მეთოდი, რომლებსაც აქვთ საკუთარი ეფექტურობის არეალი.
ინსტრუქციები
Ნაბიჯი 1
მსჯელობის მეთოდი - ყველაზე მარტივი - ემყარება თანმიმდევრულ მსჯელობას (პრობლემის მდგომარეობიდან გამომდინარე) და მათ გადამოწმებას სიმართლის ან სიყალბის დასაზუსტებლად და ყველა მომდევნო დებულებას ემყარება დამოწმებულ ორიგინალს.
Მაგალითად. დედისა და ქალიშვილის ასაკი სულ 98 წელია. ქალიშვილი დაიბადა, როდესაც დედაჩემი 22 წლის იყო. რამდენი წლისაა? გამოსავალი: ვინაიდან მათი ასაკობრივი სხვაობა 22 წელია (ამ ასაკში დედას ჰყავდა ქალიშვილი), მაშინ 98 - 22 = 76 (წლები) ეს არის ორჯერ ქალიშვილის ასაკი, შემდეგ 76: 2 = 38 (წლები). ეს ნიშნავს, რომ დედები 98 - 38 = 60 (წლები) არიან.
ნაბიჯი 2
ცხრილების მეთოდი არის ვიზუალური მეთოდი, რომელიც გულისხმობს ცხრილის აგებას სიტყვის პრობლემების პირობების შესაბამისად და მისი თანმიმდევრულად შევსებას 0 ან 1 რიცხვებით, მიღებული დასკვნებიდან გამომდინარე (ცრუ-სიმართლე).
Მაგალითად. აქ არის 8 ლიტრიანი სავსე ჭურჭელი წყლით.
როგორ დავასხათ 4 ლიტრი, თუ ცარიელი კონტეინერებია 3 და 5 ლიტრი მოცულობით? გადაწყვეტილება:
ნაბიჯი 3
ბლოკ-დიაგრამების მეთოდი გამოიყენება კონტეინერების და წონის პრობლემების გადასაჭრელად და ბევრად უფრო მოსახერხებელია, ვიდრე ვარიანტების ჩამოთვლის მეთოდი (რომელიც არ გვაძლევს ზოგადი წესების გამომუშავების საშუალებას). ჯერ ყალიბდება ბრძანებები (შესრულებული ოპერაციების იდენტურია), შემდეგ კი იქმნება მათი სქემატური თანმიმდევრობა. ეს არის კარგად ცნობილი დიაგრამა პროგრამირებაში, რომელიც პრობლემის მოგვარებას იწვევს. ამ მეთოდის ლოგიკური გაგრძელებაა კომპიუტერის დახმარებით ამოხსნის მეთოდი. რომლის არსი, მიღებული ალგორითმის პროგრამირების ენაზე გადატანისას.
ნაბიჯი 4
ალგებრული ამოხსნის მეთოდი მოიცავს ლოგიკური განტოლებების სისტემების ამოხსნას. პრობლემის მდგომარეობიდან გამომდინარე ყველა დებულებას ენიჭება ასოთა აღნიშვნები და იწერება ფორმულების სახით. მიღებული განტოლებების სისტემის ამოხსნა (გამრავლება ერთმანეთზე), გამოიყვანება ნამდვილი დებულება.
ნაბიჯი 5
ასევე შესაძლებელია სისტემის ამოხსნის გრაფიკული გზა. ამისათვის სისტემის მიღებული განტოლებების საფუძველზე დგება ლოგიკური ურთიერთობების სქემა („ლოგიკური პირობების ხე“). უფრო მეტიც, ლოგიკური ჯამი გულისხმობს განშტოებას და პროდუქტი ნიშნავს შემდეგ პირობებს ერთმანეთის მიყოლებით. გადაწყვეტილება ანალიზიდან გამომდინარეობს. ეს ასევე მოიცავს ეილერის წრეების მეთოდს - გეომეტრიული სქემის აგებას, რომელიც ასახავს ნაკრებების გადაკვეთას ან გაერთიანებას.
ნაბიჯი 6
არანაკლებ საინტერესოა ბილიარდის მეთოდი, რომელიც ემყარება ტრაექტორიების თეორიას.
ამასთან, მისი დეტალური განხილვისთვის საჭიროა ცალკე, ძალიან გასართობი სტატია.
