sémantický model

Interpretace – realizace systému axiómů formalizované teorie. V sémantickém modelu dochází k udělení významu abstraktním formulím dané teorie, přičemž splňující udělení významu je mění v pravdivé výroky.

Vytvořeno: 14. 3. 2000
Aktualizováno: 10. 10. 2005
Autor: -red-