מבוא לתכנות מערכות - Webcourse

‫הטכניון – מכון טכנולוגי לישראל‬
‫הפקולטה למדעי המחשב‬
‫לוגיקה למדעי המחשב ‪2‬‬
‫סמסטר אביב ‪2015-2016‬‬
‫תרגיל בית מספר ‪2‬‬
‫‪.1‬‬
‫יהי ‪ M‬מודל לא סטנדרטי נורמלי בן מניה של ‪ .FA‬תאר‪/‬י את הסדר ‪ >M‬על ‪.DM‬‬
‫‪ .2‬הוכח‪/‬י כי פונקציות הבאות ניתנות להצגה בצורה חזקה‪:‬‬
‫א‪ .‬פונקצית החיבור‬
‫ב‪ .‬פונקצית הכפל‬