גישה מהירה יותר מאשר בדפדפן!
31 יחסים: NP-קשה, מספר ראשוני, מספר שלם, מספר טבעי, מספור גדל, משפט קנטור, משפט רייס, מתמטיקה, מדעי המחשב, אם ורק אם, אלן טיורינג, אלף אפס, סדר גודל, עוצמת הרצף, עוצמה (מתמטיקה), קלט, קבוצת חזקה, קבוצה בת מנייה, שפת מכונה, שפת תכנות, שפה פורמלית, תורת הסיבוכיות, תורת החישוביות, תוכנית מחשב, בסיס בינארי, בעיה פתוחה במתמטיקה, בעיית העצירה, גורם ראשוני, הבעיה העשירית של הילברט, כמעט כל (מתמטיקה), 1936.
NP-קשה
#הפניה NP-קשיות.
חָדָשׁ!!: בעיית הכרעה וNP-קשה · ראה עוד »
מספר ראשוני
בתורת המספרים, מספר ראשוני הוא מספר טבעי גדול מ-1, שלא ניתן להציגו כמכפלה של שני מספרים טבעיים קטנים ממנו, כלומר הוא מתחלק רק ב-1 ובעצמו.
חָדָשׁ!!: בעיית הכרעה ומספר ראשוני · ראה עוד »
מספר שלם
דיאגרמת ון של מערכות מספרים ידועות, המספרים השלמים מסומנים בכתום מספר שלם הוא מספר ללא מרכיב של שבר.
חָדָשׁ!!: בעיית הכרעה ומספר שלם · ראה עוד »
מספר טבעי
במתמטיקה מספר טבעי הוא מספר שלם חיובי, המתאר מספר איברים בקבוצה סופית, כמו 1,2,3 או כמו 72.
חָדָשׁ!!: בעיית הכרעה ומספר טבעי · ראה עוד »
מספור גדל
#הפניה קידוד גדל.
חָדָשׁ!!: בעיית הכרעה ומספור גדל · ראה עוד »
משפט קנטור
גאורג קנטור משפט קנטור הוא משפט מתמטי בתורת הקבוצות, הקובע שהעוצמה של כל קבוצה קטנה מהעוצמה של קבוצת החזקה שלה.
חָדָשׁ!!: בעיית הכרעה ומשפט קנטור · ראה עוד »
משפט רייס
משפט רייס (מאנגלית: Rice's theorem), הוא משפט מרכזי בתחום החישוביות, שעוסק ביכולת של אלגוריתמים לחקור אלגוריתמים אחרים.
חָדָשׁ!!: בעיית הכרעה ומשפט רייס · ראה עוד »
מתמטיקה
שיעור באלגברה ליניארית באוניברסיטת הלסינקי ילדות פותרות תרגיל במתמטיקה מָתֵמָטִיקָה היא תחום דעת העוסק במושגים כגון כמות, מבנה, מרחב ושינוי.
חָדָשׁ!!: בעיית הכרעה ומתמטיקה · ראה עוד »
מדעי המחשב
מדְעי המחשב הם ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב.
חָדָשׁ!!: בעיית הכרעה ומדעי המחשב · ראה עוד »
אם ורק אם
אם ורק אם (ראשי תיבות: אמ"ם) או "אימוּם" (בלשון חז"ל: תנאי כפול, וסימונו בלוגיקה פורמלית: \Leftrightarrow, \leftrightarrow או ≡) בתחום הלוגיקה המתמטית הוא קַשָּׁר לוגי בין שתי טענות השקולות זו לזו במובן שכל אחת אמיתית כשהשנייה אמיתית, אך אם אחת אינה אמיתית גם השנייה שגויה.
חָדָשׁ!!: בעיית הכרעה ואם ורק אם · ראה עוד »
אלן טיורינג
אלן מת'יסון טיורינג (באנגלית: Alan Mathison Turing; 23 ביוני 1912 – 7 ביוני 1954) היה מתמטיקאי בריטי, ממניחי היסודות למדעי המחשב.
חָדָשׁ!!: בעיית הכרעה ואלן טיורינג · ראה עוד »
אלף אפס
\!\, \aleph_0 (אָלֶף אֶפֶס) הוא הסימון המקובל בתורת הקבוצות לעוצמה של קבוצת המספרים הטבעיים, שהיא העוצמה האינסופית הקטנה ביותר.
חָדָשׁ!!: בעיית הכרעה ואלף אפס · ראה עוד »
סדר גודל
סדרי גודל ביקום סֵדֶר גּוֹדֶל הוא החלוקה של קנה מידה או גודל של כל כמות, כאשר כל חלוקה מכילה ערכים שיש ביניהם יחס קבוע.
חָדָשׁ!!: בעיית הכרעה וסדר גודל · ראה עוד »
עוצמת הרצף
עוצמת הרצף היא העוצמה של קבוצת המספרים הממשיים, קרי |\mathbb R|.
חָדָשׁ!!: בעיית הכרעה ועוצמת הרצף · ראה עוד »
עוצמה (מתמטיקה)
המונח המתמטי עוצמה, מספר קרדינלי או מספר מונה מתאר גודל של קבוצה שאינו תלוי בתכונות האיברים בקבוצה או בקשרים ביניהם.
חָדָשׁ!!: בעיית הכרעה ועוצמה (מתמטיקה) · ראה עוד »
קלט
בתחום המחשוב והאוטומציה, קלט הוא כלל הנתונים המגיעים אל המחשב או אל מכשיר אוטומטי אחר, מן העולם שמחוצה לו.
חָדָשׁ!!: בעיית הכרעה וקלט · ראה עוד »
קבוצת חזקה
#הפניה קבוצת החזקה.
חָדָשׁ!!: בעיית הכרעה וקבוצת חזקה · ראה עוד »
קבוצה בת מנייה
בתורת הקבוצות, קבוצה בַּת מְנִיָּה היא קבוצה שקיימת פונקציה חד־חד ערכית ממנה לקבוצת המספרים הטבעיים.
חָדָשׁ!!: בעיית הכרעה וקבוצה בת מנייה · ראה עוד »
שפת מכונה
שפת מכונה היא אוסף של הוראות המובן בצורה ישירה (ללא כל תרגום) על ידי המעבד של המחשב, ומבוצע על ידיו בעת פעולת המחשב.
חָדָשׁ!!: בעיית הכרעה ושפת מכונה · ראה עוד »
שפת תכנות
המונח שפת תכנות אוגד בתוכו מספר שפות מחשב שהן תמיד לוגיות, ומשמשות לבניית תוכנה.
חָדָשׁ!!: בעיית הכרעה ושפת תכנות · ראה עוד »
שפה פורמלית
במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית \Sigma.
חָדָשׁ!!: בעיית הכרעה ושפה פורמלית · ראה עוד »
תורת הסיבוכיות
תורת הסיבוכיות היא ענף של מדעי המחשב, שבמסגרתו חוקרים את הסיבוכיות של בעיות; כלומר, נבחנים המשאבים הנחוצים לפתרון בעיה נתונה באמצעות מחשב, ומושווית יעילותם של אלגוריתמים שונים בפתרון בעיה זו.
חָדָשׁ!!: בעיית הכרעה ותורת הסיבוכיות · ראה עוד »
תורת החישוביות
#הפניה חישוביות.
חָדָשׁ!!: בעיית הכרעה ותורת החישוביות · ראה עוד »
תוכנית מחשב
תוכנית מחשב היא רצף של הוראות בשפת תכנות כלשהי, שנועדו לבצע משימה מסוימת במחשב.
חָדָשׁ!!: בעיית הכרעה ותוכנית מחשב · ראה עוד »
בסיס בינארי
מערכת ספירה על בסיס בינארי מייצגת ערכים מספריים באמצעות שני סמלים, בדרך כלל 0 ו-1. במתמטיקה ובמדעי המחשב מערכת ספירה על בָּסִיס בִּינָארִי, או מערכת ספירה על בסיס 2 (על פי הצעת האקדמיה ללשון העברית: בָּסִיס שְׁנִיּוֹנִי), מייצגת ערכים מספריים באמצעות שני סמלים, בדרך כלל 0 ו-1.
חָדָשׁ!!: בעיית הכרעה ובסיס בינארי · ראה עוד »
בעיה פתוחה במתמטיקה
#הפניה בעיה פתוחה.
חָדָשׁ!!: בעיית הכרעה ובעיה פתוחה במתמטיקה · ראה עוד »
בעיית העצירה
בעיית העצירה היא בעיה מרכזית בתחום החישוביות, שהוא אחד מעמודי התווך של מדעי המחשב התאורטיים.
חָדָשׁ!!: בעיית הכרעה ובעיית העצירה · ראה עוד »
גורם ראשוני
#הפניה מספר ראשוני.
חָדָשׁ!!: בעיית הכרעה וגורם ראשוני · ראה עוד »
הבעיה העשירית של הילברט
הבעיה העשירית היא אחת מעשרים ושלוש הבעיות שהציג דויד הילברט בקונגרס המתמטי של שנת 1900.
חָדָשׁ!!: בעיית הכרעה והבעיה העשירית של הילברט · ראה עוד »
כמעט כל (מתמטיקה)
במתמטיקה, משתמשים לעיתים בביטוי כמעט כל במשמעות מדויקת, שפירושה "הכל, פרט אולי לקבוצה זניחה".
חָדָשׁ!!: בעיית הכרעה וכמעט כל (מתמטיקה) · ראה עוד »
1936
אין תיאור.
חָדָשׁ!!: בעיית הכרעה ו1936 · ראה עוד »
מפנה מחדש כאן:
אזכור
[1] https://he.wikipedia.org/wiki/בעיית_הכרעה
