סֵמֶל
יוניונפדיה
תִקשׁוֹרֶת
 Google Play כעת ב-
חָדָשׁ! הורד יוניונפדיה במכשיר אנדרואיד שלך!
חופשי
גישה מהירה יותר מאשר בדפדפן!
 

הוכחה באפס ידיעה

מַדָד הוכחה באפס ידיעה

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

90 יחסים: NP (מחלקת סיבוכיות), NP-שלמה, מאמר מדעי, מספר אקראי, מספר פריק, מספר ריבועי, מספר שלם, מערכת הוכחה אינטראקטיבית, מפתח ציבורי, מרווח ביטחון, משפט השאריות הסיני, משל, מתמטיקאי, מתמטיקה, מטבע דיגיטלי, מחרוזת (מדעי המחשב), מדעי המחשב, מכון ויצמן למדע, מילת קסם, מיכאל רבין, אמת (פילוסופיה), אקראיות, אבי ויגדרזון, אוניברסיטת תל אביב, אוניברסיטת טורונטו, אימות זהות, אימות זהויות, אינטראקטיביות, אינטואיציה, איפה אפי?, נאותות, ספק סביר, סבירות, סיסמה, סילביו מיקאלי, סיבית, עמוס פיאט, ערוץ תקשורת, עדי שמיר, עוגה, עודד גולדרייך, פנקס חד פעמי, פסוק שקר, פרס גדל, פרטיות, פרוטוקול פייגה-פיאט-שמיר, פונקציה חד-כיוונית, פירוק לגורמים של מספר שלם, צבע, צד שלישי, ..., צומת (תורת הגרפים), ציתות, קריפטוגרפיה, קשת (תורת הגרפים), שארית ריבועית, שפי גולדווסר, שרת (מחשבים), שרת-לקוח, שורש ריבועי, שידור, תמורה (מתמטיקה), תאוריה, תורת הגרפים, תורת ההסתברות, טענה, זמן פולינומי, זהות (מתמטיקה), חשבון מודולרי, חתימה דיגיטלית, חישוב (מדעי המחשב), בעיה NP שלמה, בעיה מתמטית, בעיית לוגריתם דיסקרטי, גרף (תורת הגרפים), גרף n-צביע, גדול מספיק, גורם ראשוני, המכון הטכנולוגי של מסצ'וסטס, האוניברסיטה העברית בירושלים, הנחה (לוגיקה), הסתברות, התפלגות, הטלת מטבע, הוכחה, כפל, יעילות אלגוריתמית, ילדות, 0 (מספר), 1985, 1986. להרחיב מדד (40 יותר) »

NP (מחלקת סיבוכיות)

במדעי המחשב, NP היא מחלקת סיבוכיות חשובה, שמכילה בעיות הנקראות "בעיות הכרעה", המוגדרות על ידי השאלה: בהינתן קלט, האם הוא מקיים תכונה נתונה? (דוגמה: הקלט יכול להיות מספר טבעי, והתכונה: המספר הוא זוגי, או ראשוני).

חָדָשׁ!!: הוכחה באפס ידיעה וNP (מחלקת סיבוכיות) · ראה עוד »

NP-שלמה

#הפניה NP (מחלקת סיבוכיות)#בעיות NP-קשות (NP-Hard) ובעיות NP-שלמות (NPC).

חָדָשׁ!!: הוכחה באפס ידיעה וNP-שלמה · ראה עוד »

מאמר מדעי

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

חָדָשׁ!!: הוכחה באפס ידיעה ומאמר מדעי · ראה עוד »

מספר אקראי

מספר אקראי בתורת ההסתברות הוא מספר "מוגרל" מתוך טווח נתון ולפי התפלגות נתונה.

חָדָשׁ!!: הוכחה באפס ידיעה ומספר אקראי · ראה עוד »

מספר פריק

מספר פָּרִיק הוא מספר שלם חיובי שאפשר לכתוב אותו כמכפלה של שני שלמים גדולים מ-1.

חָדָשׁ!!: הוכחה באפס ידיעה ומספר פריק · ראה עוד »

מספר ריבועי

מספר ריבועי הוא מספר שלם חיובי שיכול להיכתב כריבוע של מספר שלם אחר, כלומר הוא מהצורה \ n^2 כש-n שלם.

חָדָשׁ!!: הוכחה באפס ידיעה ומספר ריבועי · ראה עוד »

מספר שלם

דיאגרמת ון של מערכות מספרים ידועות, המספרים השלמים מסומנים בכתום מספר שלם הוא מספר ללא מרכיב של שבר.

חָדָשׁ!!: הוכחה באפס ידיעה ומספר שלם · ראה עוד »

מערכת הוכחה אינטראקטיבית

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

חָדָשׁ!!: הוכחה באפס ידיעה ומערכת הוכחה אינטראקטיבית · ראה עוד »

מפתח ציבורי

הצפנת מפתח ציבורי (Public key encryption) היא ענף בקריפטוגרפיה הנקרא גם הַצְפָּנָה אָסִימֶטְרִית (Asymmetric encryption), שבו מפתח ההצפנה שונה ממפתח הפענוח.

חָדָשׁ!!: הוכחה באפס ידיעה ומפתח ציבורי · ראה עוד »

מרווח ביטחון

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

חָדָשׁ!!: הוכחה באפס ידיעה ומרווח ביטחון · ראה עוד »

משפט השאריות הסיני

משפט השאריות הסיני הוא שמם של מספר משפטים בתורת המספרים ובתורת החוגים, הקשורים זה לזה.

חָדָשׁ!!: הוכחה באפס ידיעה ומשפט השאריות הסיני · ראה עוד »

משל

משל הוא סיפור אלגורי קצר עם מוסר השכל (דהיינו, שיש לו משמעות מעבר לתוכנו המפורש והגלוי) השייך לסוגת הסיפור העממי יחד עם המעשייה, האגדה, הפתגם והמכתם (Epigram).

חָדָשׁ!!: הוכחה באפס ידיעה ומשל · ראה עוד »

מתמטיקאי

קרל פרידריך גאוס, מגדולי המתמטיקאים בכל הזמנים. פרס אָבֶּל למתמטיקה מתמטיקאי הוא אדם העוסק במתמטיקה.

חָדָשׁ!!: הוכחה באפס ידיעה ומתמטיקאי · ראה עוד »

מתמטיקה

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

חָדָשׁ!!: הוכחה באפס ידיעה ומתמטיקה · ראה עוד »

מטבע דיגיטלי

#הפניה מטבע מבוזר.

חָדָשׁ!!: הוכחה באפס ידיעה ומטבע דיגיטלי · ראה עוד »

מחרוזת (מדעי המחשב)

בתאוריה של שפות פורמליות ובמדעי המחשב, מחרוזת (באנגלית: string) היא רצף של סימנים מתוך אלפבית נתון.

חָדָשׁ!!: הוכחה באפס ידיעה ומחרוזת (מדעי המחשב) · ראה עוד »

מדעי המחשב

מדְעי המחשב הם ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב.

חָדָשׁ!!: הוכחה באפס ידיעה ומדעי המחשב · ראה עוד »

מכון ויצמן למדע

מכון ויצמן למדע הוא מכון מחקר העוסק בתחומי מדעי הטבע והמתמטיקה שנמצא ברחובות שבישראל.

חָדָשׁ!!: הוכחה באפס ידיעה ומכון ויצמן למדע · ראה עוד »

מילת קסם

במוזיאון הלובר במאגיה, מילת קסם היא מילה בעלת יכולת כישוף.

חָדָשׁ!!: הוכחה באפס ידיעה ומילת קסם · ראה עוד »

מיכאל רבין

מיכאל רבין מיכאל עוזר רבין (נולד ב-1 בספטמבר 1931) הוא מתמטיקאי ישראלי בעל תרומה ניכרת למדעי המחשב, חתן פרס טיורינג, פרס ישראל ופרס דן דוד.

חָדָשׁ!!: הוכחה באפס ידיעה ומיכאל רבין · ראה עוד »

אמת (פילוסופיה)

#הפניה אמת.

