สารบัญ:
คำจำกัดความ - Axiomatic Semantics หมายถึงอะไร
สัจพจน์เชิงสัจพจน์ (Axiomatic Semantics) เป็นการแสดงออกทางความหมายของความสัมพันธ์ในรหัส นิพจน์เหล่านี้มีประโยชน์ในการอธิบายการทำงานของซอฟต์แวร์บางส่วน
Techopedia อธิบายความหมายจริง
สิ่งที่น่าสนใจเกี่ยวกับความหมายเชิงสัจพจน์ที่แตกต่างกับการแสดงออกประเภทอื่นคือพวกเขาไม่เชื่อเรื่องพระเจ้าอย่างแน่นอนเกี่ยวกับผลลัพธ์และเงื่อนไขที่เฉพาะเจาะจง ค่อนข้างความหมายเชิงสัจพจน์อธิบายวิธีการทำงานของระบบ วิธีหนึ่งในการคิดสิ่งนี้คือการใช้คำว่ารูตซึ่งเป็นความจริงซึ่งแสดงถึงความจริงที่กว้างขึ้นเกี่ยวกับระบบ ตัวอย่างเช่นคำสั่งเชิงความหมายซึ่งเป็นจริงเกี่ยวกับฟังก์ชั่นบางอย่างจะอธิบายสิ่งที่มันหมายถึงการทำสิ่งที่ประเภทของการโต้แย้งที่จะใช้และสิ่งที่ประเภทของผลตอบแทนที่ได้ สิ่งนี้จะไม่ต้องการความรู้เกี่ยวกับตัวแปรจริงที่เกี่ยวข้อง
