| דף נוסחאות | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
תורת החישוביות (חלק א') - טענות והגדרות
דף נוסחאות טענות והגדרות עבור חלק א' של הקורס "תורת החישוביות" (236343) בטכניון. |
אלון יעקובי |  מסמך מודפס 4524 הורדות 4 עמודים |
| מאמר | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
בעיות בלתי כריעות
מאמר במאמר המבוסס על הקורס "מודלים חישוביים" באוניברסיטת ת"א 2005 מוסבר המושג בעיות בלתי פתירות, ומובאות דוגמאות האנטיוירוס ובעיית הסוכן והנוסע. המאמר מובן מאוד ומעוצב בצורה מסודרת וברורה. מצורפים אליו תרשימים והסברים שיעזרו לכולם להבין את הנושא בקלות ובמהירות יחסית. |
דניאל רוזנבלט | מסמך מודפס 7624 הורדות 15 עמודים |
| סיכום | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
תורת החישוביות - חלק ראשון
סיכום נושאים שונים בתורת החישוביות. דגש מיוחד על מכונת טיורינג והנושאים הקשורים לה. הנושאים במסמך: בעיות לא פתירות, מכונות טיורינג, שקילות בין מודלים, מכונה אוניברסלית, בעיות הכרעה, רדוקציות וכן נציג גם שפות שאינן כריעות. |
ניר אדר |  מסמך אונליין 17392 הורדות 32 עמודים |
|
תורת החישוביות - חלק שני
סיכום סיבוכיות של מכונת טיורינג, מכונת טיורינג אי דטרמיניסטית, המחלקה NP, בעיות חיפוש ורדוקציות פולינומיאליות. |
ניר אדר | מסמך מודפס 9053 הורדות 21 עמודים |
|
תורת החישוביות - סיכום הרצאות אביב 2010
סיכום סיכום הקורס "תורת החישוביות" בטכניון (קורס 236343). נושאים: מכונת טיורינג, בעיות הכרעה, בעיות חיפוש, רדוקציות, סיבוכיות קולמוגורוב, חישוב יעיל, בעיות NP שלמות, אלגוריתמי קירוב, מערכות הוכחה, קריפטוגרפיה. הבהרה: זהו סיכום אישי בלבד, ואין הטכניון או הפקולטה למדעי המחשב אחראים לתוכנו של מסמך זה. |
גיא שקד | מסמך מודפס 10713 הורדות 63 עמודים |