Sbírka řešených úloh z logiky pro informatiky
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Sbírka řešených úloh z logiky pro informatiky
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Introduction to Logic for Computer Science: Tasks and Solutions
Popis výsledku anglicky
A collection of tasks concerning propositional and predicate logic for computer science. Detailed solutions of the tasks are provided. Covered topics are: representation and classification of formulas, truth tables, normal forms, SAT, resolution, Prolog.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů