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.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 10. 10. 2005
Autor: -red-

Reklama: