גישה מהירה יותר מאשר בדפדפן!
15 יחסים: מפרש (תוכנה), משתנה (תכנות), אקסיומה, ארכיטקטורת פון נוימן, איטרטור, פרדיגמת תכנות, פרולוג (שפת תכנות), פישר בלאק, רקורסיה, רדוקציה חישובית, שאילתות, תחשיב הפרדיקטים, בינה מלאכותית, גישוש נסוג, המכון הטכנולוגי של מסצ'וסטס.
מפרש (תוכנה)
מפרש (אנגלית: Interpreter) הוא תוכנה הקוראת תוכנית מחשב הכתובה בשפת תכנות ומבצעת אותה ישירות, פקודה אחר פקודה.
חָדָשׁ!!: תכנות לוגי ומפרש (תוכנה) · ראה עוד »
משתנה (תכנות)
בתכנות, משתנה (באנגלית: Variable) הוא חלק זיכרון בתוכנית המכיל נתון שיכול להשתנות בזמן הריצה, על פי הפקודות הניתנות לו, בניגוד לקבוע שמכיל ערך שנקבע בתחילת ההרצה ונשאר קבוע עד סופה.
חָדָשׁ!!: תכנות לוגי ומשתנה (תכנות) · ראה עוד »
אקסיומה
אַקְסיּוֹמָה, אמיתה, או הנחת יסוד (בכתיב ארכאי: אכּסיוֹמה) היא הנחה אשר מתייחסים אליה במסגרת מסוימת כנכונה מבלי להוכיחה.
חָדָשׁ!!: תכנות לוגי ואקסיומה · ראה עוד »
ארכיטקטורת פון נוימן
ארכיטקטורת פון נוימן (לעיתים גם מכונת פון נוימן, ובאנגלית: von Neumann architecture) היא מודל שהציע בשנות הארבעים המתמטיקאי ג'ון פון נוימן למבנהו של המחשב.
חָדָשׁ!!: תכנות לוגי וארכיטקטורת פון נוימן · ראה עוד »
איטרטור
איטרטור הוא אובייקט במדעי המחשב המאפשר מעבר על איברי קבוצה נתונה.
חָדָשׁ!!: תכנות לוגי ואיטרטור · ראה עוד »
פרדיגמת תכנות
פרדיגמת תכנות היא סט מוסכמות ועקרונות לכתיבת תוכנה, עם שפת תכנות מסוימת.
חָדָשׁ!!: תכנות לוגי ופרדיגמת תכנות · ראה עוד »
פרולוג (שפת תכנות)
פרולוג (באנגלית: Prolog) היא שפת תכנות לוגית שפותחה במקור לכתיבת יישומי בינה מלאכותית.
חָדָשׁ!!: תכנות לוגי ופרולוג (שפת תכנות) · ראה עוד »
פישר בלאק
פישר בלאק (באנגלית: Fischer Black; 11 בינואר 1938 - 30 באוגוסט 1995) היה כלכלן ומתמטיקאי אמריקאי שהתפרסם במיוחד בשל היותו, יחד עם מיירון שולס, בין מפתחי המודל המקובל ביותר להערכת אופציות – נוסחת בלאק ושולס.
חָדָשׁ!!: תכנות לוגי ופישר בלאק · ראה עוד »
רקורסיה
משולש שרפינסקי – רקורסיה של משולשים אשר יוצרת סריג פרקטלי רקורסיה הנוצרת בעזרת תוכנה ללכידת מסך המצלמת את עצמה בפעולה רֵקוּרְסִיָּה (בעברית: נסיגה) היא תופעה שכל מופע שלה מכיל מופע נוסף שלה, כך שהיא מתרחשת ומשתקפת בשלמותה בתוך עצמה שוב ושוב.
חָדָשׁ!!: תכנות לוגי ורקורסיה · ראה עוד »
רדוקציה חישובית
במדעי המחשב, רדוקציה היא שיטה אלגוריתמית המאפשרת להמיר בעיה נתונה לבעיה אחרת שבעזרתה ניתן לפתור את הבעיה המקורית.
חָדָשׁ!!: תכנות לוגי ורדוקציה חישובית · ראה עוד »
שאילתות
#הפניה שאילתות דרב אחא.
חָדָשׁ!!: תכנות לוגי ושאילתות · ראה עוד »
תחשיב הפרדיקטים
בלוגיקה ובלוגיקה מתמטית, תחשיב פְרֶדִיקַטִים הוא מערכת פורמלית לטיפול בפסוקים הכוללים פרדיקטים (פרדיקט הוא נשוא, או תכונה, ובשפה המתמטית - יחס).
חָדָשׁ!!: תכנות לוגי ותחשיב הפרדיקטים · ראה עוד »
בינה מלאכותית
250px בינה מלאכותית (באנגלית: אינטליגנציה מלאכותית - Artificial intelligence, ובראשי תיבות: AI) שם מטאפורי למצב בו מנסים לדמות את יכולות החשיבה האנושית באמצעים טכנולוגיים.
חָדָשׁ!!: תכנות לוגי ובינה מלאכותית · ראה עוד »
גישוש נסוג
גישוש נסוג (באנגלית: Backtracking) או עקיבה לאחור הוא סוג של אלגוריתם חיפוש שחוסך מעבר על מספר רב של מועמדים לפתרון על ידי שימוש בתכונות ספציפיות של הבעיה.
חָדָשׁ!!: תכנות לוגי וגישוש נסוג · ראה עוד »
המכון הטכנולוגי של מסצ'וסטס
"מרכז סטטה," בניין ב-MIT, המכון הטכנולוגי של מסצ'וסטס, ארצות הברית, עוצב על ידי פרנק גרי בנין "כיפה הגדולה", הבניין הכי מפורסם ב-MIT. ישנה מסורת ב-MIT לפיה סטודנטים מנסים להניח חפצים שונים על הכיפה הגדולה. המכון הטכנולוגי של מסצ'וסטס (או MIT, ראשי תיבות באנגלית של Massachusetts Institute of Technology), הוא אוניברסיטה פרטית, המתמחה בתחומי המדע וההנדסה השוכנת במדינת מסצ'וסטס שבארצות הברית.
חָדָשׁ!!: תכנות לוגי והמכון הטכנולוגי של מסצ'וסטס · ראה עוד »