חָדָשׁ!!: הוכחה באפס ידיעה ואמת (פילוסופיה) · ראה עוד »

אקראיות

אקראיות היא היעדר תכנון בהקשר למאורע נתון.

חָדָשׁ!!: הוכחה באפס ידיעה ואקראיות · ראה עוד »

אבי ויגדרזון

אָבִי וִיגְדֶרְזוֹן (נולד ב-9 בספטמבר 1956) הוא מתמטיקאי ומדען מחשב ישראלי, העוסק בסיבוכיות חישובית.

חָדָשׁ!!: הוכחה באפס ידיעה ואבי ויגדרזון · ראה עוד »

אוניברסיטת תל אביב

אוניברסיטת תל אביב היא אוניברסיטת המחקר הציבורית הגדולה ביותר בישראל.

חָדָשׁ!!: הוכחה באפס ידיעה ואוניברסיטת תל אביב · ראה עוד »

אוניברסיטת טורונטו

בית הארט המרכז לסטודנטים אחד מבנייני האוניברסיטה בקמפוס הראשי אוניברסיטת טורונטו (באנגלית: University of Toronto) היא אוניברסיטה קנדית ציבורית בעיר טורונטו, האוניברסיטה הקנדית הוותיקה והעשירה ביותר, ומהידועות שבהן.

חָדָשׁ!!: הוכחה באפס ידיעה ואוניברסיטת טורונטו · ראה עוד »

אימות זהות

אימות (באנגלית: Authentication) הוא מושג באבטחת מידע וקריפטוגרפיה ומשמעו פעולה שנועדה לאשר תקפות פיסת מידע שישות כלשהי טוענת לאמיתותה.

חָדָשׁ!!: הוכחה באפס ידיעה ואימות זהות · ראה עוד »

אימות זהויות

#הפניה אימות זהות.

חָדָשׁ!!: הוכחה באפס ידיעה ואימות זהויות · ראה עוד »

אינטראקטיביות

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

חָדָשׁ!!: הוכחה באפס ידיעה ואינטראקטיביות · ראה עוד »

אינטואיציה

אִינְטוּאִיצְיָה היא הסקת מסקנות מהירה על סמך מיעוט נתונים באמצעות ניסיון והיסקי עבר.

חָדָשׁ!!: הוכחה באפס ידיעה ואינטואיציה · ראה עוד »

איפה אפי?

אפי איפה אפי? (Where's Wally? בגרסה הבריטית המקורית ו-Where's Waldo? בגרסה האמריקאית) היא סדרה של ספרי ילדים שנוצרה על ידי הצייר הבריטי מרטין הנדפורד.

חָדָשׁ!!: הוכחה באפס ידיעה ואיפה אפי? · ראה עוד »

נאותות

נאותות (באנגלית: Soundness) הוא מונח המציין שתי תכונות לוגיות.

חָדָשׁ!!: הוכחה באפס ידיעה ונאותות · ראה עוד »

ספק סביר

מעבר לספק סביר (באנגלית: Beyond Reasonable Doubt) היא אמת מידה הדרושה להרשעה במשפט פלילי הנהוגה בשיטות משפט רבות, לרבות המשפט המקובל, לפיה נדרש מן התביעה לשכנע את בית המשפט באשמת הנאשם בהסתברות הקרובה לוודאות.

חָדָשׁ!!: הוכחה באפס ידיעה וספק סביר · ראה עוד »

סבירות

סבירות היא הערכה גסה של הסיכוי או הנאותות להתרחשות של אירוע.

חָדָשׁ!!: הוכחה באפס ידיעה וסבירות · ראה עוד »

סיסמה

מסך "כניסה לחשבון" באתר ויקיפדיה העברית, שבו יש להקליד שם משתמש וסיסמה סיסמה (בארמית: סיסמא) היא אות מוסכם המשמש כאמצעי זיהוי לשם בקרת גישה.

חָדָשׁ!!: הוכחה באפס ידיעה וסיסמה · ראה עוד »

סילביו מיקאלי

סילביו מיקאלי (נולד ב-13 באוקטובר 1954) הוא חוקר איטלקי-אמריקאי בתחום מדעי המחשב והקריפטוגרפיה.

חָדָשׁ!!: הוכחה באפס ידיעה וסילביו מיקאלי · ראה עוד »

סיבית

סִבִּית (קיצור של סִפְרָה בִּינָרִית באנגלית bit או בִּיט, מתוך השם "binary digit") היא ספרה בינארית – יחידת הנתונים הקטנה ביותר שבה משתמש המחשב.

חָדָשׁ!!: הוכחה באפס ידיעה וסיבית · ראה עוד »

עמוס פיאט

עמוס פיאט (נולד ב-1 בדצמבר 1956 בחיפה) הוא מדען מחשב ישראלי ופרופסור באוניברסיטת תל אביב.

חָדָשׁ!!: הוכחה באפס ידיעה ועמוס פיאט · ראה עוד »

ערוץ תקשורת

בתקשורת נתונים, ערוץ תקשורת הוא מדיום שנעשה בו שימוש להעברת מידע משולח למקבל על ידי אותות.

חָדָשׁ!!: הוכחה באפס ידיעה וערוץ תקשורת · ראה עוד »

עדי שמיר

עדי שמיר (נולד ב-6 ביולי 1952) הוא פרופסור למדעי המחשב במכון ויצמן העוסק בעיקר בקריפטוגרפיה (תורת ההצפנה) ובסיבוכיות חישובית, חתן פרס טיורינג, פרס ישראל למדעי המחשב לשנת תשס"ח (2008) ופרס יפן.

חָדָשׁ!!: הוכחה באפס ידיעה ועדי שמיר · ראה עוד »

עוגה

Orchard Street בלואר איסט סייד (1933) Brisbane Arcade, קווינסלנד (1938) עוגות בחלון ראווה של מאפייה בלונסטון עוּגה (במלרע) היא מאפה מתוק המוכן בתבנית אישית או גדולה.

חָדָשׁ!!: הוכחה באפס ידיעה ועוגה · ראה עוד »

עודד גולדרייך

עודד גולדרייך (נולד ב-4 בפברואר 1957) הוא מדען מחשב ישראלי, העוסק בעיקר ביסודות התאורטיים של קריפטוגרפיה (תורת ההצפנה) ובתורת הסיבוכיות החישובית.

חָדָשׁ!!: הוכחה באפס ידיעה ועודד גולדרייך · ראה עוד »

פנקס חד פעמי

#הפניה פנקס חד-פעמי.

חָדָשׁ!!: הוכחה באפס ידיעה ופנקס חד פעמי · ראה עוד »

פסוק שקר

#הפניה טאוטולוגיה (לוגיקה).

חָדָשׁ!!: הוכחה באפס ידיעה ופסוק שקר · ראה עוד »

פרס גדל

פרס גֶדֶל (באנגלית: The Gödel Prize) הוא פרס המוענק אחת לשנה, החל משנת 1993, עבור מאמר בולט באיכותו בתחום מדעי המחשב.

חָדָשׁ!!: הוכחה באפס ידיעה ופרס גדל · ראה עוד »

פרטיות

#הפניה הזכות לפרטיות.

חָדָשׁ!!: הוכחה באפס ידיעה ופרטיות · ראה עוד »

פרוטוקול פייגה-פיאט-שמיר

בקריפטוגרפיה, שיטת פייגה-פיאט-שמיר (Feige-Fiat-Shamir) בקיצור FFS היא סוג של פרוטוקול הוכחה באפס ידיעה מקבילי שפותח על ידי אוריאל פייגה, עמוס פיאט ועדי שמיר ב-1988 לצורך אימות זהויות ברשת, במקום שיטת האימות הקונבנציונלית באמצעות סיסמה.

חָדָשׁ!!: הוכחה באפס ידיעה ופרוטוקול פייגה-פיאט-שמיר · ראה עוד »

פונקציה חד-כיוונית

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

חָדָשׁ!!: הוכחה באפס ידיעה ופונקציה חד-כיוונית · ראה עוד »

פירוק לגורמים של מספר שלם

