שפה מסדר ראשון – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 11:
# <math> \mathcal C </math> - אוסף כל סימני הקבועים שלנו: <math>\ c_0,c_1,c_2,\dots</math>.
# <math> \mathcal F </math> - אוסף כל סימני הפונקציות, כאשר כל פונקציה מאופיינת בשלושה דברים עיקריים (מלבד שמה), והם:
:::::: א. [[מקומיות (תורת הקבוצות)|פונקציית המקומיות]] <math> \sigma </math>, אשר בעצם אומרת לנו כמה פרמטרים מקבלת הפונקציה וכמה היא תחזיר.
:::::: ב. [[תחום (פונקציות)|תחום הפונקציה]] <math> Dom </math>, אשר בעצם אומר לנו מאילו קבוצת ערכים נקבל את הפרמטרים שלנו.
:::::: ג. ו[[טווח (פונקציות)|טווח הפונקציה]] <math> Rng </math>, אשר בעצם אומר לנו לאילו קבוצת ערכים שייכת תוצאת הפונקציה.
| |||