Isi kandungan:
Definisi - Apakah maksud Semantik Axiomatic?
Semantik aksiatik adalah ungkapan semantik mengenai hubungan yang wujud dalam sekeping kod. Ungkapan ini boleh membantu dalam menerangkan bagaimana beberapa perisian berfungsi.
Techopedia menerangkan Semantik Axiomatic
Satu perkara yang menarik mengenai semantik aksiatik berbanding dengan jenis ungkapan lain adalah bahawa mereka agak agnostik terhadap keputusan dan syarat tertentu. Sebaliknya, semantik aksiatik menerangkan cara sistem berfungsi. Salah satu cara untuk memikirkan ini adalah menggunakan kata akar, aksiom, yang menunjukkan beberapa truism yang lebih luas mengenai sistem. Contohnya, pernyataan semanticical axiomatic mengenai fungsi tertentu akan menerangkan apa yang dimaksudkan untuk dilakukan, jenis hujah yang diperlukan, dan jenis hasilnya. Ini tidak memerlukan pengetahuan pembolehubah yang terlibat.