במתמטיקה, פירוק לגורמים של מספר שלם הוא פירוקו של המספר למספרים קטנים יותר, הקרויים גורמים, כך שמכפלת הגורמים זה בזה תתן את המספר המקורי.

חָדָשׁ!!: הוכחה באפס ידיעה ופירוק לגורמים של מספר שלם · ראה עוד »

צבע

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

חָדָשׁ!!: הוכחה באפס ידיעה וצבע · ראה עוד »

צד שלישי

צד שלישי הוא גורם המעורב בקשר המתקיים בין שני צדדים.

חָדָשׁ!!: הוכחה באפס ידיעה וצד שלישי · ראה עוד »

צומת (תורת הגרפים)

גרף לא מכוון בעל 6 קודקודים ו-7 קשתות בתורת הגרפים, צומת או קודקוד (באנגלית: Vertex) הוא יחידת היסוד ממנה מורכב הגרף.

חָדָשׁ!!: הוכחה באפס ידיעה וצומת (תורת הגרפים) · ראה עוד »

ציתות

#הפניה האזנת סתר.

חָדָשׁ!!: הוכחה באפס ידיעה וציתות · ראה עוד »

קריפטוגרפיה

קריפטוגרפיה (בעברית: תּוֹרַת כְּתִיבַת הַסֵּתֶר) היא ענף במתמטיקה ובמדעי המחשב העוסק במחקר ופיתוח שיטות אבטחת מידע ותקשורת נתונים על רובדיהם השונים, בסביבה פתוחה הנגישה לצד שלישי המכונה "אויב", או "יריב" פוטנציאלי.

חָדָשׁ!!: הוכחה באפס ידיעה וקריפטוגרפיה · ראה עוד »

קשת (תורת הגרפים)

#הפניה תורת הגרפים.

חָדָשׁ!!: הוכחה באפס ידיעה וקשת (תורת הגרפים) · ראה עוד »

שארית ריבועית

בתורת המספרים, מספר a נקרא שארית ריבועית מודולו מספר n אם קיים פתרון שלם למשוואה המודולרית \ x^2 \equiv a\pmod.

חָדָשׁ!!: הוכחה באפס ידיעה ושארית ריבועית · ראה עוד »

שפי גולדווסר

שפרירה (שפי) גולדווסר (נולדה ב-1958) היא חוקרת ישראלית-אמריקאית בתחום מדעי המחשב והקריפטוגרפיה.

חָדָשׁ!!: הוכחה באפס ידיעה ושפי גולדווסר · ראה עוד »

שרת (מחשבים)

שרתי קרן ויקימדיה ארכיטקטורה של שרת למונח שרת (באנגלית: Server) שתי משמעויות הקשורות קשר הדוק ביניהן.

חָדָשׁ!!: הוכחה באפס ידיעה ושרת (מחשבים) · ראה עוד »

שרת-לקוח

#הפניה שרת–לקוח.

חָדָשׁ!!: הוכחה באפס ידיעה ושרת-לקוח · ראה עוד »

שורש ריבועי

גרף המייצג \sqrt x. שורש ריבועי של מספר a כלשהו הוא מספר, שאם מכפילים אותו בעצמו מקבלים את a. הפעולה החישובית של מציאת השורש הריבועי נקראת הוצאת שורש ריבועי.

חָדָשׁ!!: הוכחה באפס ידיעה ושורש ריבועי · ראה עוד »

שידור

בתקשורת, שידור היא הפעולה של מסירת אותות (שידור) ממקור מסוים (הנקרא משדר), אל יעד מסוים או קבוצת יעדים.

חָדָשׁ!!: הוכחה באפס ידיעה ושידור · ראה עוד »

תמורה (מתמטיקה)

6 התמורות האפשריות של שלושה עצמים (כל שורה מייצגת תמורה) תְּמוּרָה או פֶּרְמוּטַצְיָה היא פונקציה חד-חד-ערכית ועל מקבוצה לעצמה.

חָדָשׁ!!: הוכחה באפס ידיעה ותמורה (מתמטיקה) · ראה עוד »

תאוריה

