תוצאות החיפוש

נוסחה בתחשיב היחסים זקוקה ל[[סמנטיקה#סמנטיקה בלוגיקה|סמנטיקה]] על מנת להיקבע כנכונה או לא. ...

==סמנטיקה של עולמות אפשריים עבור לוגיקה מודלית== ...ויחס בינארי של "נגישות" בין עולמות אלו. בהתעלם מיחס הנגישות, שיוסבר להלן, סמנטיקה של עולמות אפשריים מפרשת את הטענה על מה שאפשרי כטענה על מצב עניינים ב"עולם" ...

אקסיומה זו אינה תלויה בפשר [[סמנטיקה|סמנטי]] מסוים למושגים המודאליים "אפשרי" ו"הכרחי". עם זאת, ההצדקה של הנחת הי ...

...ledge and Belief, הספר הראשון בנושא שהציע להשתמש במודאליות כדי להבין את ה[[סמנטיקה]] של (טענות אודות) ידיעה. ספרו של הינטיקה הביא להמשך של מחקר מעמיק בנושא עד ===סמנטיקה=== ...

==סמנטיקה של תחשיב הפרדיקטים== ...

הקושי הוא, אם כן, לעבור לגרסה התחבירית הזו; הכלי שמאפשר לקשר בין סמנטיקה לתחביר הוא משפט השלמות של גדל, לפיו "עקביות" ו"קיום מודל" הם היינו-הך. מרגע ...

...שהפך להגדרה וטכניקת ההוכחה הסטנדרטית לבטיחות סוגים בשפות המוגדרות על ידי [[סמנטיקה תפעולית]],<ref name="Wright and Felleisen 1994">{{Cite journal|last=Wright| * [[שגיאה לוגית|שגיאות לוגיות]] שמקורן ב[[סמנטיקה]] מסוגים שונים. לדוגמה, אינץ' ומילימטרים עשויים להיות מאוחסנים כמספרים שלמי ...

ב[[סמנטיקה]] נהוג להבדיל בין הסמל השפתי ה[[מסמן]] לבין המושג או התוכן ה[[מסומן]] בו, א ...אחר על כדור הארץ. מדע ה[[סמיוטיקה]] חוקר סמלים ומערכות סמלים באופן כללי; [[סמנטיקה]] עוסקת במשמעותן העיקרית של מילים. ...

...'' ב[[נוסחה|נוסחאות]]. השפה עצמה היא כלי '''צורני''' (סינטקטי), ללא תוכן [[סמנטיקה|סמנטי]]. כאשר מוסיפים לשפה '''[[אקסיומה|אקסיומות]]''' מתקבלת [[תורה (לוגיקה ...

...ו של כל זה, ישנו קשר מרומז חזק בין שאלות [[אפיסטמולוגיה|אפיסטמולוגיות]] ו[[סמנטיקה|סמנטיות]]. קשר זה ממשיך הלאה אל עבודתו של קוויין ב"שתי דוגמות לאמפיריציזם". ...ם בביטוי "פרה חומה". אך האם זו אכן תוצאה בלתי נמנעת של הקבלה של ההוליזם של סמנטיקה של תפקידי היסק? כדי לראות מדוע אין זה המצב, נניח את הקיום של יחס של הסקה <m ...

...ללים לגזירה של משפט אחד ממשנהו, ובין ה[[סמנטיקה#סמנטיקה כענף בפילוסופיה|'''סמנטיקה''']] (semantics) שלה, הקובעת את ערכי האמת של המשפטים שניתן ליצור באמצעות הש ====סמנטיקה לתחשיב הפסוקים==== ...

2. [[סמנטיקה]] - ...

...הצפנה של <math>m_0</math> או <math>m_1</math> מבלי לראות את המפתח. המילה [[סמנטיקה|סמנטי]] מקורה מהגדרה היסטורית של ה[[הצפנה]] בה הוצפנו מילים ואותיות. ...

...גיים]]. ערך האמת של הפסוקים האטומיים יכול להיקבע על ידי המשמעות (הפירוש ה[[סמנטיקה|סמנטי]]) שאנו נותנים לאותיות הפסוקיות. לדוגמה, אם נרשום: ...

...המחשב ניתן להתייחס כ[[מסמן]] המשמש כ"נשא" של מידע פוטנציאלי, אשר התוכן ה[[סמנטיקה|סמנטי]] שלו יכול להתחיל ולהתעורר רק עם הופעתו של מפרש כלשהו{{הערה|שם=פרשנות ...

=== סמנטיקה === ...

* ב[[מדעי המחשב]], פתרון יעיל ל[[בעיית הסוכן הנוסע]] ולבעיות [[סמנטיקה|תחביר סמנטיות]]. ...

...שלהיגדים תאורטיים יכולים להיות ערכי אמת ושקר במסגרת הקונבנציה, וינסה לפתח סמנטיקה מתאימה, ואילו האינסטרומנטליסט ידחה זאת.{{הערה|1=בן מנחם (1989), 57-58.}} ...

...יצה. בחלק זה נכללים מגבלות [[אבטחת מידע]], [[אבטחת שירות]], [[ביצועים]], [[סמנטיקה]], מאפיינים טרנזקציונליים וכיוצא בזה. ...

*'''סמנטיקה''' (חקר המשמעות) – ילדים מבינים את המשמעות של מילים באמצעות תהליכי השוואה ל ...