1 יַחַס: תורת הטיפוסים.
תורת הטיפוסים
במתמטיקה, לוגיקה ומדעי המחשב, תורת הטיפוסים מתייחסת באופן כללי למחלקה של מערכות פורמליות, שבה לכל ערך יש טיפוס, המודד באופן מסוים את רמת המורכבות של האובייקט, והפעולות מוגבלות לערכים מטיפוס מסוים.
חָדָשׁ!!: תורת טיפוסים ותורת הטיפוסים · ראה עוד »