תֵּאוֹרְיָה (באנגלית: Theory) היא תבנית חשיבה רציונלית אנושית, אבסטרקטית, השואפת להיות אובייקטיבית.

חָדָשׁ!!: הוכחה באפס ידיעה ותאוריה · ראה עוד »

תורת הגרפים

תורת הגרפים היא ענף של המתמטיקה העוסק בתכונותיהם של גרפים.

חָדָשׁ!!: הוכחה באפס ידיעה ותורת הגרפים · ראה עוד »

תורת ההסתברות

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

חָדָשׁ!!: הוכחה באפס ידיעה ותורת ההסתברות · ראה עוד »

טענה

טַעֲנָה (בלועזית: פְּרוֹפּוֹזִיציה) היא מושג מרכזי בפילוסופיה של הלשון ובתחומים דומים.

חָדָשׁ!!: הוכחה באפס ידיעה וטענה · ראה עוד »

זמן פולינומי

#הפניה סיבוכיות זמן#זמן ריצה פולינומי קטגוריה:מונחים בתוכנה.

חָדָשׁ!!: הוכחה באפס ידיעה וזמן פולינומי · ראה עוד »

זהות (מתמטיקה)

במתמטיקה, זהות היא שוויון בין שני ביטויים שמתקיים לכל הצבה של ערכים במקום המשתנים בכל אחד מהביטויים.

חָדָשׁ!!: הוכחה באפס ידיעה וזהות (מתמטיקה) · ראה עוד »

חשבון מודולרי

חשבון מוֹדוּלַרי (הידוע גם כחשבון קונגרואנציות) הוא שיטה מתמטית, בה מחליפים מספרים בשארית החלוקה במספר קבוע.

חָדָשׁ!!: הוכחה באפס ידיעה וחשבון מודולרי · ראה עוד »

חתימה דיגיטלית

חתימה דיגיטלית היא שיטה קריפטוגרפית, שמטרתה לאמת את המקוריות והשלמות של הודעה או מסמך דיגיטלי.

חָדָשׁ!!: הוכחה באפס ידיעה וחתימה דיגיטלית · ראה עוד »

חישוב (מדעי המחשב)

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

חָדָשׁ!!: הוכחה באפס ידיעה וחישוב (מדעי המחשב) · ראה עוד »

בעיה NP שלמה

#הפניה NP (מחלקת סיבוכיות).

חָדָשׁ!!: הוכחה באפס ידיעה ובעיה NP שלמה · ראה עוד »

בעיה מתמטית

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

חָדָשׁ!!: הוכחה באפס ידיעה ובעיה מתמטית · ראה עוד »

בעיית לוגריתם דיסקרטי

#הפניה בעיית הלוגריתם הבדיד.

חָדָשׁ!!: הוכחה באפס ידיעה ובעיית לוגריתם דיסקרטי · ראה עוד »

גרף (תורת הגרפים)

גרף לא מכוון בעל 6 קודקודים ו-7 קשתות גרף מכוון בעל 4 קודקודים ו-5 קשתות בתורת הגרפים, גרף הוא ייצוג מופשט של קבוצה של אובייקטים, כאשר כל זוג אובייקטים בקבוצה עשויים להיות מקושרים זה לזה.

חָדָשׁ!!: הוכחה באפס ידיעה וגרף (תורת הגרפים) · ראה עוד »

גרף n-צביע

בתורת הגרפים, גרף n-צביע הוא גרף שאפשר לצבוע את הקודקודים שלו ב-n צבעים, כך ששני קודקודים סמוכים אינם צבועים באותו צבע.

חָדָשׁ!!: הוכחה באפס ידיעה וגרף n-צביע · ראה עוד »

גדול מספיק

במתמטיקה, בקבוצה סדורה ליניארית, נאמר שטענה P "מתקיימת לכל x גדול מספיק" אם קיים איבר \ r כך שלכל \ x>r הטענה P מתקיימת.

חָדָשׁ!!: הוכחה באפס ידיעה וגדול מספיק · ראה עוד »

גורם ראשוני

#הפניה מספר ראשוני.

