הסיבה לקורס

סליחה, אתה יודע מה ההוכחה?

בניגוד ללימודי המתמטיקה בתיכון שמתמקדים בחישובים למיניהם וב"פתרון" של תרגילים, לימודי המתמטיקה באקדמיה מתאפיינים בכתיבת הוכחות ופחות בפתרון תרגילים ובעיות (על אף שכמובן גם אלה קיימים). בנקודה זו רבים מהסטודנטים מתקשים, ומסיבה טובה – אף אחד לא לימד אותם להוכיח!

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

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

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

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

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

למי הקורס מתאים

סילבוס

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

הקורס הקרוב

אורך הקורס

הקורס כולל 60 שעות הוראה אקדמיות.

דרך ההוראה

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

לפרטים והרשמה

speech-bubble-640

השאירו פרטים

ואחזור אליכם בהקדם

רוצים להיות כוכבי מתמטיקה?

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

קורס הכנה לשנה א' במדעי המחשב והנדסה