בדידה 2 הרצאה 1 colman תשפ"ב - הגדרות רקורסיביות ואינדוקציה מבנית

הגדרות רקורסיביות של פונקציה/סדרה והוכחת טענות עליהן באמצעות אינדוקציה; הגדרות רקורסיביות של קבוצה ואינדוקציה מבנית.