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

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

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

סילבוס

הודעות

מבחן לדוגמא

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

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

מה יותר גדול

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

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

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

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

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

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

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

טבלת אמת

בוחן

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

קישורים

• מערכי תרגול
• מבחנים ובחנים משנים קודמות

תרגילי בית

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

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

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

• עלו שני תרגילים חדשים - יחסי סדר ויחסי שקילות - להגשה עד כ"ו בטבת, 13.1 כולל.

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

• התרגילים שיופיעו כאן אינם להגשה, ואין עליהם ציון. מטרתם תרגול החומר בנוסף למטלות הממוחשבות. בהצלחה!
• תרגיל 1, פתרון
• תרגיל 2, פתרון
• תרגיל 3, פתרון
• תרגיל 4, פתרון
• תרגיל 5, פתרון
• תרגיל 6, פתרון
• תרגיל 7, פתרון

• תרגיל נוסף על CNF DNF:
• תרגיל נוסף, פתרון

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

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