<< עדכונים עבור 01/07/2010 :: עדכונים עבור 13/07/2010 :: עדכונים עבור 15/07/2010 >>
אתר UnderWarrior מציע פורמט חדש - מסמכים לקריאה אונליין - לקריאה נוחה באתר! שישה מאמרים הומרו ל-HTML. מאמרים נוספים יומרו ל-HTML בזמן הקרוב. נשמח לתגובות!
| מסמכים שעודכנו | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
פיסיקה 2ממ
ספר אלקטרוני מסמך זה עוקב אחרי החומר של הקורס "פיסיקה 2מ" בטכניון, אם כי הוא איננו חומר רשמי של הטכניון. המסמך עודכן ביולי 2010, והוא מתאים לקורס פיסיקה 2ממ בטכניון. |
ניר אדר |  מסמך אונליין 32877 הורדות 151 עמודים |
LISP
מדריך שפת LISP הינה שפה פונקציונלית הנחשבת לאחת השפות המועדפות של מתכנתי בינה מלאכותית ומערכות לומדות. השפה הינה שפת Prefix בעלת תמיכה מובנת ברשימות. היא כוללת ניהול זכרון אוטומטי על ידי garbage collector |
ניר אדר | מסמך אונליין 9167 הורדות 20 עמודים |
|
בינה מלאכותית
ספר אלקטרוני מבוא לבינה מלאכותית: פתרון בעיות על ידי חיפוש במרחב מצבים, חיפושים לא מיודעים, חיפושים מיודעים, שימוש ב-BFS וב-DFS, אלגוריתם ASTAR, אלגוריתמים לחיפוש יוריסטי מקומי, משחקים: Minimax, אלגוריתם Alpha-Beta. שימוש בלוגיקה לייצוג ידע - רזולוציה ויוניפיקציה, בעיית הלמידה ואלגוריתם ID3 |
ניר אדר | מסמך אונליין 22091 הורדות 47 עמודים |
תורת החישוביות - חלק ראשון
סיכום נושאים שונים בתורת החישוביות. דגש מיוחד על מכונת טיורינג והנושאים הקשורים לה. הנושאים במסמך: בעיות לא פתירות, מכונות טיורינג, שקילות בין מודלים, מכונה אוניברסלית, בעיות הכרעה, רדוקציות וכן נציג גם שפות שאינן כריעות. |
ניר אדר | מסמך אונליין 17160 הורדות 32 עמודים |
|
אלגברה רלציונית
סיכום אלגברה רלציונית (Relational algebra) היא שפה המאפשרת לכתוב שאילתות עבור נתונים המאורגנים בטבלאות (רלציות). מסמך זה יציג לקורא את שפה זו. |
ניר אדר | מסמך אונליין 11105 הורדות 8 עמודים |
|
מבוא לאימות תוכנה
ספר אלקטרוני הוכחת נכונות של תוכניות ע"י שיטת Floyd ושיטת Hoare. בדיקת מודל: לוגיקות טמפורליות, בדיקת מודל CTL, שימוש ב-BDDs, בדיקת מודל סימבולית ובדיקת מודל חסומה. המסמך עוקב אחר הקורס "מבוא לאימות תוכנה (236342)" בטכניון, אך הוא איננו חומר רשמי שאושר על ידי צוות הקורס, אלא סיכום אישי של ניר אדר. סטודנטים בקורס צריכים לשים לב כי המסמך עלול להכיל טעויות ואי דיוקים. |
ניר אדר | מסמך אונליין 8024 הורדות 120 עמודים |