חָדָשׁ!!: הוכחה באפס ידיעה וגורם ראשוני · ראה עוד »

המכון הטכנולוגי של מסצ'וסטס

"מרכז סטטה," בניין ב-MIT, המכון הטכנולוגי של מסצ'וסטס, ארצות הברית, עוצב על ידי פרנק גרי בנין "כיפה הגדולה", הבניין הכי מפורסם ב-MIT. ישנה מסורת ב-MIT לפיה סטודנטים מנסים להניח חפצים שונים על הכיפה הגדולה. המכון הטכנולוגי של מסצ'וסטס (או MIT, ראשי תיבות באנגלית של Massachusetts Institute of Technology), הוא אוניברסיטה פרטית, המתמחה בתחומי המדע וההנדסה השוכנת במדינת מסצ'וסטס שבארצות הברית.

חָדָשׁ!!: הוכחה באפס ידיעה והמכון הטכנולוגי של מסצ'וסטס · ראה עוד »

האוניברסיטה העברית בירושלים

האוניברסיטה העברית בירושלים היא האוניברסיטה הציבורית הראשונה שהוקמה בארץ ישראל (בשנת 1925) והמוסד האקדמי השני שנוסד בה (אחרי הטכניון).

חָדָשׁ!!: הוכחה באפס ידיעה והאוניברסיטה העברית בירושלים · ראה עוד »

הנחה (לוגיקה)

הנחה בתורת ההגיון היא שם כולל לכל הטענות והאקסיומות בהיסק שאינן מסקנתו.

חָדָשׁ!!: הוכחה באפס ידיעה והנחה (לוגיקה) · ראה עוד »

הסתברות

משחקי מזל והימורים מימין, ביצה בעלת חלמון כפול. סיכוי של 1 ל־1200 למציאת ביצה כזוComparisons, R 2020, Probability Comparison: Rarest Things in the Universe, online video, 6 April, viewed 10 May 2020,, Creative Commons license:.. הסתברות היא ביטוי מספרי למידת הסבירות שמאורע מסוים יתרחש.

חָדָשׁ!!: הוכחה באפס ידיעה והסתברות · ראה עוד »

התפלגות

סטיות תקן. בסטטיסטיקה ותורת ההסתברות, התפלגות (לפי האקדמיה ללשון הִתְפַּלְּגוּת־הַהִסְתַּבְּרוּת או באנגלית: probability distribution) היא מרכיב בסיסי בתיאור ההתנהגות של תופעה או תהליך שיש בהם היבטים אקראיים.

חָדָשׁ!!: הוכחה באפס ידיעה והתפלגות · ראה עוד »

הטלת מטבע

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

חָדָשׁ!!: הוכחה באפס ידיעה והטלת מטבע · ראה עוד »

הוכחה

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

חָדָשׁ!!: הוכחה באפס ידיעה והוכחה · ראה עוד »

כפל

כֶּפֶל הוא פעולה בין מספרים, ובאופן כללי יותר פעולה בינארית על מבנים אלגבריים כלליים.

חָדָשׁ!!: הוכחה באפס ידיעה וכפל · ראה עוד »

יעילות אלגוריתמית

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

חָדָשׁ!!: הוכחה באפס ידיעה ויעילות אלגוריתמית · ראה עוד »

ילדות

פעוט מתגלגל בדשא שתי ילדות אוכלות ילדה על עץ טקסט.

חָדָשׁ!!: הוכחה באפס ידיעה וילדות · ראה עוד »

0 (מספר)

אפס הוא המספר השלם שבא לפני 1 ואחרי 1−.

חָדָשׁ!!: הוכחה באפס ידיעה ו0 (מספר) · ראה עוד »

1985

אין תיאור.

חָדָשׁ!!: הוכחה באפס ידיעה ו1985 · ראה עוד »

1986

אין תיאור.

חָדָשׁ!!: הוכחה באפס ידיעה ו1986 · ראה עוד »

אזכור

[1] https://he.wikipedia.org/wiki/הוכחה_באפס_ידיעה

יוֹצֵאנִכנָס
היי! אנחנו בפייסבוק עכשיו! »