UTIL-PL-NF
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23330%2F09%3A00502910" target="_blank" >RIV/49777513:23330/09:00502910 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
UTIL-VL-NF
Original language description
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.
Czech name
UTIL-VL-NF
Czech description
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.
Classification
Type
R - Software
CEP classification
AM - Pedagogy and education
OECD FORD branch
—
Result continuities
Project
—
Continuities
O - Projekt operacniho programu
Others
Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
15489
Technical parameters
Didaktický software pro výuku logiky
Economical parameters
—
Owner IČO
49777513
Owner name
Západočeská univerzita v Plzni