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

By: יורי רבינוביץ
Published in: 203.8014
SDGs : SDG 09  |  Units: Social Sciences  | Time: 2021/2022 Second Semester |  Link
Description: הגדרת בעיות החלטה כבעיית זיהוי שפות אוטומטים ושפות רגולריות מכונותטיורינג ואלגוריתמים. התיזה של צ’רץ מכונה אוניברסלית בעיות אי-כריעות.סיבוכיות זמן ומקום. מחלקת הבעיות הפולינומיאליות דטרמיניזםאי-דטרמיניזם ובעיות שלמות.