נקודות זכות באוניברסיטה העברית: 3

תואר: בוגר

היחידה האקדמית שאחראית על הקורס: מדעי המחשב

סמסטר: סמסטר ב'

שפת ההוראה: עברית

קמפוס: קרית א"י ספרא

מורה אחראי על הקורס (רכז): נתי ליניאל

דוא"ל של המורה האחראי על הקורס: nati@cs.huji.ac.il

שעות קבלה של רכז הקורס: בתיאום מראש

מורי הקורס:
פרופ נתן ליניאל

תאור כללי של הקורס:
פאול ארדש המנוח טבע את המושג ״הוכחות מהספר״. אלו הוכחות יפות ואלגנטיות במיוחד. המתמטיקאים M. Aigner ו-G. Ziegler ליקטו אוסף של הוכחות העונות על הקריטריון הזה במגוון שטחים מתמטיים. בקורס נלמד את ההוכחות האלה.

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

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

דרישות נוכחות (%):
אין

שיטת ההוראה בקורס: הרצאה+שיעורי בית

רשימת נושאים / תכנית הלימודים בקורס:
ראו http://cslabcms.nju.edu.cn/problem_solving/images/b/b3/Proofs_from_THE_BOOK_%28Fifth_Edition_2014%29.pdf

חומר חובה לקריאה:
אין. ספרם של אייגנר וציגלר נמצא כאמור זמין ברשת

חומר לקריאה נוספת:
ע״פ ההתקדמות בקורס ייתכן שנפנה לחומר נוסף כמו ספרו של Matousek https://kam.mff.cuni.cz/~matousek/stml-53-matousek-1.pdf

מרכיבי הציון הסופי :
מבחן מסכם בכתב/בחינה בעל פה % 100

מידע נוסף / הערות:
יינתנו תרגילים שבועיים. יוכלו לגשת לראיון הסיום רק מי שהגישו לפחות 80% מהתרגילים ברמת ״עובר״