מסך כתיבת הוכחה
מסך כתיבת הוכחה הוא המסך העיקרי לעבודת התלמידים במערכת FullProof. במסך זה כותבים את ההוכחה ומגישים אותה לבדיקה.
בדף הוספת טענות להוכחה ניתן לקרוא על הדרכים בהן ניתן לכתוב את ההוכחה עצמה.
בצילומי המסך הבאים ניתן לראות כיצד נראה מסך כתיבת ההוכחה בשלבים שונים של העבודה.
לפני תחילת כתיבת ההוכחה
הנתונים והצ״ל מופקים אוטומטית מתוך השאלה. אם יש הבדל בין הסעיפים בתמונת השאלה המקורית לחלוקה לסעיפים במסך, יש לפתור לפי המסך. לחיצה על סימן השאלה (עזרה) בסרגל העליון פותחת את דף העזרה של השאלה.
לאחר בקשת רמז
הרמזים במערכת מותאמים לשלבי הפתרון שכבר נכתבו. המערכת מנסה לכוון לפתרון הקצר ביותר שמשתמש בשלבים שכבר כתבתם.
לאחר כתיבת חלק מהפתרון
את השלב האחרון תוסיפו בקלות ע״י ה־+ (הוספה להוכחה) שנמצא ליד הצ״ל, אבל אתם יכולים גם לכתוב אותו בעצמכם.
לאחר הוספת הטענה שצריך להוכיח
לא ניתן להגיש את הפתרון לפני שמוסיפים את הטענה שצריך להוכיח. בחלק מהשלבים יש להשלים את הטענה לפני ההגשה.
לאחר הוספת נימוק וטענות תומכות לשלב האחרון
המערכת מאפשרת להגיש גם ללא נימוק לשלב האחרון, אבל אם צריך נימוק אז כדאי להוסיף אותו לפני ההגשה.
לאחר ההגשה
למערכת יש מנגנון מתקדם לבדיקת ההוכחה ולהצעת תיקון לפתרון. ללמידה יעילה כדאי לתקן את הפתרון בהתאם למשוב מהמערכת, עד שכל שלב מקבל ✓ ירוק וגם הסיכום שמתחת להוכחה מסומן ב־✓.
הסברים כלליים ומפורטים על כתיבת הוכחות במערכת ניתן למצוא בדפים: