– הגדרות בסיסיות, יחסים, פונקציות, יחסי שקילות וסדר, קבוצות בנות־מנייה ושיטת הלכסון של קנטור
– אוטומטים סופיים (דטרמיניסטיים ולא דטרמיניסטיים), למת הניפוח, משפט מייהיל־נרוד, ביטויים רגולריים
02340129 - מב.לתורת הקבוצות ואוטומטים למדמ"ח 02340129 - Int. to Set Theory and Automata for CS 02340129 - Int. to Set Theory and Automata for CS 02340129 - Int. to Set Theory and Automata for CS | ||||
חורף 2023-2024Winter 2023-2024Зима 2023-2024شتاء 2023-2024 | ||||