Sign in with Google
Sign in with Facebook
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
BookLanguage:
שפה נוכחית
במרכז הספר, ביחידות 6-2, נכללים הפרקים הבסיסיים בלוגיקה מתמטית: השפות הלוגיות העיקריות, המבנים בשפה ("העולמות האפשריים"), הפירוש הפורמלי במבנה של מה שנאמר בשפה, מושג ההוכחה, ומשפט השלמות הקובע שניתן להוכיח בדיוק את כל מה שנכון בכל המבנים. יחידה 6 כוללת גם הצצה ראשונה ל"תורת המודלים", העוסקת בקבוצות של אקסיומות ובמשפחת המבנים שבהם קבוצת אקסיומות כזאת מתקיימת. יחידה 1 ייחודית לספר זה. מוצגות בה שפות פורמליות שונות, בכללן שפות תכנות, ומתבררים בה ההבדלים בינן לבין שפות טבעיות, חשיבותן ודרך הטיפול בהן. מבין הנושאים שמעבר לפרקים הבסיסיים בלוגיקה מתמטית, נבחרו נושאים בעלי זיקה למדעי המחשב: יחידה 8 עוסקת במבנים שלכל העצמים בהם יש שמות בשפה. הדוגמה החשובה כאן היא בסיסי נתונים יחסיים. יחידה 9 מרחיבה את הדיון לשפות נוספות, והדוגמה הנוגעת בעיקר למדעי המחשב היא הלוגיקה הטמפולרית. המלאכה לא הייתה יכולה להיות שלמה בלי הכותרת של הלוגיקה המתמטית: "משפט האי-שלמות", שיש לנסחו בצורה מדוייקת אך בניסוח אינטואיטיבי הוא קובע: "אי-אפשר להוכיח את כל מה שנכון". ביחידה 7 ניתנת הוכחה למשפט חשוב זה. ההוכחה מפותלת וארוכה, אך פשוטה יותר ממה שמוצאים בדרך כלל בספרים.
| Title |
לוגיקה למדעי המחשב / יורם הירשפלד עורכת - יהודית גוגנהיימר. |
|---|---|
| Additional Titles |
Logic for computer science / Prof. Yoram Hirshfeld. |
| Related place |
Ra'anana (Israel)-place of publication |
| Contributors |
גוגנהיימר, יהודית (עורך) האוניברסיטה הפתוחה (גוף מנפיק) |
| Publisher |
רעננה : האוניברסיטה הפתוחה |
| Creation Date |
תשע"ה 2015 |
| Notes |
"20466". |
| Content |
כרך א. יחידות 5-1. 289 עמודים. כרך ב. יחידות 9-6. 256 עמודים. |
| Extent |
2 כרכים (כרך א-ב) 27 ס"מ. |
| Language |
Hebrew |
| National Library system number |
990038067170205171 |
| Links |
תמונה קדמית (גרסה מוקטנת) תמונה אחורית תמונה קדמית |
תנאי השימוש:
Prohibition of copying
It may be prohibited to copy and use of the item for purposes of reproduction, publication, distribution, public performance, broadcasting, dissemination via the internet or by any other means, and creating a derivative work of the item (for example, translation, modification or adaptation) in any form or by any means, including digital or analog media, without prior agreement of the copyright owner and/or the owner of the collection.
To check the use of an item, please complete the Inquiry for Copyright form.
Additional information: The item may be subject to copyright and/or terms of agreement.
If you believe that there is an error in the information above, or in case of any concern of copyright infringement in connection with this item, contact us using the Inquiry for Copyright form.
MARC RECORDS
Have more information? Found a mistake?
