כניסה עם גוגל
כניסה עם פייסבוק
The emergence of life : being a treatise on mathematical philosophy and symbolic logic by which a new theory of space and time is evolved / by John Butler Burke.
John Butler Burke
ספרבחרו את שפת העמוד:
שפה נוכחית
במרכז הספר, ביחידות 6-2, נכללים הפרקים הבסיסיים בלוגיקה מתמטית: השפות הלוגיות העיקריות, המבנים בשפה ("העולמות האפשריים"), הפירוש הפורמלי במבנה של מה שנאמר בשפה, מושג ההוכחה, ומשפט השלמות הקובע שניתן להוכיח בדיוק את כל מה שנכון בכל המבנים. יחידה 6 כוללת גם הצצה ראשונה ל"תורת המודלים", העוסקת בקבוצות של אקסיומות ובמשפחת המבנים שבהם קבוצת אקסיומות כזאת מתקיימת. יחידה 1 ייחודית לספר זה. מוצגות בה שפות פורמליות שונות, בכללן שפות תכנות, ומתבררים בה ההבדלים בינן לבין שפות טבעיות, חשיבותן ודרך הטיפול בהן. מבין הנושאים שמעבר לפרקים הבסיסיים בלוגיקה מתמטית, נבחרו נושאים בעלי זיקה למדעי המחשב: יחידה 8 עוסקת במבנים שלכל העצמים בהם יש שמות בשפה. הדוגמה החשובה כאן היא בסיסי נתונים יחסיים. יחידה 9 מרחיבה את הדיון לשפות נוספות, והדוגמה הנוגעת בעיקר למדעי המחשב היא הלוגיקה הטמפולרית. המלאכה לא הייתה יכולה להיות שלמה בלי הכותרת של הלוגיקה המתמטית: "משפט האי-שלמות", שיש לנסחו בצורה מדוייקת אך בניסוח אינטואיטיבי הוא קובע: "אי-אפשר להוכיח את כל מה שנכון". ביחידה 7 ניתנת הוכחה למשפט חשוב זה. ההוכחה מפותלת וארוכה, אך פשוטה יותר ממה שמוצאים בדרך כלל בספרים.
| כותר |
לוגיקה למדעי המחשב / יורם הירשפלד עורכת - יהודית גוגנהיימר. |
|---|---|
| כותרים נוספים |
Logic for computer science / Prof. Yoram Hirshfeld. |
| מקום קשור |
Ra'anana (Israel)-place of publication |
| יוצרים נוספים |
גוגנהיימר, יהודית (עורך) האוניברסיטה הפתוחה (גוף מנפיק) |
| מוציא לאור |
רעננה : האוניברסיטה הפתוחה |
| שנה |
תשע"ה 2015 |
| הערות |
"20466". |
| הערת תוכן ותקציר |
כרך א. יחידות 5-1. 289 עמודים. כרך ב. יחידות 9-6. 256 עמודים. |
| היקף החומר |
2 כרכים (כרך א-ב) 27 ס"מ. |
| שפה |
עברית |
| מספר מערכת |
990038067170205171 |
| קישורים |
תמונה קדמית (גרסה מוקטנת) תמונה אחורית תמונה קדמית |
תנאי השימוש:
איסור העתקה
יתכן שאסור להעתיק את הפריט ולהשתמש בו עבור פרסום, הפצה, ביצוע פומבי, שידור, העמדה לרשות הציבור באינטרנט או באמצעים אחרים, עשיית יצירה נגזרת של הפריט (למשל, תרגום, שינוי היצירה או עיבודה), בכל צורה ואמצעי, לרבות אלקטרוני או מכני, ללא הסכמה מראש מבעל זכות היוצרים ומבעל האוסף.
לבירור אפשרות שימוש בפריט, יש למלא טופס בקשה לבירור זכויות יוצרים
מידע נוסף: הפריט עשוי להיות כפוף לזכויות יוצרים ו/או לתנאי הסכם.
אם לדעתך נפלה טעות בנתונים המוצגים לעיל או שקיים חשש להפרת זכות יוצרים בפריט, אנא פנה/י אלינו באמצעות טופס בקשה לבירור זכויות יוצרים
תצוגת MARC
יודעים עוד על הפריט? זיהיתם טעות?
