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

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
שורה 16: שורה 16:
 
'''הערה לשאלה 6:'''
 
'''הערה לשאלה 6:'''
 
כאשר הפרדיקט <math>N(x)</math> אומר "הוא שם", הכוונה שהוא מחזיר אמת כאשר הוא מקבל אוייבקט <math>x</math> שהוא שם. אם רוצים לומר ש"קיים שם" אז כותבים <math>\exists_x N(x)</math>. אם רוצים להגיד שלכל שם קיים איש כך שהשם של האיש הוא השם הזה <math>\forall_x (N(x) \rightarrow \exists_y (P(y) \wedge R(y,x)))</math>. [[משתמש:Adam Chapman|Adam Chapman]] 10:53, 28 באוקטובר 2012 (IST)
 
כאשר הפרדיקט <math>N(x)</math> אומר "הוא שם", הכוונה שהוא מחזיר אמת כאשר הוא מקבל אוייבקט <math>x</math> שהוא שם. אם רוצים לומר ש"קיים שם" אז כותבים <math>\exists_x N(x)</math>. אם רוצים להגיד שלכל שם קיים איש כך שהשם של האיש הוא השם הזה <math>\forall_x (N(x) \rightarrow \exists_y (P(y) \wedge R(y,x)))</math>. [[משתמש:Adam Chapman|Adam Chapman]] 10:53, 28 באוקטובר 2012 (IST)
 +
 +
==תרגיל 2==
 +
[[מדיה:Bdida2A2012.doc|תרגיל 2]] להגשה ב-13 לנובמבר

גרסה מ־09:02, 30 באוקטובר 2012

תרגיל 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: כאשר הפרדיקט 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

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