שינויים
/* בוחן */
==בוחן==
הבוחן יתקיים ביום שני, כ"ב אייר, 7.5 בשעות 13:00-14:30. חומר לבוחן:
לוגיקה (קשרים, שקילויות לוגיות, כמתים ופרדיקטים).
אינדוקציה.
קבוצות (הכלה, שיוויון, איחוד, חיתוך, הפרש, הפרש סימטרי ומשלים). לא כולל קבוצת החזקה.
בהצלחה!