buddi המורה הפרטי שלך ללוגיקה.
אינדוקציית מבנה, טאוטולוגיות ונביעה, מערכת הילברט ורזולוציה, ולוגיקה מסדר ראשון — buddi מלמד כל נושא מאפס, מפרק כל הוכחה לצעדים ומראה בדיוק איפה נתקעים, לפי הסילבוס של הטכניון — עם 73 שאלות מ‑9 מועדים אמיתיים של הקורס.
כל הוכחה — מפורקת לצעדים.
לא בטוח מאיפה מתחילים גזירה במערכת הילברט? מתקשה לנסח נכון הוכחה באינדוקציית מבנה, או להוכיח אי‑גדירות בעזרת קומפקטיות? buddi מפרק כל תרגיל לניסוח → הצדקה → מסקנה, עונה על כל שאלה שאתה שואל — וכשמבקשים ממנו לפתור, הוא פותר עד הסוף. הוא מדבר בשפת הקורס הזה בלבד, ואם משהו לא נמצא בחומר הוא אומר זאת במקום לנחש.
לכל נושא — שיטת הפתרון המצופה.
לכל אחד מ‑60 הנושאים: מה שואלים בו, איך מזהים את סוג התרגיל, הדרך המצופה, המשפטים והאקסיומות שמותר להשתמש בהם, והמלכודות הנפוצות — נכתב בשפת הקורס עצמו, מעוגן בהרצאות ובתרגולים של הטכניון.
73 שאלות מ‑9 מועדים אמיתיים.
לא שאלות 'בסגנון' — השאלות עצמן, מתוך 9 מועדים אמיתיים של קורס 234292, מקובצות לפי הנושא ומתויגות לפי המועד שממנו הגיעו. הקורס אינו מפרסם פתרונות רשמיים למבחנים אלה, ולכן כל פתרון נכתב ואומת בידי buddi ומסומן בבירור כ‑'פתרון buddi — לא רשמי'. יושבים מבחן שלם על השעון, ואז עוברים שאלה‑שאלה עם הסבר מלא של הגזירה.
13 איורים: עצי תחביר, הפרכות רזולוציה וגזירות הילברט.
עץ התחביר שמראה בדיוק איך הפסוק בנוי ומהו הקשר הראשי, הפרכת רזולוציה שבה כל רזולבנט הוא באמת Res של שני הוריו על הציר שלו, וגזירת הילברט שבה כל שורה מצביעה על השורות שממנה היא נובעת — כל איור חושב מחדש ואומת, כי הוכחה מובנת הרבה יותר כשרואים את השלד שלה.
139 כרטיסי זיכרון ו‑8 סיכומי יחידה.
ההגדרות המדויקות, האקסיומות, המשפטים והתנאים שלהם — בכרטיסיות קצרות במתחם הזיכרון, עם חזרה מרווחת שמחזירה אליך כרטיס בדיוק כשהוא עומד להישכח. ולכל אחת מ‑8 היחידות שני סיכומים: סיכום מלא ללמידה מההתחלה, וסיכום קצר למחברת — מסודר, עצמאי ומוכן ליום המבחן.
8 יחידות, 60 נושאים — מאינדוקציית מבנה ועד לוגיקה מסדר ראשון.
כל הסילבוס של 234292 בנוי כקורס: כל יחידה עם שיעורים שמלמדים מאפס, הוכחות פתורות ותרגול — כדי שלא תיתפס לא מוכן על אף נושא, גם אם לא ראית אותו בהרצאה.
הכנה שלומדת אותך — ומלווה עד יום המבחן.
שיטת הפתרון לכל נושא
לכל נושא: מה שואלים, איך מזהים את סוג התרגיל, הדרך המצופה, המשפטים והאקסיומות המותרים והמלכודות — נגיש מכל עמוד נושא ובעמוד 'שיטות פתרון' אחד לחזרה לפני מבחן.
יועץ אישי שיודע מה לחזק
המערכת זוכרת כל שאלה שפתרת ומכוונת את הזמן שנשאר לנושאים שכדאי לחזק — ואם נתקעת שוב ושוב בנושא, היא מחזירה אותך לשיעור שמלמד אותו.
התוכן בנוי לפי הסילבוס הרשמי של קורס 234292 בטכניון — עם 73 שאלות מ‑9 מועדים אמיתיים של הקורס (הקורס אינו מפרסם פתרונות רשמיים, ולכן כל פתרון הוא של buddi ומסומן כלא רשמי), 60 שאלות תרגול נוספות עם פתרון מלא צעד‑אחר‑צעד, שיטת הפתרון המצופה לכל נושא, 13 איורים שחושבו ואומתו, 139 כרטיסי זיכרון ו‑8 סיכומי יחידה. buddi מסביר, לא מנחש.
שלושה צעדים בין ״לא יודע מאיפה להתחיל״ ל״מוכן לבחינה״.
נרשמים ונכנסים
פותחים חשבון, מתחילים בניסיון חינם — בלי כרטיס אשראי — ונכנסים ישר לקורס.
לומדים עם buddi
שיעור שמלמד מאפס, הוכחה פתורה ותרגול עם בדיקה מיידית — ו‑buddi מלווה אותך צעד‑צעד עד שהחומר ברור.
נכנסים למבחן בביטחון
מד המוכנות והיועץ האישי מכוונים אותך לנושאים שכדאי לחזק — כדי שתיכנס למבחן מוכן, לא בניחוש.
תשלום אחד. גישה עד יום הבחינה.
- 32 שיעורים שמלמדים את החומר מאפס
- 73 שאלות מ‑9 מבחני עבר אמיתיים של הטכניון, עם פתרון buddi מלא (לא רשמי)
- 60 שאלות תרגול נוספות עם פתרון מלא צעד‑אחר‑צעד
- שיטת הפתרון המצופה לכל 60 הנושאים
- 13 איורים: עצי תחביר, הפרכות רזולוציה וגזירות הילברט
- 139 כרטיסי זיכרון עם חזרה מרווחת + 8 סיכומי יחידה
- buddi — מורה AI שמסביר כל שלב, 24/7
כל מה שרצית לדעת לפני שמתחילים.
כן. הקורס בנוי לפי הסילבוס הרשמי של 234292 — 8 יחידות מהגדרות אינדוקטיביות ואינדוקציית מבנה, דרך תחשיב הפסוקים, מערכות הוכחה, קומפקטיות ורזולוציה, ועד לוגיקה מסדר ראשון וגדירות. כל נושא עם שיעור שמלמד מאפס, שיטת הפתרון המצופה ותרגול עם פתרון מלא — ולצידם 73 שאלות מ‑9 מועדים אמיתיים של הקורס עצמו, עם פתרון buddi מלא (לא רשמי), כתובים בשפת הקורס ומעוגנים בהרצאות ובתרגולים.
כן — 73 שאלות מ‑9 מועדים אמיתיים של קורס 234292, מקובצות לפי הנושא ומתויגות לפי המועד שממנו הגיעו, ואפשר גם לשבת מבחן שלם על השעון. חשוב שתדע בדיוק מה אתה מקבל: הקורס אינו מפרסם פתרונות רשמיים למבחנים אלה, ולכן כל פתרון נכתב ואומת בידי buddi ומסומן בבירור כ‑'פתרון buddi — לא רשמי'. השאלות אמיתיות; הפתרונות שלנו. בנוסף יש 60 שאלות תרגול שנכתבו לפי הסילבוס הרשמי, כל אחת עם פתרון מלא צעד‑אחר‑צעד.
בדיוק בשביל זה. לכל נושא יש שיעור שמלמד מאפס, שיטת פתרון שמראה איך בונים גזירה, איך מנסחים אינדוקציית מבנה ומתי מותר להשתמש במשפט הדדוקציה, ואיורים של הגזירות עצמן — ו‑buddi עונה על כל שאלה שאתה שואל תוך כדי, בכל שעה.
סמסטר אביב 2026: מועד א׳ ב‑09.08.2026 ומועד ב׳ ב‑30.08.2026. הקורס בונה איתך מסלול עד המועד שבחרת.
מתחילים בניסיון חינם לשעה — בלי כרטיס אשראי — כדי לראות את הקורס מבפנים (הצ׳אט עם באדי נפתח למנויים בלבד). אחר‑כך גישה מלאה במחיר היכרות של ₪249 (במקום ₪449, לזמן מוגבל). הגישה נפתחת עם התשלום ונשארת עד יומיים אחרי מועד ב׳.
מוכנים להתחיל?
פתחו חשבון, התחילו בניסיון חינם, וראו את buddi בונה הוכחה צעד‑אחר‑צעד לפני שתחליטו.