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

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

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

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

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