Introduction to Logic for Computer Science: Tasks and Solutions
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F15%3A00083497" target="_blank" >RIV/00216224:14330/15:00083497 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Sbírka řešených úloh z logiky pro informatiky
Original language description
Sbírka úloh z logiky pro informatiky obsahující podrobně komentovaná řešení. Úlohy jsou z oblasti výrokové a predikátové logiky a zahrnují mj. témata: reprezentace a klasifikace formulí, pravdivostní tabulky, normální formy, SAT, rezoluce, Prolog.
Czech name
Sbírka řešených úloh z logiky pro informatiky
Czech description
Sbírka úloh z logiky pro informatiky obsahující podrobně komentovaná řešení. Úlohy jsou z oblasti výrokové a predikátové logiky a zahrnují mj. témata: reprezentace a klasifikace formulí, pravdivostní tabulky, normální formy, SAT, rezoluce, Prolog.
Classification
Type
O - Miscellaneous
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů