תוצאות החיפוש
מילות מפתח בחיפוש | |
---|---|
השתמשו במילות מפתח לשיפור החיפוש. | |
מירכאות ( | )חיפוש מחרוזת מדויקת |
חיפוש שני הביטויים | |
חיפוש אחד מהביטויים | |
מינוס ( | )מינוס בתחילת מחרוזת החיפוש, או אחרי רווח, צמוד לביטוי שאחריו, מציין "בלי". לדוגמה, איינשטיין -אלברט (או -אלברט איינשטיין) ימצא דפים שמכילים "איינשטיין" ואינם מכילים "אלברט". |
כוכבית ( | )בסוף מילה להרחבת חיפוש (wildcard) |
טילדה ( | )בתחילת החיפוש כדי לחפש במקום להגיע לערך בשם זה. בסוף מילת חיפוש לחיפוש מילים בעלות איות קרוב. |
לחיפוש בדפים שכותרתם מכילה מחרוזת מסוימת | |
לחיפוש בדפים שכותרתם נפתחת במחרוזת מסוימת (הקידומת יכולה להכיל גם מרחב שם) | |
לחיפוש בקוד הערכים (חיפוש הכולל קוד ויקי) | |
להגבלת החיפוש לדפים בקטגוריה | |
להגבלת החיפוש לדפים בקטגוריה ובתת-קטגוריות שלה, עד עומק 5 (מוגבל לכ-250 קטגוריות) | |
להגבלת החיפוש על ערכים המכילים תבנית מסוימת | |
הגבלת החיפוש לדפים המקשרים לדף מסוים | |
חיפוש בערכים ששייכים לאחד הנושאים המפורטים כאן | |
ניתן להשתמש ב-AND, OR, ומינוס יחד עם ביטויים. לדוגמה, החיפוש
ימצא את כל הדפים שמכילים את התיבה "אלברט איינשטיין" (שימו לב למירכאות), ואינם מקשרים לערך אלברט איינשטיין.
|
למידע נוסף על אפשרויות חיפוש ראו ויקיפדיה:ניווט.
יצירת הדף "עקביות+(לוגיקה)" באתר הוויקי הזה. ר' גם את הדפים שנמצאו בחיפוש.
של גדל קובע שלא ניתן להוכיח את העקביות של תורה אריתמטית אפקטיבית (שהיא עקבית), במסגרת התורה עצמה. תורה (לוגיקה מתמטית) עקביות, באתר MathWorld (באנגלית)... |
האם התכוונתם ל... עקביות (לוגיקה) של מערכת לוגית־מתמטית עקביות (פסיכולוגיה) של התנהגות האדם קוהרנטיות (בלשנות) של טקסט... |
לוֹגִיקָה (מיוונית: λογική; בעברית: תּוֹרַת הַהִגָּיוֹן) היא שם כולל לתורות הבוחנות קשרי היסק בין טענות תוך התבססות על אקסיומות. הלוגיקה מנתחת צורה של... |
של גלים. קוהרנטיות (בלשנות) – מונח בבלשנות שמתאר טקסט בנוי היטב. עקביות (לוגיקה) (גם: קונסיסטנטיות) — מונח בלוגיקה ובמתמטיקה המתאר מערכת נטולת סתירות.... |
טוען שלא ניתן להוכיח את העקביות של תורה (אפקטיבית וחזקה מספיק) במסגרת האקסיומות של התורה עצמה. לפעמים אפשר להוכיח את העקביות של מערכת על ידי בניית מודל... |
שלמות (הפניה מהדף שלמות (לוגיקה מתמטית)) שלמות (באנגלית: Completeness) בלוגיקה ובלוגיקה מתמטית היא תכונה של מערכת אקסיומטית. מערכת נתונה של אקסיומות וכללי היסק היא שלמה אם אפשר להכריע בה לגבי... |
לוגיקה אפיסטמית היא תת-תחום של לוגיקה מודלית שמתמקדת בניתוח פורמלי של ידיעה. בעוד שאפיסטמולוגיה לוקחת חלק מרכזי בהיסטוריה של הפילוסופיה המערבית עוד מיוון... |
בלוגיקה מתמטית, תורה היא מערכת הכוללת שפה מסדר ראשון וקבוצה של אקסיומות. כל פסוק שאין לו משתנים חופשיים יכול לשמש כאקסיומה. כמו לשפה מסדר ראשון, לתורה... |
שלמות (לוגית) (קטגוריה לוגיקה מתמטית) להוסיף לה משפט בלתי ניתן להוכחה מבלי להכניס חוסר עקביות. לוגיקה פרופוזיציונית פונקציונלית של אמת ולוגיקת פרדיקט מסדר ראשון הן שלמות מבחינה סמנטית, אך אינן... |
אקסיומה (קטגוריה לוגיקה מתמטית) (αξιωμα), ופירושה המקורי הוא "עיקרון מובן מאליו", שאינו מצריך הוכחה. במתמטיקה ובלוגיקה, אקסיומה היא הנחה בסיסית (או "נקודת מוצא") במערכת לוגית מסוימת, אליה מתייחסים... |
בלוגיקה מתמטית, מודל של תורה הוא מבנה המתאים לשפה, שבו מתקיימות כל האקסיומות. לעניין זה, המבנה כולל קבוצה, עם השׂמות מתאימות לקבועים, לפונקציות וליחסים... |
בלוגיקה מתמטית, כפייה (באנגלית: Forcing) היא טכניקה רבת עוצמה, המאפשרת לבנות מודלים של תורת הקבוצות שבהם מתקיימות טענות שונות, שלאו דווקא נובעות ממערכת... |
כמת (הפניה מהדף כמת (לוגיקה)) בלוגיקה, כַּמָּת הוא סמל המציין את התחולה של המשתנה הצמוד לו. שני הכמתים העיקריים הם: לכל (נקרא גם כמת כולל), מסומן ב- ∀ {\displaystyle \forall } קיים... |
האקדמי באוניברסיטאות בישראל. במסגרת האוניברסיטה הפתוחה הוביל את פיתוח הקורס "לוגיקה מתימטית". כיהן כיו"ר ועדת המקצוע מתמטיקה של משרד החינוך. A. Levy: A hierarchy... |
משפטי האי-שלמות של גדל (קטגוריה משפטים בלוגיקה) את העקביות של עצמה. משמעות הדבר היא שאין אפשרות להוכיח בתוך המערכת כי האקסיומות הן עקביות. מזה נובע שלעולם לא נוכל להיות בטוחים לחלוטין שהמערכת עקבית ולא... |
שהרן שלח (קטגוריה זוכי פרס רולף שוק ללוגיקה ולפילוסופיה) הקבוצות המקובלת. פיתח את תאוריית PCF ואת המושג של Proper Forcing והוכיח עקביות של אקסיומות כפייה שונות. שלח הוא חתן פרס ארדש (1977), פרס פוליה (1992),... |
בהיגיון (לוגיקה) ככלי למתן תשובות לשאלות פילוסופיות ותאולוגיות, בניגוד לשיטת הלמידה המונסטית, שהסתמכה בעיקר על הכתוב בכתבי־יד עתיקים, ללא דגש על עקביות לוגית... |
שהוא חשב שהוא חלק מקובל של הלוגיקה. אך בבנייה של פרגה הייתה טעות פטאלית. ברטראנד ראסל גילה כי החוק הבסיסי החמישי אינו עקבי (זהו הפרדוקס של ראסל). פרגה... |
היסק (הפניה מהדף הסקה (לוגיקה מתמטית)) ההיגיון, היסק (באנגלית: Inference) הוא טיעון שמסקנתו נובעת מן הנחותיו. בלוגיקה של אריסטו, שהייתה מקובלת במשך אלפי שנים ועד המאה התשע-עשרה, ישנם רק היסקים... |
משפט הקומפקטיות (קטגוריה משפטים בלוגיקה) הקומפקטיות הוא משפט מרכזי בלוגיקה מתמטית, המאפשר לטפל במערכות אינסופיות של אקסיומות על ידי הבנת חלקים סופיים שלהן. כמשפטים רבים אחרים מלוגיקה, קיימות למשפט זה... |