-
לוגיקת זמן
כל מה שרצית לדעת על לוגיקת זמן:לוגיקת זמן, או לוגיקה טמפורלית (באנגלית: Temporal Logic) היא הרחבה של הלוגיקה הקלאסית המאפשרת ביטויים הקשורים בזמן. לוגיקת זמן היא חלק מהלוגיקה המודלית. לוגיקת זמן מאפשרת לנו לעסוק בקו זמן, ועל כן מאפשרת לנו לנסח מתמטית משפטים כמו "אני תמיד רעב", "לבסוף אהיה רעב", או "אהיה רעב עד שאוכל…
-
ארנסט שרדר
כל מה שרצית לדעת על ארנסט שרדר:ארנסט שרדר (Ernst Schröder; 25 בנובמבר 1841 מנהיים, באדן – 16 ביוני 1902 קארלסרוהה, גרמניה) היה מתמטיקאי גרמני הידוע בעיקר עקב עבודתו בלוגיקה אלגברית. הוא דמות ראשית בהיסטוריה של הלוגיקה המתמטית (ביטוי שאולי הוא המציא), על ידי תמצות והרחבה של העבודות של ג'ורג' בול, אוגוסטוס דה מורגן, יו מק'קול…
-
ריגורוזיות
כל מה שרצית לדעת על ריגורוזיות:ריגורוזיות (מלטינית: Rigor) היא תואר לדבר שמבוצע באופן קפדני, מדוקדק, מדויק ומבוסס לוגית. המונח נמצא בשימוש בעיקר בתחום המתמטיקה. כיום, ריגורוזיות היא הסטנדרט המקובל וההכרחי לעבודה מתמטית על מנת שתהיה קבילה ומבוססת. שימוש זה נפוץ בייחוד להגדרות והוכחות והוא משמש כתואר חיובי: ניסוח ריגורוזי הוא ניסוח קפדני ומדוקדק. הוכחה ריגורוזית…
-
תורת ההיגיון
כל מה שרצית לדעת על תורת ההיגיון:תורת ההיגיון או בלעז, לוגיקה (מיוונית: λογική), זו תורה הבוחנת קשרי היסק בין טענות. היא מנתחת צורה של טענות, ועל סמך ניתוח זה מציעה כללים שבעזרתם ניתן לקשר טענות זו לזו ומכאן להסיק מסקנות. הלוגיקה מבחינה בין טיעונים שיש בהם היסק תקף, כלומר כאלו שבהם המעבר מההנחות למסקנה הוא…