פתרון בעיות הגיוניות הוא פעילות משעשעת ומתגמלת. המוזרות שלה היא שבתחילה יש רק אמירה כוזבת ואמיתית, ואין נוסחאות. בואו ניקח בחשבון כמה שיטות פתרון בסיסיות, שיש להן תחום יעילות משלהן.
הוראות
שלב 1
שיטת ההיגיון - הישירה ביותר - מבוססת על חשיבה רציפה (הנובעת ממצב הבעיה), ואימותם לאמת או כוזב, וכל ההצהרות הבאות מבוססות על המקור המאומת.
לדוגמה. גיל האם והבת הוא 98 שנים בסך הכל. הבת נולדה כשאמי הייתה בת 22. בן כמה שניהם? פתרון: מכיוון שההבדל בגילם הוא 22 שנים (בגיל זה הייתה לאם בת), אז 98 - 22 = 76 (שנים). זה כפול מגיל הבת, ואז 76: 2 = 38 (שנים). המשמעות היא שאמהות הן 98 - 38 = 60 (שנים).
שלב 2
שיטת הטבלאות הינה שיטה ויזואלית המרמזת על בניית טבלה על פי תנאי בעיות מילים וממלא אותה ברצף במספרים 0 או 1, תלוי במסקנות שהתקבלו (נכון כוזב).
לדוגמה. יש כלי 8 ליטר מלא מים.
איך שופכים 4 ליטר אם יש מיכלים ריקים בנפח 3 ו -5 ליטר? הַחְלָטָה:
שלב 3
שיטת דיאגרמות החסימה ישימה לפתרון בעיות לגבי מכולות ומשקולות והיא הרבה יותר נוחה משיטת ספירת האפשרויות (מה שלא מאפשר לנו לגזור כללים כלליים). ראשית נוצרות פקודות (זהות לפעולות שבוצעו) ואז נבנה הרצף הסכימטי שלהן. זהו תרשים הזרימה הידוע בתכנות המוביל לפיתרון הבעיה. ההמשך ההגיוני לשיטה זו הוא שיטת הפיתרון בעזרת המחשב. מהותו, בהעברת האלגוריתם המתקבל לשפת התכנות.
שלב 4
שיטת הפיתרון האלגברי כוללת פתרון מערכות של משוואות לוגיות. לכל האמירות הנובעות ממצב הבעיה מוקצות אותיות אותיות ונכתבות בצורה של נוסחאות. פתרון מערכת המשוואות המתקבלות (הכפלת זו בזו), נגזר המשפט האמיתי.
שלב 5
אפשרית גם דרך גרפית לפתרון המערכת. לשם כך, שרטוט של יחסים לוגיים ("עץ התנאים הלוגיים") מבוסס על המשוואות המתקבלות של המערכת. יתר על כן, סכום הגיוני מרמז על הסתעפות, ומוצר פירושו התנאים הבאים בזה אחר זה. ההחלטה באה מניתוח. זה כולל גם את שיטת מעגלי אוילר - בניית תוכנית גיאומטרית המשקפת את צומת או איחוד הקבוצות.
שלב 6
לא פחות מעניינת היא שיטת הביליארד המבוססת על תורת המסלולים.
עם זאת, לשיקולתה המפורטת, יידרש מאמר נפרד, משעשע מאוד.
