בתשובה להקשה המקשה, 26/09/04 19:24
יוחזר פופק. למה אין כבר פופק? אולי איזו אלה מרוקנית 249193
דורון יערי • בתשובה להקשה המקשה יום ב', 27/9/2004, 9:47
עכשיו אני קורא מאמר על לוגיקה טמפורלית הסתברותית ומאמר על שימוש בלוגיקה טמפורלית בוריפיקציה של אוביקטי סינכרון.

בגדול אני מקוה לעשות משהו שקשור לוריפיקציה או בדיקת מודלים ושהוא יהיה גם קצת מעשי.
יוחזר פופק. למה אין כבר פופק? אולי איזו אלה מרוקנית 249217
הקשה המקשה • בתשובה לדורון יערי יום ב', 27/9/2004, 11:54
נתקלתי לאחרונה בכמה בעיות שיכולות לשמש כנושאים לתזות, אבל אף אחת מהן לא מתקרבת לתחום שציינת.
יוחזר פופק. למה אין כבר פופק? אולי איזו אלה מרוקנית 249233
דורון יערי • בתשובה להקשה המקשה יום ב', 27/9/2004, 13:29
למה הן קשורות? (אם אפשר בדואל כדי שלא נפריע לטלה יותר מידי).
יוחזר פופק. למה אין כבר פופק? אולי איזו אלה מרוקנית 249342
טלה בר • בתשובה לדורון יערי יום ג', 28/9/2004, 7:34
למה? אני נהנית להציץ למחשבותיהם של אחרים גם כשאני לא מתערבת.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות