4.4.5.2. דוגמא להפעלת Floydנציג שוב את התוכנית המחשבת את המנה
והשארית של חלוקת הפעלת Floyd:
נציב בתנאי: קיבלנו נוסחה בלוגיקה. לצורך הוכחת אימות תוכנה מספיק לנו לראות שהנוסחה נכונה מבחינה מתמטית – אין צורך להכנס להוכחה מורכבת בלוגיקה. ממתמטיקה טריויאלית ניתן לראות את נכונות הביטוי.
אין תגובות!
|
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |