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