גישה מהירה יותר מאשר בדפדפן!
29 יחסים: מספר חשיב, משפט אי השלמות של גדל, מתמטיקה, מחשב, מדעי המחשב, מכונת טיורינג, אלן טיורינג, אלף אפס, אלגוריתם, אוטומט מחסנית, אוטומט סופי, עוצמת הרצף, פונקציה, פונקציה פרימיטיבית רקורסיבית, פונקציה בת-חישוב, קבוצה ניתנת למנייה רקורסיבית, תזת צ'רץ'-טיורינג, תחשיב למדא, תורת הסיבוכיות, תוכנית מחשב, זיכרון מחשב, חישוב (מדעי המחשב), חיתוך (מתמטיקה), בעיית העצירה, דקדוק חופשי הקשר, המאה ה-20, הבונה העסוק, היררכיית חומסקי, כריעות.
מספר חשיב
במתמטיקה, במדעי המחשב ובלוגיקה חישובית, מספר חשיב, הנקרא גם מספר רקורסיבי, הוא מספר ממשי שאפשר לחשב אותו, בכל דיוק רצוי, בזמן סופי.
חָדָשׁ!!: חישוביות ומספר חשיב · ראה עוד »
משפט אי השלמות של גדל
#הפניה משפטי האי-שלמות של גדל.
חָדָשׁ!!: חישוביות ומשפט אי השלמות של גדל · ראה עוד »
מתמטיקה
שיעור באלגברה ליניארית באוניברסיטת הלסינקי ילדות פותרות תרגיל במתמטיקה מָתֵמָטִיקָה היא תחום דעת העוסק במושגים כגון כמות, מבנה, מרחב ושינוי.
חָדָשׁ!!: חישוביות ומתמטיקה · ראה עוד »
מחשב
מַחְשֵׁב הוא מכונה אלקטרונית המסוגלת לעבד נתונים על פי תוכנה, כלומר על פי רצף פקודות נתון מראש.
חָדָשׁ!!: חישוביות ומחשב · ראה עוד »
מדעי המחשב
מדְעי המחשב הם ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב.
חָדָשׁ!!: חישוביות ומדעי המחשב · ראה עוד »
מכונת טיורינג
הדמיה של מכונת טיורינג מכונת טיורינג (באנגלית: Turing machine) היא מודל חישובי מתמטי אשר באמצעותו ניתן לתאר באופן מופשט את פעולתו של מחשב (כולל מחשב מודרני).
חָדָשׁ!!: חישוביות ומכונת טיורינג · ראה עוד »
אלן טיורינג
אלן מת'יסון טיורינג (באנגלית: Alan Mathison Turing; 23 ביוני 1912 – 7 ביוני 1954) היה מתמטיקאי בריטי, ממניחי היסודות למדעי המחשב.
חָדָשׁ!!: חישוביות ואלן טיורינג · ראה עוד »
אלף אפס
\!\, \aleph_0 (אָלֶף אֶפֶס) הוא הסימון המקובל בתורת הקבוצות לעוצמה של קבוצת המספרים הטבעיים, שהיא העוצמה האינסופית הקטנה ביותר.
חָדָשׁ!!: חישוביות ואלף אפס · ראה עוד »
אלגוריתם
אלגוריתם הוא דרך שיטתית וחד-משמעית לביצוע של משימה מסוימת, במספר סופי של צעדים.
חָדָשׁ!!: חישוביות ואלגוריתם · ראה עוד »
אוטומט מחסנית
מצבים: שני מצבים מקבלים (מסומנים בעיגול כפול) ושני מצבים שאינם מקבלים (מסומנים בעיגול בודד). במדעי המחשב, אוטומט מחסנית (באנגלית: Pushdown automaton, ובראשי תיבות: PDA) הוא מודל חישובי, שמהווה הרחבה של מודל האוטומט הסופי (הדטרמיניסטי), על ידי הוספת מחסנית, שבה האוטומט מסוגל לאחסן מידע (משמע, לאוטומט יש יכולת זיכרון).
חָדָשׁ!!: חישוביות ואוטומט מחסנית · ראה עוד »
אוטומט סופי
נורה מתואר כאוטומט סופי (בייצוגו כגרף מכוון). בתורת החישוביות במדעי המחשב, אוטומט סופי (או מכונת מצבים) הוא מכונה מופשטת בעלת זיכרון מוגבל בגודלו, המגדירה שפה פורמלית רגולרית.
חָדָשׁ!!: חישוביות ואוטומט סופי · ראה עוד »
עוצמת הרצף
עוצמת הרצף היא העוצמה של קבוצת המספרים הממשיים, קרי |\mathbb R|.
חָדָשׁ!!: חישוביות ועוצמת הרצף · ראה עוד »
פונקציה
פונקציה המתאימה לכל צורה את הצבע שלה פונקציה היא התאמה המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה. במתמטיקה, פוּנְקְצִיָּה (נקראת גם העתקה) היא התאמה, המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה.
חָדָשׁ!!: חישוביות ופונקציה · ראה עוד »
פונקציה פרימיטיבית רקורסיבית
בתורת החישוביות; פונקציה פרימיטיבית רקורסיבית היא פונקציה n-מקומית (עבור n כלשהו) מקבוצת המספרים הטבעיים לעצמה, הנוצרת מהרכבת פונקציות ופעולה שנקראת "רקורסיה פרימיטיבית" באופן חוזר ונשנה על מספר פונקציות בסיסיות קבועות: הפונקציה הקבועה אפס, הוספת אחד, ובחירת אחד מרכיבי הקלט.
חָדָשׁ!!: חישוביות ופונקציה פרימיטיבית רקורסיבית · ראה עוד »
פונקציה בת-חישוב
בחישוביות, פונקציה בת-חישוב היא פונקציה מקבוצת המספרים הטבעיים אל עצמה (היינו, סדרה של מספרים טבעיים), שניתן לחשב כל ערך שלה בזמן סופי.
חָדָשׁ!!: חישוביות ופונקציה בת-חישוב · ראה עוד »
קבוצה ניתנת למנייה רקורסיבית
בחישוביות, קבוצה בת מנייה נקראת ניתנת למנייה רקורסיבית (נל"ר) או בת מנייה רקורסיבית (במ"ר) או כריעה חיובית (כריעה למחצה) אם קיים אלגוריתם שבהינתן קלט, עוצר אם האיבר הנקלט שייך לקבוצה זו.
חָדָשׁ!!: חישוביות וקבוצה ניתנת למנייה רקורסיבית · ראה עוד »
תזת צ'רץ'-טיורינג
תזת צ'רץ'-טיורינג היא סברה בסיסית במדעי המחשב, אשר הוצעה על ידי אלן טיורינג ואלונזו צ'רץ' באמצע שנות השלושים של המאה העשרים, ולפיה חישוב הנעשה במודל חישובי סביר, ניתן גם לביצוע במכונת טיורינג.
חָדָשׁ!!: חישוביות ותזת צ'רץ'-טיורינג · ראה עוד »
תחשיב למדא
תחשיב למדא (לעיתים גם: תחשיב למְבְּדא באנגלית: Lambda calculus) הוא צורה לוגית-פורמלית ריגורוזית להצגה וטיפול בפונקציות במתמטיקה ומדעי המחשב.
חָדָשׁ!!: חישוביות ותחשיב למדא · ראה עוד »
תורת הסיבוכיות
תורת הסיבוכיות היא ענף של מדעי המחשב, שבמסגרתו חוקרים את הסיבוכיות של בעיות; כלומר, נבחנים המשאבים הנחוצים לפתרון בעיה נתונה באמצעות מחשב, ומושווית יעילותם של אלגוריתמים שונים בפתרון בעיה זו.
חָדָשׁ!!: חישוביות ותורת הסיבוכיות · ראה עוד »
תוכנית מחשב
תוכנית מחשב היא רצף של הוראות בשפת תכנות כלשהי, שנועדו לבצע משימה מסוימת במחשב.
חָדָשׁ!!: חישוביות ותוכנית מחשב · ראה עוד »
זיכרון מחשב
#הפניה זיכרון גישה אקראית.
חָדָשׁ!!: חישוביות וזיכרון מחשב · ראה עוד »
חישוב (מדעי המחשב)
חישוב במשמעותו הרחבה של מושג זה המקובלת במדעי המחשב, הוא כל תהליך של עיבוד מידע שניתן לייצוג באופן מתמטי.
חָדָשׁ!!: חישוביות וחישוב (מדעי המחשב) · ראה עוד »
חיתוך (מתמטיקה)
בתורת הקבוצות ובענפים אחרים במתמטיקה, החיתוך של שתי קבוצות A ו-B הוא הקבוצה המכילה את כל האיברים ב-A ששייכים גם ל-B (או באופן שקול, כל האיברים ב-B ששייכים גם ל-A), ורק אותם.
חָדָשׁ!!: חישוביות וחיתוך (מתמטיקה) · ראה עוד »
בעיית העצירה
בעיית העצירה היא בעיה מרכזית בתחום החישוביות, שהוא אחד מעמודי התווך של מדעי המחשב התאורטיים.
חָדָשׁ!!: חישוביות ובעיית העצירה · ראה עוד »
דקדוק חופשי הקשר
#הפניה דקדוק חופשי-הקשר.
חָדָשׁ!!: חישוביות ודקדוק חופשי הקשר · ראה עוד »
המאה ה-20
המאה ה-20 היא התקופה שהחלה בשנת 1901 והסתיימה בשנת 2000 (בין התאריכים 1 בינואר 1901 ל־31 בדצמבר 2000).
חָדָשׁ!!: חישוביות והמאה ה-20 · ראה עוד »
הבונה העסוק
הבונה העסוק (באנגלית: Busy beaver) הוא שמה של בעיה לא כריעה במדעי המחשב, העוסקת בשאלה: "כמה עבודה ניתן לעשות באמצעות מכונת טיורינג עם מספר נתון של מצבים אפשריים, שפועלת על סרט ריק ועוצרת?".
חָדָשׁ!!: חישוביות והבונה העסוק · ראה עוד »
היררכיית חומסקי
#הפניה ההיררכיה של חומסקי.
חָדָשׁ!!: חישוביות והיררכיית חומסקי · ראה עוד »
כריעות
בלוגיקה, בעיית הכרעה (בעיה שבה בהינתן קלט יש לתת תשובה של כן או לא) נקראת כריעה אם קיים אלגוריתם שקובע מה התשובה עבור קלט נתון.
חָדָשׁ!!: חישוביות וכריעות · ראה עוד »
אזכור
[1] https://he.wikipedia.org/wiki/חישוביות
