|
|
ספר לא משהו
2 |
|
תקציר הספר
לוגיקה – תורת הפסוקים: קשרים, טבלאות אמת, טאוטולוגיות, קבוצות קשרים מינימליות. שפת תחשיב הפסוקים וכללי התחביר. מערכות היסק. הוכחות פורמליות. מודל. חוסר סתירה, אי-תלות, שלמות. מושגים מתורת הפרדיקטים: מושג הכמת, פרדיקטים, תבניות. שפת תחשיב הפרדיקטים. אינטרפרטציות והשמות. תורת ההיסק בתחשיב הפרדיקטים
פרסומת
קוראים עכשיו
|
התחילה לקרוא לפני שנה ו-5 חודשים
|
לקט ספרים מאת אברהם גינזבורג
| שם הספר |
|---|
| מתמטיקה דיסקרטית - 4 קומבינטוריקה - מתמטיקה דיסקרטית #4 |
| חישוביות ומבוא לסיבוכיות מופשטת : מדריך למידה |
| גיאומטריה אנליטית |
לצפיה ברשימה המלאה, עבור לדף הסופר של אברהם גינזבורג
©2006-2023 לה"ו בחזקת חברת סימניה - המלצות ספרים אישיות בע"מ
צור קשר |
חנויות ספרים |
ספרים משומשים |
מחפש בנרות |
ספרים שכתבתי |
תנאי שימוש |
פרסם בסימניה |
מפת האתר |
מדף גדול מדף קטן |
חיפוש ספרים