Přejít k obsahu


UTIL-VL-SUF

Citace: [] DOSTÁLOVÁ, L., LANG, J. UTIL-VL-SUF. 2009.
Druh: SOFTWARE
Jazyk publikace: cze
Anglický název: UTIL-PL-WFF
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í rozpoznávání správně utvořených formulí výrokové logiky. 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 recognising a well-formed formula of propositional logic.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