Abstract
לוגיקה מאפשרת לנו לנסח, לבדוק ולהסיק טענות באופן פורמאלי. פרופ' אורנה קופרמן מציגה את הלוגיקה העתית שבאמצעותה אפשר לתאר רצף אירועים, ושנהגתה על ידי פילוסופים לפני מאות שנים. היום היא משמשת לתיאור התנהגויות של מערכות מחשב הנמצאות באינטראקציה עם סביבתן. פרופ' אמיר פנואלי מוזכר בעקבות הצעתו להשתמש בלוגיקה עתית כדי לנסח ולבדוק באופן פורמלי מפרטים של מערכות מחשב. (מתוך המאמר)
| Original language | Hebrew |
|---|---|
| Pages (from-to) | 32-37 |
| Number of pages | 6 |
| Journal | גליליאו: כתב עת למדע ומחשבה |
| Volume | 163 |
| State | Published - 2012 |
IHP publications
- IHP publications
- Information behavior
- Logic