מאגר מידע בנושאי מחשבים ומדעים מדויקים
שפות תיכנות
שפת C#
שפת C
שפת C++
Java
אסמבלר
SQL
שפות פונקציונליות
Python
Perl
DirectX
Visual Basic
פסקל
mIRC Scripts
שונות
בניית אתרים
HTML
DHTML
ASP
ASP.Net
PHP
קידום אתרים
שונות
אבטחת מידע ו-IT
Web Security
אנונימיות, פרטיות וחוק ברשת האינטרנט
קריפטוגרפיה
הנדסה לאחור (reversing)
אבטחת ססמאות
אבטחת מידע - כללי
טרוינים ווירוסים
אבטחת Windows
מגזין IKP
מערכות ההפעלה Unix/Linux
מערכת ההפעלה DOS
מערכות הפעלה - כללי
מערכת ההפעלה XINU
חומרה
רשתות
פרוטוקולים - השכבה הפיסית
פרוטוקולים - שכבת האפליקציה
עולם ה-Web
צ'טים
מדריכי תוכנות
משחקים
מיקרואלקטרוניקה
מגזין Digital Whisper
:
Digital Whisper - גליונות מלאים
Digital Whisper - הגליון הראשון
Digital Whisper - הגליון השני
Digital Whisper - הגליון השלישי
Digital Whisper - הגליון הרביעי
Digital Whisper - הגליון החמישי
Digital Whisper - הגליון השישי
Digital Whisper - הגליון השביעי
Digital Whisper - הגליון השמיני
Digital Whisper - הגליון התשיעי
Digital Whisper - הגליון העשירי
Digital Whisper - הגיליון האחד עשר
Digital Whisper - הגיליון השנים עשר
Digital Whisper - הגיליון השלושה עשר
Digital Whisper - הגיליון הארבעה עשר
Digital Whisper - הגיליון החמישה עשר
Digital Whisper - הגיליון השישה עשר
Digital Whisper - הגיליון השבעה עשר
Digital Whisper - הגיליון השמונה עשר
Digital Whisper - הגיליון התשעה עשר
Digital Whisper - הגיליון העשרים
Digital Whisper - הגיליון העשרים ואחד
Digital Whisper - הגיליון העשרים ושניים
Digital Whisper - הגיליון העשרים ושלושה
Digital Whisper - הגיליון העשרים וארבעה
Digital Whisper - הגיליון העשרים וחמישה
Digital Whisper - הגיליון העשרים ושישה
Digital Whisper - הגיליון העשרים ושבעה
Digital Whisper - הגיליון העשרים ושמונה
Digital Whisper - הגיליון העשרים ותשעה
Digital Whisper - הגיליון השלושים
Digital Whisper - הגיליון השלושים ואחד
Digital Whisper - הגיליון השלושים ושניים
Digital Whisper - הגיליון השלושים ושלושה
Digital Whisper - הגיליון השלושים וארבעה
מדעי המחשב
אלגוריתמים בתורת הגרפים
מבני נתונים
ביטויים רגולריים
לוגיקה
הנדסת תוכנה
אוטומטים ושפות פורמליות
שפות תכנות
בינה מלאכותית
מערכות לומדות
תכנות מונחה אספקטים
ניהול זיכרון דינמי
Design Patterns
תכנות מונחה עצמים
תורת החישוביות
עיבוד אותות
מתמטיקה
אלגברה מודרנית
אלגברה לינארית
מתמטיקה דיסקרטית
חשבון דיפרנציאלי ואינטגרלי
מבוא להסתברות והתפלגויות
משוואות דיפרנציאליות רגילות
משוואות דיפרנציאליות חלקיות
מתמטיקה תיכונית
אנליזה נומרית
טורי פורייה
תורת המשחקים
פונקציות מרוכבות
שונות
סטטיסטיקה
טופולוגיה
גיאומטריה
כלכלה
חקר ביצועים
פיסיקה
אלקטרוניקת הספק
פיסיקה תיכונית
פיסיקה 1
פיסיקה 2
פיסיקה קוונטית
מכניקה אנליטית
אלקטרומגנטיקה
פיסיקה 3
שונות
עמוד הבית
>
מדעי המחשב
>
תורת החישוביות
>
תורת החישוביות - חלק ראשון
>
שפות שאינן כריעות
הועלה לאתר:
מספר עמודים: 32
להורדת המסמך בשלמותו
תורת החישוביות - חלק ראשון
סיכום
מאת:
ניר אדר
6. שפות שאינן כריעות
נושאים בפרק זה:
קיום שפות שאינן כריעות
משפט Rice
תמונת העולם
תרגיל 1
תרגיל 2
תגיות המסמך:
חישוביות
לפרק הקודם
5.4. שימוש ברדוקציה – הוכחה ששפה אינה ב-
CO-RE
/ RE
לפרק הבא
6.1. קיום שפות שאינן כריעות
מאת:
דנה
6/7/2010 18:01
החלק הראשון
בבקשה
מאת:
אני
19/6/2010 18:47
http://www.underwar.co.il/download.asp?ID=407
http://www.underwar.co.il/download.asp?ID=299
מאת:
רועי
8/6/2010 21:53
אני חייב את המסמך הזה...הצילו
מאת:
חשוון
4/4/2010 17:25
מתי המסמך יחזור?
דיווח על הפרת זכויות יוצרים
תוכן העניינים:
מבוא
מכונת טיורינג
שקילות של מודלים
דוגמאות
שיטת ההוכחה של שקילות
תרגיל
מודל ה-RAM
מכונה אוניברסלית
בעיות הכרעה
דוגמאות לשפות במחלקות
המחלקה של שפת העצירה
תרגיל חשוב
רדוקציות
הגדרה
משפט הרדוקציה
תכונות של רדוקציות
שימוש ברדוקציה – הוכחה ששפה אינה ב-
CO-RE
/ RE
שפות שאינן כריעות
קיום שפות שאינן כריעות
משפט Rice
תמונת העולם
תרגיל 1
תרגיל 2
חישוב פונקציות
הגדרות בסיסיות
סיבוכיות קולמגורוב
בעיות חיפוש
קישורים רלוונטיים:
מדעי המחשב
שיתוף:
|
עוד
החלק הראשון
בבקשה