פונקציות פרימיטיביות רקורסיביות 4 הרצאה œ חישוביות הוכחה קיומית 1 המשך