The formalised meaning of a symboli

The formalised meaning of a symbolic model is given by a semantic model, an interpretation of the symbolic model. A semantic model usually assumes the existence of some mathematical objects (sets, for example), used to represent the basic elements of a symbolic model. Operations and relations of a symbolic model are mapped to usually better understood operations and relations amongst the mathematical objects.

ผลลัพธ์ (ไทย) 1:

ความหมาย formalised รุ่นสัญลักษณ์ถูกกำหนด โดยรูปแบบความหมาย การตีความของรูปแบบสัญลักษณ์ แบบความหมายมักจะสันนิษฐานการดำรงอยู่ของวัตถุบางอย่างทางคณิตศาสตร์ (ชุด ตัว), ใช้เพื่อแสดงองค์ประกอบพื้นฐานของรูปแบบสัญลักษณ์ การดำเนินงานและความสัมพันธ์ของรูปแบบสัญลักษณ์แมปปกติดีเข้าใจการดำเนินงานและความสัมพันธ์ท่ามกลางวัตถุทางคณิตศาสตร์

ผลลัพธ์ (ไทย) 2:

ความหมายอย่างเป็นทางการของรูปแบบสัญลักษณ์จะได้รับจากรูปแบบความหมายความหมายของรูปแบบสัญลักษณ์ รูปแบบความหมายมักจะถือว่าการดำรงอยู่ของวัตถุทางคณิตศาสตร์บาง (ชุดตัวอย่างเช่น) ที่ใช้ในการเป็นตัวแทนขององค์ประกอบพื้นฐานของรูปแบบสัญลักษณ์ การดำเนินงานและความสัมพันธ์ของรูปแบบสัญลักษณ์ถูกแมปไปมักจะเข้าใจการดำเนินงานที่ดีขึ้นและความสัมพันธ์ในหมู่วัตถุทางคณิตศาสตร์

ผลลัพธ์ (ไทย) 3:

การ formalised ความหมายของรูปแบบสัญลักษณ์ให้โดยรูปแบบความหมาย การตีความของรูปแบบสัญลักษณ์ รูปแบบความหมายมักจะถือว่าการดำรงอยู่ของวัตถุบางอย่างทางคณิตศาสตร์ ( ชุด , ตัวอย่างเช่น ) ใช้แสดงองค์ประกอบขั้นพื้นฐานของรูปแบบสัญลักษณ์การดำเนินงานและความสัมพันธ์ของรูปแบบสัญลักษณ์จะถูกแมปไปมักจะดีกว่าเข้าใจงานและความสัมพันธ์ระหว่างวัตถุทางคณิตศาสตร์