סילבוס

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

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

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