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

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

שעות קבלה

• הראל: בתיאום במייל, rozenfh1@biu.ac.il

קישורים

• מערכי תרגול

• מבחנים ובחנים משנים קודמות

• סילבוס

הודעות

תיקון לתרגיל בתחילת התרגול ב-19/3: הוכח/הפרך: הפסוק הבא (עם משתנים מהטבעיים) הוא נכון: [math]\displaystyle{ (\forall n (P(n) \rightarrow Q(n))) \rightarrow (\exists n (P(n) \lor Q(n))) }[/math]

תרגילי בית

• המלצה חשובה - נסו לפתור את תרגילי ה-XI לבד לפני שאתם מסתכלים בהדרכה של המערכת!!

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

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

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

לפני שאלה 5 קראו את הדף הבא - איחודים וחיתוכים - הכללה

• תרגיל 4, פתרון
• תרגיל 5, פתרון חלק א', פתרון חלק ב'
• תרגיל 6, פתרון
• תרגיל 7
• תרגיל 8

בוחן

הבוחן יתקיים ביום שני, ט"ו אייר, 20.5 בשעות 13:00-14:30. החומר לבוחן: לוגיקה, קבוצות, אינדוקציה ויחסים.