תגיות
לוגיקה
חומרים קשורים:
- מבוא למתמטיקה דיסקרטית - לוגיקה מתמטיתתחשיב הפסוקים ותחשיב היחסים - תיאוריה ודוגמאות
תגיות:
- לוגיקה - סיכום נקודותמושגי ייסוד בלוגיקה, תחשיב הפסוקים ותחשיב היחסים
תגיות:
- מבוא לאימות תוכנההוכחת נכונות של תוכניות ע"י שיטת Floyd ושיטת Hoare. בדיקת מודל: לוגיקות טמפורליות, בדיקת מודל CTL, שימוש ב-BDDs, בדיקת מודל סימבולית ובדיקת מו...
- מחברת של הקורס "לוגיקה ותורת הקבוצות" בטכניוןמחברת סרוקה של הקורס "לוגיקה ותורת הקבוצות למדעי המחשב" בטכניון. ההרצאות הועברו על ידי ד"ר שירלי הלוי. הבהרה: זהו סיכום אישי בלבד, ואין הטכני...