לוגיקה למדעי המחשב

מחבר: הירשפלד, יורםעורך: גוגנהיימר, יהודיתגוף מנפיק: האוניברסיטה הפתוחה

תקציר:
במרכז הספר, ביחידות 6-2, נכללים הפרקים הבסיסיים בלוגיקה מתמטית: השפות הלוגיות העיקריות, המבנים בשפה ("העולמות האפשריים"), הפירוש הפורמלי במבנה של מה שנאמר בשפה, מושג ההוכחה, ומשפט השלמות הקובע שניתן להוכיח בדיוק את כל מה שנכון בכל המבנים. יחידה 6 כוללת גם הצצה ראשונה ל"תורת המודלים", העוסקת בקבוצות של אקסיומות ובמשפחת המבנים שבהם קבוצת אקסיומות כזאת מתקיימת. יחידה 1 ייחודית לספר זה. מוצגות בה שפות פורמליות שונות, בכללן שפות תכנות, ומתבררים בה ההבדלים בינן לבין שפות טבעיות, חשיבותן ודרך הטיפול בהן. מבין הנושאים שמעבר לפרקים הבסיסיים בלוגיקה מתמטית, נבחרו נושאים בעלי זיקה למדעי המחשב: יחידה 8 עוסקת במבנים שלכל העצמים בהם יש שמות בשפה. הדוגמה החשובה כאן היא בסיסי נתונים יחסיים. יחידה 9 מרחיבה את הדיון לשפות נוספות, והדוגמה הנוגעת בעיקר למדעי המחשב היא הלוגיקה הטמפולרית. המלאכה לא הייתה יכולה להיות שלמה בלי הכותרת של הלוגיקה המתמטית: "משפט האי-שלמות", שיש לנסחו בצורה מדוייקת אך בניסוח אינטואיטיבי הוא קובע: "אי-אפשר להוכיח את כל מה שנכון". ביחידה 7 ניתנת הוכחה למשפט חשוב זה. ההוכחה מפותלת וארוכה, אך פשוטה יותר ממה שמוצאים בדרך כלל בספרים.

כמות הזמנות לכותר: 0
יש להעריך כי מספר ימי ההמתנה המשוער יהיה כמות ההזמנות כפול מספר ימי השאלה עבור כל עותק.

עותקים

מספר	מיקום	מס' מיון	סימן מדף	כרך
112359	חדר עיון	‭511.3‬	היר	כר' א
112360	חדר עיון	‭511.3‬	היר	כר' ב

מחבר	מחבר: הירשפלד, יורםעורך: גוגנהיימר, יהודיתגוף מנפיק: האוניברסיטה הפתוחה
שם כותר	לוגיקה למדעי המחשב
מס' מיון	511.3
סימן מדף	היר
משפט‏ ‏אחריות	יורם הירשפלד ; עורכת - יהודית גוגנהיימר
מדיה	ספרים
סוג	ספר עיון
קהל יעד	מבוגרים
עמודים	2 כרכים
גובה	27 ס"מ
מו''ל/ים	האוניברסיטה הפתוחה
זמן הוצאה	2015
זמן הוצאה(עברי)	תשע"ה
מקום הוצאה	רעננה
מסת''ב	9789650614690 (כרך א).
מה''ד	15-2086
שפה	עברית
תאריך קיטלוג	30/5/2019
תארנים	לוגיקה ; מחשבים ;
הערות	‬התוכן: כרך א - יחידות 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 : לוגיקות אחרות -- תשובות לשאלות.

לשימושים נוספים