פרוייקט "התלמיד והמחשב" יוצא לדרך!

במהלך עשיית סדר בספרים הישנים שלי גיליתי אוצר של נוסטלגיה עבורי: ספרון משנת 1987 בשם "התלמיד והמחשב" שנכתב על ידי משה הומי, נערך על ידי יצחק עמיהוד ויצא בהוצאת הוד-עמי וכולל "80 פתרונות לתרגילים, בעיות, חידות, שעשועים וגרפיקה". מדהים לחשוב … להמשיך לקרוא

אז מה זה חשבון מודולרי?

אני רוצה להקדיש פוסט לנושא שלא כתבתי לו מעולם פוסט ייעודי בבלוג, למרות שהוא הופיע בשלל פוסטים מכאן ועד להודעה חדשה – חשבון מודולרי. מכיוון שהמתמטיקה הבסיסית שמאחורי חשבון מודולרי איננה מסובכת, אני מתכוון לפתח את הכל בתוך הפוסט – … להמשיך לקרוא

מכסחי הכמתים

בפוסטים שלי על לוגיקה הגעתי עד למשפטי השלמות והקומפקטיות של לוגיקה מסדר ראשון, וזה מביא אותנו אל הסף של מה שנקרא "תורת המודלים". הפעם אני רוצה לדבר על אחת מהטכניקות הבסיסיות שרואים כשמתחילים ללמוד את תורת המודלים – חילוץ כמתים. … להמשיך לקרוא