הועלה לאתר:  
מספר עמודים: 120
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

מבוא לאימות תוכנה

ספר אלקטרוני מאת: ניר אדר

5.1.4. מערכת הוכחה H להוכחת נכונות חלקית

מערכת ההוכחה H הינה מערכת דדוקטיבית. האקסיומות יכללו היסק מול טענות נכונות.

הוכחה במערכת תוגדר להיות סדרה של טענות שכל אחת מהן היא או אקסיומה, או טענה שהתקבלה מהטענות הקודמות על ידי אחד מכללי ההיסק.

הטענה להוכחה על ידי מערכת זו: plot:$\left\{ p \right\}s\left\{ q \right\}$ - נכונות חלקית.

תגיות המסמך:

לפרק הקודם5.1.3. למת החישובים
לפרק הבא5.1.4.1. אקסיומות
אין תגובות!
שיתוף:
| עוד