top of page

ד"ר יואב ברוייר - מתמטיקה ולוגיקה

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

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

ברוייר.jpeg

I'm a paragraph. Click here to add your own text and edit me. It's easy.

מתמטיקה ולוגיקה

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

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

 

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

Teacher Writing a Formula on a Blackboar
bottom of page