תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
- ...ית''' היא ענף של [[מתמטיקה חישובית]] העוסק ב[[אלגוריתם|אלגוריתמים]] לפתרון בעיות הנובעות מ[[תורת החבורות]]. ...ראו [[תכונת מרקוב]] ו[[בעיות דן]]). עם זאת, יש שיטות (שאינן מבטיחות עצירה) לחישוב האינדקס של תת-חבורה בחבורה נתונה: ראו [[אלגוריתם טוד-קוקסטר]] ו[[אלגוריתם ק ...2 ק"ב (87 מילים) - 15:08, 16 ביוני 2020
- ...ת עשויות להיות מכל [[מחלקת סיבוכיות]], וניתן להשתמש אף בבעיות שאינן ניתנות לחישוב כלל, כגון [[בעיית העצירה]]. ...עיים לעצמם, ניתן להגדיר את [[דרגות טיורינג]] ואת יחס הסדר החלקי של "ניתנות לחישוב". ניתן ליצור את אותה ההגדרה גם על [[שפה (מדעי המחשב)|שפות]]. כמו כן, ניתן ל ...6 ק"ב (279 מילים) - 05:47, 29 בינואר 2025
- ...זקה יותר: אף תכונה לא-טריוויאלית של ה[[פונקציה]] שאלגוריתם מחשב אינה ניתנת לחישוב. משפט זה ידוע בשם [[משפט רייס]]. למעשה, האפשרות להוכיח ישירות את המשפט על ב ...רח יש פונקציות שאי אפשר לחשב. אומנם יש לשים לב שבין הפונקציות שאינן ניתנות לחישוב נמצאות פונקציות ש"אינן מעניינות", כיוון שלא ניתן לספק להן תיאור סופי). ...9 ק"ב (213 מילים) - 04:40, 9 בספטמבר 2024
- '''שיטת מונטה קרלו''' היא שיטה לפתרון בעיות חישוביות באמצעות [[מספרים אקראיים]] (בניגוד ל[[אלגוריתם דטרמיניסטי|אלגוריתמ ...פיזיקליות או מתמטיות מורכבות. השימוש העיקרי בהם הוא כדי לפתור בעיות שאינן ניתנות לפתרון מתמטי מדויק, או כדי לחסוך בכוח [[חישוב (מדעי המחשב)|חישוב]]. ...7 ק"ב (41 מילים) - 08:25, 18 במרץ 2025
- ...ן להשתמש בסיבוכיות קולמוגורוב כדי לבנות טענות ש[[עצמאות (לוגיקה מתמטית)|לא ניתנות להוכחה או הפרכה]] במסגרת [[תורה (לוגיקה מתמטית)|תורה]] מסוימת. דוגמה לתוצאה ...ת כזו. פונקציה זו תסומן ב-<sub>0</sub><math>D</math>. עבור כל פונקציה אחרת לחישוב <math>D</math>, עבור כל האובייקטים <math>X</math>, יש תיאור של <math>x</mat ...11 ק"ב (200 מילים) - 16:14, 9 ביוני 2024
- [[קטגוריה:בעיות שאינן ניתנות לחישוב]] ...7 ק"ב (221 מילים) - 09:06, 26 ביולי 2024
- ...ש[[בעיית העצירה]] ל[[מכונת טיורינג|מכונות טיורינג]] אינה [[חישוביות|ניתנת לחישוב]]. (ב-[[1944]] העיר פוסט שלבעיה העשירית צריך להיות פתרון שלילי). ...הילברט סותר את השערתו של דייוויס, מכיוון שיש קבוצות ניתנות למנייה חישובית שאינן חישוביות.]] ...16 ק"ב (263 מילים) - 21:48, 30 בינואר 2024
- [[קטגוריה:בעיות שאינן ניתנות לחישוב]] ...7 ק"ב (50 מילים) - 11:24, 1 ביולי 2024
- .... שתי הפונקציות האלו, <math>S(n)</math> ו-<math>\ \Sigma (n) </math>, אינן ניתנות ל[[פונקציה רקורסיבית|חישוב רקורסיבי]], כי ניתן להכריע באמצעותן את [[בעיית ה ...[מחשב]] מסוגל לבצע. על פי [[תזת צ'רץ'-טיורינג]], כל [[אלגוריתם]] סביר ניתן לחישוב בידי מכונה מתאימה. נשים לב, שמכונת טיורינג יכולה גם לא לעצור. לדוגמה, במכונ ...22 ק"ב (607 מילים) - 20:35, 31 בינואר 2025
- ...תמטיקה]], שהכריז על פרס בסך מיליון דולר שיוענק למי שיפתור את הבעיה{{הערה|7 בעיות המילניום, [http://www.claymath.org/millennium-problems/ אתר מכון קליי למתמט בעיות רבות במדעי המחשב ניתנות לניסוח באמצעות שאלות כן או לא - האם אובייקט מסוים מקיים תכונה כלשהי. לדוגמה ...35 ק"ב (663 מילים) - 01:43, 2 באוגוסט 2024
- [[קטגוריה:בעיות שאינן ניתנות לחישוב]] ...13 ק"ב (343 מילים) - 17:55, 6 בפברואר 2024
- ...ות]]. לפעולות היוצרות סימטריות קוראים [[איזומטריה|איזומטריות]]. פעולות אלו ניתנות להגדרה על ידי פונקציה הפועלת על כל הנקודות במישור תוך שמירת [[מרחק]] כך שהמ ===בעיות החלטה ואריחי ואנג=== ...33 ק"ב (502 מילים) - 19:53, 9 בפברואר 2025
- ==== בעיות הכרעה ==== ...מקודדים על ידי מספר טבעי שנמצא ב-<math>A</math>. במילים אחרות, את קבוצת כל בעיות ההכרעה ניתן לזהות עם קבוצת כל התת-קבוצות של הטבעיים, <math>\mathcal{P}(\mat ...58 ק"ב (2,396 מילים) - 02:37, 1 באוגוסט 2024
- ...השערה זו מבוססות שיטות הצפנה רבות כגון [[RSA]]. עם זאת, מבין הבעיות שאינן ניתנות לפתרון יעיל, בעיית הפירוק לגורמים נחשבת ל"קלה באופן יחסי". בפרט סבורים שהיא ...\not\equiv\pm1416\!\!\!\!\pmod{\!2041}</math>, נשתמש ב[[אלגוריתם אוקלידס]] לחישוב <math>\gcd\bigl\{2041,1416-311\bigr\}</math> ונמצא כי <math>2041=13\cdot157 ...23 ק"ב (444 מילים) - 01:28, 1 באוגוסט 2024
- ...ם סקאלות על צד אחד בלבד. סמן נע בעל שנתת מיקום אנכית משמש כדי למצוא נקודות שאינן סמוכות אך הן בעלות זיקה הדדית על הסקאלות. במודלים מסוג duplex הסמן מוצא נקו ...חישוביים. ההשקה של שפת [[פורטרן]] בשנת 1957 הפכה את המחשב לכלי מעשי לפתרון בעיות מתמטיות. ...38 ק"ב (880 מילים) - 05:53, 4 בספטמבר 2023
- ...יה)|מישור]] והשתמש בה במסגרת [[גאומטריה אנליטית|הגאומטריה האנליטית]] לתקוף בעיות של [[גאומטריה אוקלידית|הגאומטריה הקלאסית]]. על מנת לציין [[נקודה (גאומטריה) ...כות משוואות]] ב-[[1693]]. לאחר מכן, ב-[[1750]], פיתח [[גבריאל קרמר]] נוסחה לחישוב פתרון של מערכת משוואות, הנקרא כיום [[כלל קרמר]]. מאוחר יותר, השתמש המתמטיקא ...85 ק"ב (2,097 מילים) - 23:23, 24 בפברואר 2025
- ...ולגנוב מידע סודי ביותר. לפי הפרסומים הם לא פרצו את מערכות האבטחה של החברה שאינן מביישות אף ארגון ממשלתי, במקום זאת הם פשוט השתמשו במפתחות הצפנה שנגנבו ממעב ...הוכח גם שגרסאות מתקדמות יותר של האלגוריתם FEAL-N וכן FEAL-NX שפותחו עקב כך ניתנות לשבירה (עד 31 סבבים) בפחות מהזמן הדרוש לכוח גס. ובכך הקיץ הקץ על האלגוריתם{ ...37 ק"ב (294 מילים) - 11:05, 22 בנובמבר 2024
- האיבר האחרון באגף ימין - <math>u_0^2</math> - נכנס כבר "ממילא" לחישוב המשקל במקרה הנייח (כלומר הוא מקזז חלק ממשקל העצם כבר כשהוא במנוחה), ולפיכך ...פוטנציאל צנטריפוגלי ואי ביצוע עבודה על ידי כוח קוריוליס, עשויים לפשט מאוד בעיות הקשורות בתיאור התנועה (משוואת המסלול) של עצם לו מהירות התחלתית במערכת הייחו ...63 ק"ב (1,079 מילים) - 16:19, 17 במרץ 2025
- ...ויות. על [[פפירוס רינד]] ממצרים המתוארך ל-1550 לפנה"ס כתובות עשרות דוגמאות לחישוב שברים. שיטת הספירה המצרית הייתה על [[השיטה העשרונית|בסיס 10]] שנשארה עד ההו ...תחום חשיבה ולימוד בפני עצמו. עד אז ההתקדמות בידע המתמטי נבעה מהצורך לפתור בעיות חישוביות מעשיות, כדוגמת חלוקה של שדות או חישוב זווית הדפנות של תעלה שנבנית. ...140 ק"ב (1,549 מילים) - 20:30, 19 במרץ 2025
- ...ההתקדמות המשמעותית הראשונה בנושא בניות בסרגל ובמחוגה זה למעלה מ-2,000 שנה: בעיות בנייה העסיקו מתמטיקאים עוד מימי [[יוון העתיקה]], והייתה להן חשיבות רבה בהתפ ...השראה למתמטיקאים במשך דורות רבים אחרי פרסומו. כך, למשל, ניתוחו של גאוס את בעיות הבנייה בסרגל ומחוגה הכיל חלק מהאלמנטים הרעיוניים של [[תורת גלואה]], וספר זה ...275 ק"ב (6,942 מילים) - 22:59, 22 בפברואר 2025