| תחומים במדעי המחשב
|
| יסודות מתמטים
|
לוגיקה מתמטית • תורת הקבוצות • תורת המספרים • תורת הגרפים • תורת הטיפוסים • תורת הקטגוריות • אנליזה נומרית • תורת האינפורמציה
|
| תורת החישוביות
|
תורת האוטומטים • תורת הרקורסיה • תורת הסיבוכיות • מחשוב קוונטי
|
| אלגוריתמים ומבנה נתונים
|
אנליזה של אלגוריתמים • גאומטריה חישובית
|
| שפות תכנות ומהדרים
|
מפרש • פרדיגמת תכנות (תכנות פרוצדורלי • תכנות מונחה עצמים • תכנות פונקציונלי • תכנות לוגי)
|
| חישוב מבוזר ועיבוד מקבילי
|
עיבוד מקבילי • מחשוב סריגי • בקרת מקביליות
|
| הנדסת תוכנה
|
ניתוח מערכות מידע • עיצוב תוכנה • תכנות מחשבים • שיטות פורמליות • בדיקות תוכנה • מתודולוגיית פיתוח תוכנה
|
| תקשורת
|
ניתוב • טופולוגיית רשת • קריפטוגרפיה
|
| מסד נתונים
|
מסד נתונים יחסי • SQL • תנועה • אינדקסים • כריית מידע • CAP theorem
|
| בינה מלאכותית
|
חשיבה אוטומטית • בלשנות חישובית • ראייה ממוחשבת • עיבוד שפה טבעית • בינה חישובית • מערכת מומחה • למידה חישובית • רובוטיקה
|
| גרפיקה
|
הדמיה ממוחשבת • הנפשה ממוחשבת • עיבוד תמונה
|
| שפות פורמליות
|
שפה רגולרית • שפה חסרת הקשר • שפה תלוית הקשר • ההיררכיה של חומסקי
|
| שימושים במדע
|
ביואינפורמטיקה • מדעים קוגניטיביים • כימיה חישובית • פיזיקה חישובית • אנליזה נומרית
|
