­

הרשמה לאתר

להמשך תהליך הרכישה עליך להיות רשום באתר

כניסת משתמשים רשומים

שם משתמש (דוא''ל) *
סיסמא *
arrow Iconהתחבר שכחתי סיסמא


הרשמה לאתר


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




arrow Iconהרשמה
תקנים בסל הקניות שלך
סה"כ: ש"חלתשלום

מילון מונחים תוצאות

 

מילון טכנולוגיות המידע
חפש

שיטות- פעולות אריתמטיות ולוגיות נמצאו 4 מונחים

  • שיטה היריסטית heuristic method

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

  • אינדוקציה מתמטית mathematical induction

    דרך להוכחת טענה הנוגעת לסדרת אברים, המבוססים על המספרים הטבעיים שאינם קטנים מ-N.
    מראים, כי אם הטענה תקפה לגבי איבר המבוסס על N ותקפה לגבי ערך סתמי של n גדול מ-N, הטענה תקפה גם לגבי איבר המבוסס על (n+1).
     

  • לוגיקה פורמלית formal logic

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

  • לוגיקה סימלית\מתמטית symbolic logic\ mathematical logic

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