Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code.

זיכרון מתקופת בית הספר שהשפיע על היצירה שלי:

“ראשית, מורתי למתמטיקה בחטיבה העליונה, ד”ר בלה קסלר, תמיד עודדה את נטייתי להוכיח משפטים מתמטיים באופן לא שגרתי (ועל כך פעם אף הקדשתי לה מאמר). בהחלט ניתן לראות את הספר הזה כאחד מפירותיה של נטייה זו. שנית, הספר מלמד מתמטיקה באמצעות תכנות. הפעם הראשונה שבה מצאתי את עצמי כמורה לתכנות היתה כשהייתי בכיתה י”ב (מה שמכונה שכבה ו’ בבית הספר) ורכזת לימודי המחשבים של בית הספר, אורנה הרשקוביץ, העזה באופן לא שגרתי להפקיד בידיי ובידי חברי הטוב (עד היום) טל עוזיאלי ללמד את כיתת “מחשבים אתגר” של שכבות ב’ ו־ג’ באותה השנה, על פי תכנית לימודים שיצרנו”.