83-116 בדידה להנדסה סמסטר א' תשע"ח

מתוך Math-Wiki

83-116 בדידה להנדסה

ברוכים הבאים לקורס בדידה 1.

סילבוס

הודעות

דוגמא ליחס סדר

מה יותר גדול

תיקון לתרגול ביום ראשון ב-16:00

בסוף השיעור כאשר עסקנו ב-CNF לא סיימנו את התרגיל האחרון. הפתרון שלו מופיע במערך תרגול 3.

עלה תרגיל 1 במערכת XI

נפתח הקורס שלנו במערכת XI, ועלה תרגיל 1. שימו לב שאתם נרשמים לקורס בדידה 1 להנדסה סמסטר א' תשע"ח.

תיקון לתרגול ביום ראשון ב-9:00

בסוף השיעור חלה טעות:

התרגיל שאל האם שני משפטים שקולים. אנחנו עשינו טבלת אמת ודרכה ראינו שהמשפטים לא שקולים. טבלת האמת לא הייתה נכונה. מצ"ב בקובץ הטבלה הנכונה. שאר הפיתרון היה נכון, כולל השורה שדרכה ראינו ששני המשפטים לא שקולים. אריאל.

טבלת אמת

בוחן

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

קישורים

תרגילי בית

מטלות תרגול ממוחשבות

הנה קישור למערכת XI. ברשימת הקורסים בקישור תמצאו את הקורס שלנו, ויש להרשם עם חשבון גוגל. את המטלות יש להגיש באופן ממוחשב עד שבועיים מפרסום המטלה. בשקלול הציון יכנסו כ-80% מהציונים הטובים ביותר.

  • תרגילים 5-6 עלו. להגשה עד יום ראשון 17.12 כולל.

תרגילים ידניים

נפלה טעות בשאלה 1,ו', כמו שהתרגיל כתוב כרגע הפסוק לא מוגדר היטב. ניתן לפרש אותו בשתי דרכים ע"י סוגריים במקומות שונים.

טעות נוספת: שאלה 3 סעיף ג יש טעות בעמודה הרביעית (של [math]\displaystyle{ p\lor \lnot q }[/math]) ארבעת השורות האחרונות הפוכות. שימו לב לתיקון הנדרש בהתאם בעמודה החמישית ובתשובה הסופית.