Edumining

Projekt CZ.1.07/2.2.00/28.0209

Elektronické opory a e-learning pro obory výpočtového a konstrukčního charakteru

 

 

ANIMACE

• Interpretace formulí výrokové logiky


• Klasifikace formulí výrokové logiky


• Normální formy ve výrokové logice


• Zjemnění rezoluce ve výrokové logice


• SLD Stromy ve výrokové logice


• Unifikace


• Prenexová normální forma


• Zjemnění rezoluce v predikátové logice


• SLD Stromy v predikátové logice


• Rezoluční důkaz v predikátové logice


• Prolog


• Rezoluce

 

Tento projekt je spolufinancován z Evropského sociálního fondu a státního rozpočtu České republiky.