חזור לתיקייה: 02340292 - לוגיקה למדעי המחשב
תרגול
ייצוא כל ההרצאות כמסמך מאוחד
2 הרצאות
ייצוא LaTeX
הורדת כל הקורס כ-PDF
רצף לימוד
1 - הקבוצה הנוצרת וסדרות יצירה
2 - תחביר תחשיב הפסוקים