Abstract

לוגיקה מאפשרת לנו לנסח, לבדוק ולהסיק טענות באופן פורמאלי. פרופ' אורנה קופרמן מציגה את הלוגיקה העתית שבאמצעותה אפשר לתאר רצף אירועים, ושנהגתה על ידי פילוסופים לפני מאות שנים. היום היא משמשת לתיאור התנהגויות של מערכות מחשב הנמצאות באינטראקציה עם סביבתן. פרופ' אמיר פנואלי מוזכר בעקבות הצעתו להשתמש בלוגיקה עתית כדי לנסח ולבדוק באופן פורמלי מפרטים של מערכות מחשב. (מתוך המאמר)
Original languageHebrew
Pages (from-to)32-37
Number of pages6
Journalגליליאו: כתב עת למדע ומחשבה
Volume163
StatePublished - 2012

IHP publications

  • ihp
  • Information behavior
  • Logic

Cite this