דף נוסחאות | ||
---|---|---|
כותרת המסמך | מחבר | פרטים נוספים |
![]() דף נוסחאות טענות והגדרות עבור חלק א' של הקורס "תורת החישוביות" (236343) בטכניון. |
אלון יעקובי | ![]() מסמך מודפס 4470 הורדות 4 עמודים |
מאמר | ||
---|---|---|
כותרת המסמך | מחבר | פרטים נוספים |
![]() מאמר במאמר המבוסס על הקורס "מודלים חישוביים" באוניברסיטת ת"א 2005 מוסבר המושג בעיות בלתי פתירות, ומובאות דוגמאות האנטיוירוס ובעיית הסוכן והנוסע. המאמר מובן מאוד ומעוצב בצורה מסודרת וברורה. מצורפים אליו תרשימים והסברים שיעזרו לכולם להבין את הנושא בקלות ובמהירות יחסית. |
דניאל רוזנבלט | ![]() מסמך מודפס 7578 הורדות 15 עמודים |
סיכום | ||
---|---|---|
כותרת המסמך | מחבר | פרטים נוספים |
![]() סיכום נושאים שונים בתורת החישוביות. דגש מיוחד על מכונת טיורינג והנושאים הקשורים לה. הנושאים במסמך: בעיות לא פתירות, מכונות טיורינג, שקילות בין מודלים, מכונה אוניברסלית, בעיות הכרעה, רדוקציות וכן נציג גם שפות שאינן כריעות. |
ניר אדר | ![]() מסמך אונליין 17275 הורדות 32 עמודים |
![]() סיכום סיבוכיות של מכונת טיורינג, מכונת טיורינג אי דטרמיניסטית, המחלקה NP, בעיות חיפוש ורדוקציות פולינומיאליות. |
ניר אדר | ![]() מסמך מודפס 8989 הורדות 21 עמודים |
![]() סיכום סיכום הקורס "תורת החישוביות" בטכניון (קורס 236343). נושאים: מכונת טיורינג, בעיות הכרעה, בעיות חיפוש, רדוקציות, סיבוכיות קולמוגורוב, חישוב יעיל, בעיות NP שלמות, אלגוריתמי קירוב, מערכות הוכחה, קריפטוגרפיה. הבהרה: זהו סיכום אישי בלבד, ואין הטכניון או הפקולטה למדעי המחשב אחראים לתוכנו של מסמך זה. |
גיא שקד | ![]() מסמך מודפס 10644 הורדות 63 עמודים |