הבדלים בין גרסאות בדף "88-195 תשעג א"

גרסה מ־16:11, 20 בנובמבר 2012

תוכן עניינים

1 תרגיל 1
2 תרגיל 2
3 תרגיל 3
4 תרגיל 4
5 תרגיל 5

תרגיל 1

תרגיל 1 להגשה ב-6 לנובמבר

שימו לב! התרגיל קוצר ב-24/10 ב-20:30. אנא התעדכנו במידה והורדתם אותו לפני

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

הערה לתרגיל 1:

$(A\or B)\and C <=> (A\and C)\or (B\and C)$ וכנל כש-C משמאל

$(A\and B)\or C <=> (A\or C)\and(B\or C)$ וכנל כש-C משמאל

הערות לשאלה 6:

1.כאשר הפרדיקט $N(x)$ אומר "הוא שם", הכוונה שהוא מחזיר אמת כאשר הוא מקבל אוייבקט $x$ שהוא שם. אם רוצים לומר ש"קיים שם" אז כותבים $\exists_x N(x)$ . אם רוצים להגיד שלכל שם קיים איש כך שהשם של האיש הוא השם הזה $\forall_x (N(x) \rightarrow \exists_y (P(y) \wedge R(y,x)))$ . Adam Chapman 10:53, 28 באוקטובר 2012 (IST)

2.אסור להשתמש ביחס $\ne$ . חישבו איזה קשר יכול לסייע לנו לבטא אי שוויון. עדי

3. ״לכל איש יש שם״ כמובן הכוונה ל-"לכל איש קיים שם כך שהשם הוא שמו של האיש"

4. דוגמאות נוספות לעיונכם:

א) קיים איש עם שם יחיד-

$\exists x \exists y : R(x,y)\wedge \forall z(R(x,z)\rightarrow (z=y))$

ב) לא קיים איש שהוא שם

$\neg \exists x:P(x)\wedge N(x)$

ג) לכל איש עם שם קיים איש אחר עם אותו שם

$\forall x : \exists n : R(x,n)\rightarrow \exists y R(y,n)\wedge \neg(x=y)$

תרגיל 2

תרגיל 2 להגשה ב-13 לנובמבר

הגדרות ודוגמאות לאיחוד וחיתוך כלליים בקובץ תירגול מס' 2.

תרגיל 3

תרגיל 3 להגשה ב-20 לנובמבר

הערה: שונתה שאלה 2 לשאלה אחרת. עמכם הסליחה. Adam Chapman 20:13, 15 בנובמבר 2012 (IST)

תרגיל 4

תרגיל 4 להגשה ב-27 לנובמבר

הגדרת הרכבת יחסים: בהינתן יחס $R$ מ $A$ ל $B$ ויחס $S$ מ $B$ ל $C$ , מגדירים יחס $S \circ R$ מ $A$ ל $C$ שמכיל את הזוג $(a,c)$ אם ורק אם קיים $b \in B$ שעבורו $(a,b) \in R$ וגם $(b,c) \in S$ .Adam Chapman 18:11, 20 בנובמבר 2012 (IST)

תרגיל 5

תרגיל 5 להגשה ב-4 לדצמבר

@@ שורה 52: / שורה 52: @@
 ==תרגיל 4==
 [[מדיה:Bdida4A2012.pdf|תרגיל 4]] להגשה ב-27 לנובמבר
+הגדרת הרכבת יחסים: בהינתן יחס <math>R</math> מ<math>A</math> ל<math>B</math> ויחס <math>S</math> מ<math>B</math> ל<math>C</math>, מגדירים יחס <math>S \circ R</math> מ<math>A</math> ל<math>C</math> שמכיל את הזוג <math>(a,c)</math> אם ורק אם קיים <math>b \in B</math> שעבורו <math>(a,b) \in R</math> וגם <math>(b,c) \in S</math>.[[משתמש:Adam Chapman|Adam Chapman]] 18:11, 20 בנובמבר 2012 (IST)
 ==תרגיל 5==
 [[מדיה:Bdida5A2012.doc|תרגיל 5]] להגשה ב-4 לדצמבר

הבדלים בין גרסאות בדף "88-195 תשעג א"

גרסה מ־16:11, 20 בנובמבר 2012

תוכן עניינים

תרגיל 1

תרגיל 2

תרגיל 3

תרגיל 4

תרגיל 5

תפריט הניווט

כלים אישיים

גרסאות שפה

מרחבי שם

חיפוש

עוד

צפיות

ניווט

כלים