לוגיקה

למדעי המחשב

מה זה ומה עושים עם זה?

מדובר בקורס תשתיתי וחשוב מאוד. ידיעה טובה של לוגיקה הכרחית לכל פעולה הדורשת מחשבה מוקפדת ומדויקת, כפי שנדרש במתמטיקה ובמדעי המחשב. לקורס יצא שם של קורס קשה, אך אין זה מן ההכרח. חשוב ללמוד אותו בצורה מסודרת, מכיוון שכל נושא נבנה נדבך על גבי נדבך. הקורס מתבסס על הידע שנלמד בקורס מתמטיקה בדידה. לרוב, הסטודנטים לומדים את שני הקורסים בהפרש ניכר של שנתיים. לכן כדאי מאוד להתענן על הנושאים שנלמדו בבדידה לפני תחילת הקורס.

בלימוד שלי אני מראה את הקשר בין הלוגיקה לשפה טבעית שמקל מאוד. בנוסף, חשוב לי מאוד לציג לתלמיד מבט ממעוף הציפור, לראות את התמונה הגדולה, כך שלא יאבד ביער הפרטים. הקורס אינטנסיבי מאוד, אבל מאוד מעניין ומהנה כאשר נלמד בצורה טובה.

המלצות שלי

1. כפי שכתבתי לעיל – לעשות חזרה על שנלמד בקורס מתמטיקה בדידה.

2. לשנן, לשנן ועוד פעם לשנן את ההגדרות. ההבנה של הדברים תגיע בדיעבד רק לאחר שתשננו את ההגדרות. למי שלא קרא אני ממליץ לקרוא את המאמר שכתבתי על חשיבות השינון בלימודי המתמטיקה.

3. יש לכם שאלה? אתם מוזמנים לכתוב אותה ב-פורום ואשתדל לענות בהקדם. בנוסף, האתר MathExchange הוא מקום נפלא להתייעץ. רוב הסיכויים שהשאלה שתרצו לשאול כבר נשאלה שם בעבר.

4. אל תצברו פערים – הנושאים בקורס נבנים אחד על גבי השני.

הנושאים הנלמדים בקורס

א. מבוא ללוגיקה – מהי לוגיקה ולמה עושים לוגיקה. מפה דרכים בגדול ללוגיקה – ההבדל בין סמנטיקה ותחביר ועוד.

       ב. תחשיב הפסוקים

  1. מהי טענה.
  2. שפה טבעית ושפה פורמלית. מבנה שפת תחשיב הפסוקים. הגדרת נב"כ (wff). 
  3. הצרנות.
  4. סמנטיקה
    א. מצב-עניינים או מודל – טבלאות אמת.
    ב. טענה ספיקה.
    ג. טענות טאוטולוגיות, קונטינגנטיות וסתירתיות.
    ד. תקפות ובטלות.
    ה. בדיקת סוגי טענות הוכחת שקילויות לוגיות באמצעות טבלאות אמת.
    ו.  עצי-אמת (מתן ערכים).
  5. צורה דיסיונקטיבית נורמלית (DNF) וצורה קוניונקטיבית נורמלית (CNF).
  6. שלמות פונקציונאלית – המשפט, קבוצות קשרים שלמות, הוכחות.
  7. משפט הקריאה היחידה.
  8. אינדוקציה מבנית.
  9. תחביר – דדוקציה טבעית
                דדוקציה ע"פ הילרט (HPC)
  10. פסוקיות הורן ואלגוריתם הכרעת ספקות.
  11. משפטי השלמות והנאותות.
  12. משפט הקומפקטיות.

      ג. תחשיב היחסים (הפרדיקטים)

  1. אי-המספיקות של תחשיב הפסוקים והצורך בתחשיב היחסים.
  2. מבנה שפת תחשיב היחסים (משתנים ושמות-עצם, כמתים, פרדיקטים). הגדרת נב"כ. הצבות.
  3. הצרנות.
  4. סמנטיקה – מודל והשמות.
                    ספיקות.
                    תקפות (גרירה סמנטית) ובטלות.
                    צורה פרנקס (תחילת) נורמלית.
  5. מודל של הרברנד.
  6. צורת סקולם, משפט ארברן.
  7. משפט הקומפקטיות.
  8. תחביר – דדוקציה טבעית
                שיטת הרזולוציה 
אסף מנור | מרצה למתמטיקה
5.0
מבוסס על 52 ביקורות
powered by Google
Delta7Actual
Delta7Actual
11:40 11 Jul 21
היה לי מאוד קשה בכל הקשור למתמטיקה, ואז גיליתי את אסף. ממליץ בחום, אם אתם צריכים מורה פרטי, תבחרו בו.
Orit
Orit
15:12 04 Jul 21
לימודים בדרך הכי נכונה וכיפית,אסף מסביר את הכל בצורה הכי טובה שיש
lior bibi
lior bibi
13:57 05 Apr 21
היי אני ליאור ואני תלמידה של אסף .לפני שהגעתי ללמוד אצל אסף מתמטיקה היה מקצוע שגורם לחרדה ולסטס מאוד גבוהים .כשהגעתי לשיעור הראשון אמל אסף דבר ראשון החרדה ירדה מהמקצוע והתחיל איזו התעניינות אפילו במקצוע .אסף מלמד את מקצוע המתמטיקה בדרך כלכך פשוטה וזה גורם לך להבין את החומר בצורה טובה יותר .אסף נותן לך להבין את המתמטיקה ויודע להסביר הכל במטרה שהכל יהיה מובן ולענות על שאלות ולא להשאיר אותך בספק .חווית הלימוד אצל אסף היא מפרה ומלמדת .אני אישית אוהבת ללמוד אצלו וממליצה בחום לכל מי שרוצה להכיר את המתמטיקה ולהבין את השפה הזו .
Dan Kor
Dan Kor
09:41 01 Apr 21
במשך 12 שנות לימוד לא הצלחתי להתחבר למתמטיקה. התחלתי ללמוד עם אסף כדי לשנות את האופן בו אני קולטמתמטיקה ולפתוח דף חדש. אין ספק שזו הייתה החלטה נכונהמומלץ, מומלץ, מומלץ!
lia goutnik
lia goutnik
20:24 06 Dec 20
חוויה מתקנת לכל השנים שבהן סבלתי ממתמטיקה. אסף מסביר בצורה ברורה וקלילה ובונה את ההבנה בהדרגה. ממליצה בחום.
אור בן יהודה
אור בן יהודה
07:59 19 Nov 20
אסף הוא מורה מעולה,חביב ותומך אשר מסביר בצורה פשוטה וברורה.עוזר במתן מסוגלות להתמודד עם נושאי המתמטיקה השונים בעזרת יצירת שפה משותפת וחיבור הנקודות הדומות אשר קושרות אותם.
gilad cochavi
gilad cochavi
19:39 18 Nov 20
מורה מקצועי ומסביר פנים שיודע להיכנס לעומק הפרטים במקרה הצורך, ולהעביר את החומר בצורה טובה.
הביקורות הבאות
mail

השאר פרטים ואחזור אלייך

גוגל

דירוג גוגל Google

5.0
5/5

מבוסס על 50 ביקורות

יש לך שאלה מתמטית
שאתה צריך בה עזרה?

כתוב אותה בפורום ואענה עליה בהקדם.