Přejít k obsahu


UTIL-VL-NF

Citace: [] DOSTÁLOVÁ, L., LANG, J. UTIL-VL-NF. 2009.
Druh: SOFTWARE
Jazyk publikace: cze
Anglický název: UTIL-PL-NF
Rok vydání: 2009
Název zdroje: Západočeská univerzita v Plzni
Autoři: Mgr. Ludmila Dostálová Ph.D. , Ing. Jaroslav Lang
Abstrakt CZ: Didaktický software na procvičování transformací formulí výrokové logiky na konjunktivní a disjunktivní normální formy.Vznikl v souvislosti s řešením projektu CZ.1.07/2.2.00/07.0217 na vývoj e-learningového systému specializovaného pro výuku logiky; resp. na procvičování konstrukčních a výpočtových úloh.
Abstrakt EN: Didactic software for practicing the transformations of propositional logic formulas to conjunctive and disjunctive normal forms. It was created in connection with the project CZ.1.07/2.2.00/07.0217 to develop an e-learning system for teaching logic; resp. for practicing computational and constructional exercises.
Klíčová slova

Zpět

Patička