שינויים

* [http://u.cs.biu.ac.il/~tsaban/bu/RWP.pdf הספר שבועז הציע]ניתן להוסיף כאן שאלות והערות מכל סוג.

== דיונים שאלה קטנה ==רק כדי לבדוק אם הבנתי... בסעיף 3 נאמר כי המשפט הוא טאוטולוגי (אם מההנחה "A או B" אפשר להסיק את A אז B מוכרח להיות שקרי), אבל לפני כן נאמר כי או במשמעות המתמטית הוא או חלש שמאפשר נכונות גם של A וגם של B, ואם ככה המשפט לא בהכרח תמיד נכון...?:היכן נאמר שפסוק זה טאוטולוגי? במשפט לאחר מכן נאמר באופן כללי שמשפט שכל ההשמות שלו נותנות אמת הוא טאוטולוגי, לאו דווקא הדוגמא לעיל --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>

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

עוד בעיה עם הניסוח "כך וכך קורה אם כך וכך נתון" היא:::נכון, שבמתמטיקה הוא הרבה פעמים משמש להגדרהעושה רושם שיש שם טעות, כשהכוונה היא ל"אם ורק אם" (!)הרי הצבת אמת בA וגם בB מוציאה ערך שקרי. זו מוסכמה לא כתובהאני אברר עם הכותב מה הייתה כוונתו, שמקובלת מאד בהגדרות, ואני מעדיף אותה על פני הגישה המלאכותית "הגדרהתודה --<font size='4'>[[משתמש: מספר הוא זוגי אם ורק אם הוא כפולה של שתיים".ארז שיינר|ארז שיינר]]</font> 19:33, 10 ביולי 2012 (IDT)

אגב, ללואי: מתלמידי פילוסופיה דווקא כן הייתי מצפה שישלטו בכל ההתנסחויות, כיון שזה חלק מהותי בעבודתם (התנסחויות שונות סביב דברים שאי אפשר להבין - סליחה על הירידה:: תיקנתי.[[משתמש:עוזי ו.|עוזי ו.]] 23:08, 10 ביולי 2012 (IDT).

1. ::::למה מהשאלות שלי מתעלמים? :(::::: כי אתה לא הבנתי את הדוג' הראשונה "שניהם צודקים" והדוג' השניה נראית שולח לי קשה מדייאימייל. מטרתנו בקורס היא להביא את התלמידים לרמה המינימלית הנדרשת במתמטיקה, ולתת רק דוגמאות שיכולות להעלות תלמידים לרמה הזאת, ולא לייאש אותם.:שניהם צודקים מבחינת השפה העברית, מכיוון שאין משמעות מתמטית למושג "יכול להיות ש...", אני מקווה שבע"פ זה יהיה ברור יותר ואולי אני אשנה ניסוח. לגבי הדוגמא השנייה, אני חושב לתת אותה פתורה ולא כתרגיל, כך שיעקבו אחרי ההגיון (ושוב, אני מקווה שבע"פ זה יהיה ברור יותר מאשר כך על הכתב בחופזה). --[[משתמש:ארז שיינרעוזי ו.|ארז שיינרעוזי ו.]] 1623:2008, 15 בפברואר 2011 10 ביולי 2012 (ISTIDT)

===הצעות לגבי מבנה הקורס (בניסוח עובדתי)===*הבחנים יכללו דף נוסחאות הכולל זהה את ההגדרות - פונקציה כתת קבוצה של מכפלה קרטזיתהכשל: "8. במקרה שלמצטיינים ברשימה ממוצע ציונים זהה, סדרה כפונקציה מהטבעייםדרגת ההצטיינות שווה, חיתוך, איחוד, הכלה, חבורה, שדה, מללא משמעות לסדר בו הם מופיעים."ו וכדומה ככל הנדרש. הדגש יהיה על ההסקה הלוגית מתוך ההגדרות(מן הקריטריונים למצטייני דיקן ורקטור, ולא על זכרון ההגדרות (שכן הדגש על זה נמצא בקורסים המקצועייםמנהל הסטודנטים). --[[משתמש:ארז שיינרעוזי ו.|ארז שיינרעוזי ו.]] 1317:5808, 15 13 בפברואר 2011 2012 (IST)*שעת הקורס ביום תהיה קריטית- אנו מעוניינים שהתלמידים יהיו רעננים ובתחילת היום על מנת שיוכלו לעקוב ולהשתתף באופן אקטיבי, ולא ללמוד בבית בלבד. שעה מתאימה הינה 10 בתחילת יום הלימודים :מה הכשל? :כתוב שלכל 2 מצטיינים כך שהם ברשימה: (כלומר שלא יהיה קורס לפני כןאם (ממוצע הציונים שלהם זהה) אז (דרגת הצטיינותם שווה, ואין חשיבות לסדר הופעתם)). --[[משתמשאני לא מוצא את הבעיה.:ארז שיינר|ארז שיינר]] 13:58אנא ענה, 15 בפברואר 2011 השאלה מתסכלת אותי (ISTליתר דיוק, אי-ידיעת התשובה).*הקורס יהיה מפוצל לשתי קבוצות על מנת לאפשר דיון אקטיבי. --[[משתמש:ארז שיינר|ארז שיינר]] 13:58:בבקשה? (שינו את מספר המשפט ל-10, 15 בפברואר 2011 (ISTאך הוא עצמו נשאר ללא שינוי) == דוגמאות == * "כל העתקה לינארית ממרחב וקטורי לעצמו היא איזומורפיזם, כי ידוע שכל מרחב וקטורי איזומורפי לעצמו". [[משתמש:עוזי ו.|עוזי ו.]] 22:20, 5 במרץ 2011 :: מנהל הסטודנטים מתכוון לפרסם את המצטיינים לפי סדר (ISTמן הממוצע הגבוה לנמוך) == מבנה: יולי 2011 == ארז. סעיף 8 מסכל את הכוונה הזו, משום שהוא לא ברור לי הקשר בין הכותרת "הצרנת תכונות" לבין תוכן הסעיף שאחריה. סעיף ההצרנה שייך לפרק מאוחר מאפשר להסיק מן הרשימה שהראשון מצטיין יותר, תחשיב הפרדיקטים (הסדר הוא לוגיקת-קשרים, לוגיקת-פרדיקטים, לוגיקה מסדר ראשון; הצמדתי את שני האחרונים זה לזה)מהאחרון. [[משתמש:עוזי ו.|עוזי ו.]] 0323:2712, 10 ביולי 2011 2012 (IDT)