מודלים חישוביים (אתגר)

מאת: יורי רבינוביץ
פורסם ב: 203.8014
תיאור: הגדרת בעיות החלטה כבעיית זיהוי שפות אוטומטים ושפות רגולריות מכונותטיורינג ואלגוריתמים. התיזה של צ’רץ מכונה אוניברסליתבעיות אי-כריעות.סיבוכיות זמן ומקום. מחלקת הבעיות הפולינומיאליות דטרמיניזםאי-דטרמיניזם ובעיות שלמות.
SDGs : SDG 09  |  יחידות: מדעי החברה  | מועד: 2021/2022 סמסטר שני |  קישור