סילבוס

תוכן הקורס ומטרתו

מטרת הקורס היא להקנות בסיס פורמלי בשפה המתמטית וללמוד עקרונות בסיסיים בתורת הקבוצות.

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