(←תרגיל 6) |
(←תרגיל 17) |
||
(32 גרסאות ביניים של אותו משתמש אינן מוצגות) | |||
שורה 4: | שורה 4: | ||
[[מדיה: exe1Logic2011.pdf| תרגיל בית 1]] | [[מדיה: exe1Logic2011.pdf| תרגיל בית 1]] | ||
+ | [[מדיה: sol1Logic2011.pdf| פתרון 1]] | ||
==תרגיל 2== | ==תרגיל 2== | ||
שורה 9: | שורה 10: | ||
[[מדיה: exe2Logic2011.pdf| תרגיל בית 2]] | [[מדיה: exe2Logic2011.pdf| תרגיל בית 2]] | ||
+ | |||
+ | [[מדיה: sol2Logic2011.pdf| פתרון 2]] | ||
==תרגיל 3== | ==תרגיל 3== | ||
שורה 20: | שורה 23: | ||
[[מדיה: exe4Logic2011.pdf| תרגיל בית 4]] | [[מדיה: exe4Logic2011.pdf| תרגיל בית 4]] | ||
+ | |||
+ | [[מדיה: sol4Logic2011.pdf| פתרון 4]] | ||
==תרגיל 5== | ==תרגיל 5== | ||
שורה 32: | שורה 37: | ||
[[מדיה: exe5Logic2011.pdf| תרגיל בית 5]] | [[מדיה: exe5Logic2011.pdf| תרגיל בית 5]] | ||
+ | |||
+ | [[מדיה: sol5Logic2011.pdf|פתרון 5]] | ||
==תרגיל 6== | ==תרגיל 6== | ||
שורה 42: | שורה 49: | ||
[[מדיה: exe6Logic2011.pdf| תרגיל בית 6]] | [[מדיה: exe6Logic2011.pdf| תרגיל בית 6]] | ||
+ | |||
+ | [[מדיה: sol6Logic2011.pdf|פתרון 6]] | ||
+ | |||
+ | ==תרגיל 7== | ||
+ | עמודים 286 - 290 | ||
+ | |||
+ | כל התרגילים הזוגיים (גם ספרה רומית 1, וגם ספרה רומית 2) | ||
+ | |||
+ | [[מדיה: exe7Logic2011.pdf| תרגיל בית 7]] | ||
+ | |||
+ | |||
+ | [[מדיה: sol7Logic2011.pdf| פתרון 7]] | ||
+ | |||
+ | '''הערה''' | ||
+ | |||
+ | אני מצרפת את רשימת האי-מיילים כפי שהיא מופיעה אצלי. אם מישהו לא מופיע שם (או מופיע בצורה שגויה), נא לעדכן אותי בהקדם. | ||
+ | |||
+ | [[מדיה: Logic2011.pdf | דף קשר]] | ||
+ | |||
+ | ==תרגיל 8== | ||
+ | עמוד 279, ספרה רומית 2, הוכיחו שקילויות מספר 2 ו-7 | ||
+ | |||
+ | עמודים 295 - 300 : כל התרגילים הזוגיים | ||
+ | |||
+ | [[מדיה: exe8Logic2011.pdf| תרגיל בית 8]] | ||
+ | |||
+ | |||
+ | [[מדיה: sol8Logic2011.pdf| פתרון 8]] | ||
+ | |||
+ | ==תרגיל 9== | ||
+ | עמוד 302 : תרגילים אי זוגיים | ||
+ | |||
+ | עמודים 306-309: תרגילים זוגיים | ||
+ | |||
+ | '''הערה''': בתרגילים האחרונים, שימו לב שאם הטיעון תקף, עליכם גם לציין אם הוא עקבי או לא עקבי; כלומר האם יש בו שורה שהיא סתירה. | ||
+ | |||
+ | [[מדיה: exe9Logic2011.pdf| תרגיל בית 9]] | ||
+ | |||
+ | |||
+ | '''הערה''': | ||
+ | |||
+ | בעמוד 302, תרגיל 5, המסקנה היא <math>S \equiv V</math> | ||
+ | |||
+ | [[מדיה: sol9Logic2011.pdf| פתרון 9]] | ||
+ | |||
+ | ==תרגיל 10== | ||
+ | |||
+ | עמודים 306-309 (יש לכם את העמודים האלה בתרגיל הקודם): | ||
+ | |||
+ | תרגילים: 7,11,13,15 | ||
+ | |||
+ | |||
+ | עמודים 321-322: | ||
+ | |||
+ | תרגילים: 1,2,4,8 | ||
+ | |||
+ | [[מדיה: exe10Logic2011.pdf| תרגיל בית 10]] | ||
+ | |||
+ | |||
+ | [[מדיה: sol10Logic2011.pdf| פתרון 10]] | ||
+ | |||
+ | ==תרגיל 11== | ||
+ | |||
+ | עמודים 321 - 323 | ||
+ | |||
+ | ::ספרה רומית 1: כל התרגילים | ||
+ | ::ספרה רומית 2: כל התרגילים הזוגיים | ||
+ | |||
+ | [[מדיה: exe11Logic2011.pdf| תרגיל בית 11]] | ||
+ | |||
+ | [[מדיה: sol11Logic2011.pdf| פתרון 11]] | ||
+ | |||
+ | ==תרגיל 12== | ||
+ | |||
+ | עמוד 330 - כל התרגילים | ||
+ | |||
+ | |||
+ | |||
+ | [[מדיה: exe12Logic2011.pdf| תרגיל בית 12]] | ||
+ | |||
+ | [[מדיה: sol12Logic2011.pdf| פתרון 12]] | ||
+ | |||
+ | ==תרגיל 13 (אי תקפות)== | ||
+ | |||
+ | (להגשה בתרגול הראשון של סמסטר ב') | ||
+ | |||
+ | |||
+ | עמודים 334 - 335 - כל התרגילים הזוגיים | ||
+ | |||
+ | |||
+ | |||
+ | [[מדיה: exe13Logic2011.pdf| תרגיל בית 13]] | ||
+ | |||
+ | [[מדיה: sol13Logic2011.pdf| פתרון 13]] | ||
+ | |||
+ | ==תרגיל 14 (C.P)== | ||
+ | |||
+ | תאריך הגשה: 27.03.2012 (בלי איחורים!) | ||
+ | |||
+ | |||
+ | [[מדיה: exe14Logic2011.pdf| תרגיל בית 14]] | ||
+ | |||
+ | [[מדיה: sol14Logic2011.pdf| פתרון 14]] | ||
+ | |||
+ | ==תרגיל 15== | ||
+ | |||
+ | '''הצרנה בשני כמתים''' | ||
+ | |||
+ | קראו את החומר התיאורטי בעמודים 88-96 ואז פתרו את כל התרגילים בעמודים 95-96 | ||
+ | |||
+ | '''שקילויות''' | ||
+ | |||
+ | קראו עמודים 110 -119. בעמודים אלה תמצאו הרבה שקילויות מוכחות (יש שם גם את הפתרונות של השקילויות שיובל ביקש מכם להוכיח). לאחר מכן פתרו תרגילים 1,4,8 בעמוד 119. | ||
+ | |||
+ | [[מדיה: exe15Logic2011.pdf| תרגיל בית 15]] | ||
+ | |||
+ | [[מדיה: sol15Logic2011.pdf| פתרון 15]] | ||
+ | |||
+ | ==תרגיל 16== | ||
+ | |||
+ | '''פרדיקטים דו - מקומיים''' | ||
+ | |||
+ | |||
+ | [[מדיה: exe16Logic2011.pdf| תרגיל בית 16]] | ||
+ | |||
+ | |||
+ | [[מדיה: readingForExe16.pdf| חומר קריאה רלוונטי]] | ||
+ | |||
+ | [[מדיה: sol16Logic2011.pdf| פתרון 16]] | ||
+ | |||
+ | ==תרגיל 17== | ||
+ | |||
+ | '''הוכחת טיעונים בשני כמתים''' | ||
+ | |||
+ | פתרו את 4 התרגילים הראשונים מעמוד 140. (את 5 עשינו בכיתה, אז תוכלו להיעזר בו קצת כדוגמא) | ||
+ | |||
+ | [[מדיה: exe17Logic2011.pdf| תרגיל בית 17]] | ||
+ | |||
+ | [[מדיה: sol17Logic2011.pdf| פתרון 17]] | ||
+ | |||
+ | ==תרגיל 18== | ||
+ | |||
+ | '''תכונות של יחסים והנחות סמויות''' | ||
+ | |||
+ | עמודים 140 -141: | ||
+ | |||
+ | הצרינו את הטיעונים 5 – 10. אין חובה להוכיח אותם, עם זאת – אתם יותר ממוזמנים לפחות לנסות. | ||
+ | |||
+ | עמודים 147-148 (לפני כן קראו עמודים 141-147 בספר): | ||
+ | |||
+ | התרגילים האי-זוגיים | ||
+ | |||
+ | בתרגילים האלה חסרות הנחות (ובלעדיהן לא ניתן להוכיח את הטיעון). יש לזהות את היחס הנתון ולהוסיף בהנחות את התכונות של היחס. | ||
+ | |||
+ | |||
+ | [[מדיה: exe18Logic2011.pdf| תרגיל בית 18]] |
גרסה אחרונה מ־12:28, 24 במאי 2012
תרגיל 1
תרגיל 2
תרגיל 3
תרגיל 4
תרגיל 5
פתרו את כל התרגילים הזוגיים בעמודים:
254-256, 262
הערה
שימו לב שהסימון של הפרסה בספר של קופי (כלומר: ) מוחלף בקורס שלנו בסימון של חץ (). אז אנא השתמשו בסימון הנכון...
פתרון 5
תרגיל 6
עמודים 272 - 274
ספרה רומית 1: תרגילים זוגיים עד 16 (לא כולל), תרגיל 16 - רשות
ספרה רומית 2: כל האי-זוגיים
פתרון 6
תרגיל 7
עמודים 286 - 290
כל התרגילים הזוגיים (גם ספרה רומית 1, וגם ספרה רומית 2)
פתרון 7
הערה
אני מצרפת את רשימת האי-מיילים כפי שהיא מופיעה אצלי. אם מישהו לא מופיע שם (או מופיע בצורה שגויה), נא לעדכן אותי בהקדם.
תרגיל 8
תרגיל 9
עמוד 302 : תרגילים אי זוגיים
עמודים 306-309: תרגילים זוגיים
הערה: בתרגילים האחרונים, שימו לב שאם הטיעון תקף, עליכם גם לציין אם הוא עקבי או לא עקבי; כלומר האם יש בו שורה שהיא סתירה.
הערה:
בעמוד 302, תרגיל 5, המסקנה היא
פתרון 9
תרגיל 10
עמודים 306-309 (יש לכם את העמודים האלה בתרגיל הקודם):
תרגילים: 7,11,13,15
עמודים 321-322:
תרגילים: 1,2,4,8
פתרון 10
תרגיל 11
תרגיל 12
תרגיל 13 (אי תקפות)
תרגיל 14 (C.P)
תרגיל 15
הצרנה בשני כמתים
קראו את החומר התיאורטי בעמודים 88-96 ואז פתרו את כל התרגילים בעמודים 95-96
שקילויות
קראו עמודים 110 -119. בעמודים אלה תמצאו הרבה שקילויות מוכחות (יש שם גם את הפתרונות של השקילויות שיובל ביקש מכם להוכיח). לאחר מכן פתרו תרגילים 1,4,8 בעמוד 119.
פתרון 15
תרגיל 16
תרגיל 17
הוכחת טיעונים בשני כמתים
פתרו את 4 התרגילים הראשונים מעמוד 140. (את 5 עשינו בכיתה, אז תוכלו להיעזר בו קצת כדוגמא)
פתרון 17
תרגיל 18
תכונות של יחסים והנחות סמויות
עמודים 140 -141:
הצרינו את הטיעונים 5 – 10. אין חובה להוכיח אותם, עם זאת – אתם יותר ממוזמנים לפחות לנסות.
עמודים 147-148 (לפני כן קראו עמודים 141-147 בספר):
התרגילים האי-זוגיים
בתרגילים האלה חסרות הנחות (ובלעדיהן לא ניתן להוכיח את הטיעון). יש לזהות את היחס הנתון ולהוסיף בהנחות את התכונות של היחס.