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