תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
כותרות דפים תואמות
- * [[שפה]] – אמצעי תקשורת כללי להעברת מידע ** [[שפה טבעית]] – [[פונטיקה]], [[פונולוגיה]] – ערכים המתרכזים בשפה האנושית ...2 ק"ב (6 מילים) - 23:40, 18 באפריל 2024
- ...חי=שפה של מתמטיקה, לוגיקה ומדעי המחשב|אחר=צורה סטנדרטית של שפת דיבור|ראו=[[שפה תקנית]], [[משלב]]}} ב[[מתמטיקה]], [[לוגיקה]] ו[[מדעי המחשב]], '''שפה פורמלית''' היא [[קבוצה (מתמטיקה)|קבוצה]] כלשהי של רצפים סופיים של סימנים (א ...7 ק"ב (50 מילים) - 11:24, 1 ביולי 2024
- '''תנאי שפה''' (או '''תנאי גבול''') הם נתונים שמאפשרים הפיכת פתרון כללי של [[משוואה דיפ ==סוגים של תנאי שפה== ...9 ק"ב (158 מילים) - 13:38, 9 בספטמבר 2024
- ...'''שפה דלילה''' היא [[שפה פורמלית|שפה]] שמכילה "קצת" מילים. באופן פורמלי: שפה L תיקרא דלילה אם קיים פולינום <math>p(*)</math> כך שעבור כל <math>n \in N</ שפה דלילה נקראת כך היות שיש סך הכל 2<sup>''n''</sup> מחרוזות באורך n, ואם שפה מכילה רק מספר פולינומי מהן, אז היחס של מספר המחרוזות באורך n שהיא מכילה שוא ...5 ק"ב (308 מילים) - 13:39, 26 ביוני 2018
- ...' היא [[שפה פורמלית | שפה]] שמכילה רק מילים מהצורה <math>1^n</math>, כלומר שפה L תיקרא אונארית אם <math>x \in L \ \Rightarrow x=1^k</math>, כאשר 1 יכול לה ...וזות שמייצגות את המספרים <math>2^m-1</math> הראשוניים מעל א"ב של {0,1} היא שפה אונארית. ...1 ק"ב (35 מילים) - 09:36, 10 בינואר 2025
- ...ל הרצפים הסופיים מעל ה[[אלפבית (שפה פורמלית)|אלפבית]] של השפה. באופן שקול, שפה רשמית היא רקורסיבית אם קיימת מכונת טיורינג טוטאלית ([[מכונת טיורינג]] העוצר ...פות כריעות ב[[מכונת טיורינג לא-דטרמיניסטית]]. לכן, בכל פעם שיש אי-בהירות, "שפה רקורסיבית" בעלת משמעות זהה לשפה הניתנת להכרעה על ידי מכונת טיורינג. ...3 ק"ב (74 מילים) - 13:53, 26 בינואר 2025
- בתורת ה[[שפה פורמלית|שפות הפורמליות]], '''שפה רגולרית''' היא [[שפה פורמלית]] '''שאפשר''' לתאר על ידי [[אוטומט סופי]], האמור לקבוע לגבי מילה נת ...ath>A</math> מקבל, (בסימנים, <math>L = L \left( A \right)</math>) נקרא "'''שפה רגולרית'''". ...9 ק"ב (126 מילים) - 20:40, 3 בדצמבר 2024
- ...צאה=1999|ISBN=9780262133609}}</ref> הדוגמאות המוכרות ביותר של שימוש במודלי שפה הן "השלמה אוטומטית", המציעה את המילה או המילים הכי סבירות להשלמת טקסט שהוקל מודלי שפה משמשים עבור מגוון בעיות ב[[בלשנות חישובית]]; [[מערכת זיהוי דיבור|זיהוי דיבו ...20 ק"ב (1,399 מילים) - 09:05, 13 בפברואר 2025
- ...ובין ה[[חוץ (טופולוגיה)|חוץ]] שלה. עבור צורות ב[[מישור (גאומטריה)|מישור]], שפה של קבוצה היא קו המתאר (קונטור) החיצוני שלה. למשל: השפה של עיגול היא ה[[מעגל באופן יותר מדויק, שפה היא קבוצת הנקודות של קבוצה שאפשר להתקרב אליהן כרצוננו הן מתוך הקבוצה והן מת ...5 ק"ב (187 מילים) - 05:59, 4 במרץ 2023
- ...י רגרסייה. השיטה נקראת על שם ה[[סטטיסטיקאי]] [[ארצות הברית|האמריקני]] הנרי שפה (Henry Scheffé). שיטת שפה להשוואות מרובות מבוססת על הפעלת תיקון להשוואות בפעם אחת, המופעלת על קבוצת ה ...4 ק"ב (215 מילים) - 09:30, 9 בדצמבר 2024
- ב[[לוגיקה מתמטית]], '''שפה מסדר ראשון''' (נקראת גם '''לוגיקה מסדר ראשון''' או '''תחשיב היחסים''' או '' שפה מסדר ראשון היא הכללה של [[תחשיב הפסוקים]]; כלומר, בעוד שתחשיב הפסוקים מטפל ...10 ק"ב (311 מילים) - 21:21, 2 בספטמבר 2024
- ...כ}}(Bidirectional Encoder Representations from Transformers''') הוא [[מודל שפה]] שהוצג באוקטובר 2018 על ידי חוקרים ב-[[Google Workspace|Google]].<ref>{{Ci ...ל[[מודל שפה גדול]]. נכון ל-2020, BERT משמש כבסיס נפוץ בניסויים בתחום עיבוד שפה טבעית (NLP).<ref name=":4">{{Cite journal|last=Rogers|first=Anna|last2=Kova ...31 ק"ב (1,610 מילים) - 13:54, 3 בפברואר 2025
- ...דוקים תלויי-הקשר|דקדוק תלוי הקשר]] המגדיר אותה; כלומר, שפה '''''L''''' היא שפה תלוית הקשר אם קיים [[דקדוק תלוי הקשר]] '''''G''''' כך ש-'''''L''''' היא אוס מבחינה פורמלית נהוג להגדיר שפה תלוית הקשר כשפה שנוצרת על ידי דקדוק תלוי הקשר (דקדוק מטיפוס 3 ב[[ההיררכיה ש ...2 ק"ב (22 מילים) - 11:57, 31 בדצמבר 2022
- ...] אשר קיים [[דקדוק חסר הקשר]] המגדיר אותה; כלומר, שפה <math>\ L</math> היא שפה חופשית הקשר אם קיים דקדוק חסר הקשר <math>\ G</math> כך ש-<math>\ L</math> ה ...שר סגורה תחת פעולות של איחוד ושרשור שפות, אך לא תחת חיתוך והפרש (להבדיל מ[[שפה רגולרית|השפות הרגולריות]]). ...5 ק"ב (138 מילים) - 15:08, 27 בפברואר 2023
- [[שפה פורמלית|בשפות פורמליות]], '''אלפבית''' היא [[קבוצה (מתמטיקה)|קבוצה]] לא ריק אם ''L'' היא שפה פורמלית, כלומר קבוצה (אולי אינסופית) של מחרוזות באורך סופי, '''האלפבית של ' ...6 ק"ב (210 מילים) - 11:36, 26 בינואר 2025
דפים עם תוכן תואם
- '''[[אוטומט מחסנית]]''' המקבל את ה[[שפה חופשית הקשר|שפה חופשית ההקשר]] <math>\{0^n1^n \mid n \ge 0\}</math> ...284 בתים (22 מילים) - 10:50, 31 ביולי 2009
- * [[שפה]] – אמצעי תקשורת כללי להעברת מידע ** [[שפה טבעית]] – [[פונטיקה]], [[פונולוגיה]] – ערכים המתרכזים בשפה האנושית ...2 ק"ב (6 מילים) - 23:40, 18 באפריל 2024
- ...' היא [[שפה פורמלית | שפה]] שמכילה רק מילים מהצורה <math>1^n</math>, כלומר שפה L תיקרא אונארית אם <math>x \in L \ \Rightarrow x=1^k</math>, כאשר 1 יכול לה ...וזות שמייצגות את המספרים <math>2^m-1</math> הראשוניים מעל א"ב של {0,1} היא שפה אונארית. ...1 ק"ב (35 מילים) - 09:36, 10 בינואר 2025
- ...דוקים תלויי-הקשר|דקדוק תלוי הקשר]] המגדיר אותה; כלומר, שפה '''''L''''' היא שפה תלוית הקשר אם קיים [[דקדוק תלוי הקשר]] '''''G''''' כך ש-'''''L''''' היא אוס מבחינה פורמלית נהוג להגדיר שפה תלוית הקשר כשפה שנוצרת על ידי דקדוק תלוי הקשר (דקדוק מטיפוס 3 ב[[ההיררכיה ש ...2 ק"ב (22 מילים) - 11:57, 31 בדצמבר 2022
- ...ל הרצפים הסופיים מעל ה[[אלפבית (שפה פורמלית)|אלפבית]] של השפה. באופן שקול, שפה רשמית היא רקורסיבית אם קיימת מכונת טיורינג טוטאלית ([[מכונת טיורינג]] העוצר ...פות כריעות ב[[מכונת טיורינג לא-דטרמיניסטית]]. לכן, בכל פעם שיש אי-בהירות, "שפה רקורסיבית" בעלת משמעות זהה לשפה הניתנת להכרעה על ידי מכונת טיורינג. ...3 ק"ב (74 מילים) - 13:53, 26 בינואר 2025
- ...] אשר קיים [[דקדוק חסר הקשר]] המגדיר אותה; כלומר, שפה <math>\ L</math> היא שפה חופשית הקשר אם קיים דקדוק חסר הקשר <math>\ G</math> כך ש-<math>\ L</math> ה ...שר סגורה תחת פעולות של איחוד ושרשור שפות, אך לא תחת חיתוך והפרש (להבדיל מ[[שפה רגולרית|השפות הרגולריות]]). ...5 ק"ב (138 מילים) - 15:08, 27 בפברואר 2023
- בהינתן [[שפה (לוגיקה)|שפה]] <math>\mathcal L</math>, '''נוסחה אטומית''' בשפה היא הפעלת אחד מבין סימני תהי <math>\mathcal L </math> שפה. אם <math> r_1 \in \mathcal{R} </math> סימן יחס <math> k </math> מקומי, כאש ...2 ק"ב (62 מילים) - 06:59, 4 ביולי 2021
- ב[[שפה פורמלית|שפות פורמליות]] '''דקדוק רגולרי''' הוא [[דקדוק]] המתאר [[שפה רגולרית]]. ישנם שני סוגים של דקדוקים רגולריים: דקדוק ליניארי ימני ודקדוק לי * [[שפה רגולרית]] ...2 ק"ב (47 מילים) - 03:11, 1 ביוני 2021
- ...י]] (המהווה הכללה לנגזרת חלקית), וב[[טופולוגיה]], לסימון [[שפה (טופולוגיה)|שפה]] של קבוצה. ...560.tripod.com/calculus.html Earliest Uses of Symbols of|תאריך=5 במרץ 2010|שפה=אנגלית}} ...2 ק"ב (49 מילים) - 16:44, 24 באפריל 2024
- בהינתן [[שפה (לוגיקה)|שפה]] <math> \mathcal L </math>, '''נוסחה''' בשפה היא הפעלת אחד מבין סימני היחס תהי <math>\mathcal L </math> שפה. ...2 ק"ב (57 מילים) - 02:03, 4 בספטמבר 2024
- ...] של [[מודל (לוגיקה מתמטית)|מודל]], המוגדרת על ידי נוסחה ב[[שפה מסדר ראשון|שפה]] של המודל. כלומר, זוהי קבוצה מהצורה <math>\ \{x: \varphi(x)\}</math>. ...1 ק"ב (30 מילים) - 02:40, 26 בנובמבר 2021
- ...אך מחרוזת עצה מאורך [[פונקציה מעריכית|אקספוננציאלי]] גוררת מידית הכרעה של שפה אפשרית. ...בעיות [[כריעות|לא כריעות]], מכיוון שמחרוזת עצה באורך 1 מספיקה כדי להכריע [[שפה אונארית]], ולכן הרבה פעמים <math>P/f(n)</math> נחשבת למחלקה לא מציאותית, אם ...2 ק"ב (30 מילים) - 13:33, 21 במרץ 2021
- * {{קישור שפה|אנגלית|Einstein group|חבורת איינשטיין (פיזיקה)}} – חבורת הטרנספורמציות ההפי ...559 בתים (11 מילים) - 14:37, 27 בפברואר 2025
- ...'''שפה דלילה''' היא [[שפה פורמלית|שפה]] שמכילה "קצת" מילים. באופן פורמלי: שפה L תיקרא דלילה אם קיים פולינום <math>p(*)</math> כך שעבור כל <math>n \in N</ שפה דלילה נקראת כך היות שיש סך הכל 2<sup>''n''</sup> מחרוזות באורך n, ואם שפה מכילה רק מספר פולינומי מהן, אז היחס של מספר המחרוזות באורך n שהיא מכילה שוא ...5 ק"ב (308 מילים) - 13:39, 26 ביוני 2018
- [[קובץ:מישור תומך.jpg|ממוזער|קבוצה קמורה Ω (בצהוב) וישר תומך שמכיל נקודת שפה (<math>x</math>) ומפריד את המישור לשני חלקים (תכלת ואדום בהיר).]] ...תמיכה''' טוען שבהינתן קבוצה [[קבוצה קמורה|קמורה]] ונקודת [[שפה (טופולוגיה)|שפה]], ניתן להעביר [[על-מישור|היפר-מישור]] שיחלק את המרחב לשני חלקים כאשר הקבוצ ...5 ק"ב (300 מילים) - 03:58, 30 בספטמבר 2024
- ...יקה מתמטית)|תורה]] הוא [[מבנה (לוגיקה מתמטית)|מבנה]] המתאים ל[[שפה פורמלית|שפה]], שבו מתקיימות כל ה[[אקסיומה|אקסיומות]]. לעניין זה, המבנה כולל [[קבוצה (מת ...2 ק"ב (41 מילים) - 18:27, 9 בספטמבר 2024
- ...חי=שפה של מתמטיקה, לוגיקה ומדעי המחשב|אחר=צורה סטנדרטית של שפת דיבור|ראו=[[שפה תקנית]], [[משלב]]}} ב[[מתמטיקה]], [[לוגיקה]] ו[[מדעי המחשב]], '''שפה פורמלית''' היא [[קבוצה (מתמטיקה)|קבוצה]] כלשהי של רצפים סופיים של סימנים (א ...7 ק"ב (50 מילים) - 11:24, 1 ביולי 2024
- ב[[שפה מסדר ראשון]] ב[[לוגיקה מתמטית]], '''הומומורפיזם''' היא העתקה בין [[מבנה (לו בהינתן שפה <math>L</math>, ומבנים לוגיים <math>A,B</math>, ההעתקה <math>H</math> מ-<ma ...1 ק"ב (115 מילים) - 09:31, 27 במאי 2020
- ...פת ציר"), הנקראת לפעמים גם '''שפת גשר''', היא שפה [[שפה טבעית|טבעית]] או [[שפה מתוכננת|מלאכותית]] המשמשת כשפת ביניים לתרגום בין שפות רבות ושונות. ...ajstro.com/ Majstro.com] . [[שפת רשת אוניברסלית|שפת הרשת האוניברסלית]] היא שפה מלאכותית שתוכננה במיוחד לשימוש כשפת פיבוט. ...4 ק"ב (93 מילים) - 11:33, 3 באפריל 2024
- ...כותרת=18.3: The Brownian Bridge|אתר=Statistics LibreTexts|תאריך=2020-05-05|שפה=en|תאריך_וידוא=2024-05-28}}</ref> ...irical process|3=תהליך אמפירי|4=התהליכים האמפיריים}}. הוא משמש גם ב{{קישור שפה|2=Kolmogorov–Smirnov test|3=מבחן קולמוגורוב-סמירנוב}} בתחום ה[[הסקה סטטיסטי ...3 ק"ב (196 מילים) - 13:45, 8 בינואר 2025