02017     2200169   450024501110000026000690011130000270018010000290020710000370023610000410027304100080031408200160032202000310033801600120036952100190038150014470040010aלוגיקה למדעי המחשבcיורם הירשפלד ; עורכת - יהודית גוגנהיימר  aרעננהbהאוניברסיטה הפתוחהc2015, תשע"ה  a2 כרכיםc27 ס"מ  aהירשפלד, יורם  aגוגנהיימר, יהודית  aהאוניברסיטה  הפתוחה  aheb  a‭511.3‬  a9789650614690 (כרך א).  a15-2086  aמבוגרים  a‬התוכן: כרך א - יחידות 5-1: יחידה 1 : לוגיקה ושפה פורמלית -- יחידה 2 : לוגיקה פסוקית: התחביר -- יחידה 3 : לוגיקה פסוקית: הפירוש (סמנטיקה) -- יחידה 4 : לוגיקה פסוקית: תורת ההוכחה -- יחידה 5 : שפת היחסים: תחביר ופירוש -- תשובות לשאלות. ‬ כרך ב - יחידות 9-6: יחידה 6 : תחשיב, משפט שלמות ומבוא לתורת המודלים -- יחידה 7 : המספרים הטבעיים N ולוגיקת היחסים -- יחידה 8 : מבנים שתחומם שמות בשפה -- יחידה 9 : לוגיקות אחרות -- תשובות לשאלות.  
 ‬התוכן: כרך א - יחידות 5-1: יחידה 1 : לוגיקה ושפה פורמלית -- יחידה 2 : לוגיקה פסוקית: התחביר -- יחידה 3 : לוגיקה פסוקית: הפירוש (סמנטיקה) -- יחידה 4 : לוגיקה פסוקית: תורת ההוכחה -- יחידה 5 : שפת היחסים: תחביר ופירוש -- תשובות לשאלות. ‬ כרך ב - יחידות 9-6: יחידה 6 : תחשיב, משפט שלמות ומבוא לתורת המודלים -- יחידה 7 : המספרים הטבעיים N ולוגיקת היחסים -- יחידה 8 : מבנים שתחומם שמות בשפה -- יחידה 9 : לוגיקות אחרות -- תשובות לשאלות.