שינויים
קפיצה אל:
ניווט
,
חיפוש
83-116 בדידה להנדסה סמסטר ב' תשע"ט
נוסף בית אחד
,
16:56, 19 במרץ 2019
/* הודעות */
תיקון לתרגיל בתחילת התרגול ב-19/3:
הוכח/הפרך: הפסוק הבא (עם משתנים מהטבעיים) הוא טאוטולוגיה:
<math>(\forall n (P(n) \rightarrow Q(n))) \Rightarrow ((
exist
exists
n P(n) \lor Q(n))</math>
==תרגילי בית==
Harel530
187
עריכות
תפריט הניווט
כלים אישיים
כניסה לחשבון
גרסאות שפה
מרחבי שם
דף מיוחד
חיפוש
עוד
צפיות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
חומר לימוד
התקנת LyX
סילבוסים
כלים
דפים מיוחדים
גרסת הדפסה