كوكيز (cookies)

يستخدم موقع المكتبة الوطنية ملفات تعريف (cookies)لتحسين تجربة التصفح الخاصة بك. إن تصفحك للموقع يمثل موافقة على استخدام ملفات تعريف (cookies). لمزيد من المعلومات، يرجى الاطلاع على سياسة الخصوصية

العودة إلى نتائج البحث

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

لتكبير النص لتصغير النص

במרכז הספר, ביחידות 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 RECORDS

أتعرفون المزيد عن هذا العنصر؟ وجدتم خطأ ما؟