You are here: start » vsb » ml » cviceni_2010_2011 » 6

Table of Contents

Cvičení 1.11.2010

Cvičení 1.11.2010

Organizační

Dle dohody si zkusíme zápočtovou písemku. Bude přibližně poloviční, tj. 30 minut, ať máme čas na projítí výsledků a případné otázky.

Teorie

Opakování z minula a cvičení na písemku.
Zjištění platnosti úsudku pomocí metody modelování relací. Ta se hodí tehdy, když máme predikáty s více než jedním parametrem.

Cvičení

První příklad je cílený na správnou formalizaci.
V druhém a třetím příkladu zopakujeme interpretace.
Čtvrtý a pátý příklad jsou na platnosti úsudků sématickými metodami (významná část bodu na zápočtové písemce).

vsb/ml/cviceni_2010_2011/6.txt · Last modified: 06.03.2014 11:00 (external edit)