ספרו של פרופ' עופר שטרייכמן תורגם לסינית

פרופ’ עופר שטרייכמן, חוקר בפקולטה למדעי הנתונים וההחלטות בתחום של לוגיקה ואופטימיזציה, הוציא ספר
“Decision Procedures – An Algorithmic Point of View”, בשנת 2008 (מהדורה ראשונה) ו 2017 (מהדורה שנייה) אשר משמש מאז ברחבי העולם ללימוד קורסים מתקדמים ולמחקר בתחום. לאור הצלחתו הרבה (הספר נמכר יותר מכל ספר אחר של הוצאת Springer בסדרת ספרי התיאוריה בעשור האחרון), לאחרונה תורגם הספר גם לשפה הסינית.
הספר נחשב לאחד מהמקורות המוסמכים בתחום, וכאמור משמש סטודנטים וחוקרים באוניברסיטאות מובילות ברחבי העולם. התרגום לסינית מהווה אבן דרך משמעותית נוספת בהשפעה הבינלאומית של המחקר והידע שצמחו כאן.
ברכות חמות לפרופ’ שטרייכמן על ההישג המרשים וההכרה הגלובלית!