תגית: לוגיקה תלמודית

שיטות ייצוג ידע ושיטות היסק במחשבת חז"ל ודמיונן לשיטות מקבילות בבינה מלאכותית

יעקב הכהן-קרנר בד"ד 13 | בר אילן | תשסג

קריאת המאמר

'גלגל החוזר' – פרדוכסים הלכתיים ופתרונם

שמחה במעונו | תשעו

קריאת המאמר

חפיפת הניגודים במשנת ההלכה של הרמב"ם

אברהם ויזל בד"ד 18 | בר אילן | תשסז

קריאת המאמר

פרדוקסים ופשרם בהגיונה של הלכה

קופל רבינוביץ בד"ד 11 | בר אילן | תשס

קריאת המאמר

מודל לוגי לייצוג סוגיית החליל בשבת ויום טוב

אברהם ליפשיץ בד"ד 20 | בר אילן | תשסח

קריאת המאמר

חשיבה ותלמוד

דניאל רביב בד"ד 29 | אוניברסיטת בר אילן | תשעה

קריאת המאמר

תורה וטריז – עיון בחשיבת חז"ל בראי שיטת "טריז"

חגי זילברברג, יהודה סטופניקר בד"ד 28 | אוניברסיטת בר אילן | תשעד

קריאת המאמר

פרס ברכפלד

מאיר ברכפלד הגיון ד | הוצאת אלומה | תשנח

קריאת המאמר

טבלת סיכום למאמר תורה שבע"פ למהר"ץ חיות

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

קריאת המאמר

משה בבית מדרשו של רבי עקיבא: על תורת מסיני ותורת המספרים

משה קופל הגיון ב | אלומה | תשן

קריאת המאמר

הפשטה מתמטית של הקל וחומר – ע"פ ספר הליכות עולם

מאיר ברכפלד הגיון ב | אלומה | תשן

קריאת המאמר

הקל וחומר כסילוגיזם – מודל אריתמטי

הרב מיכאל אברהם הגיון ב | אלומה | תשן

קריאת המאמר

הגיון עברי יחודי על פי משנת הרב הנזיר

דב שוורץ הגיון ב | אלומה | תשן

קריאת המאמר