Sbírka řešených úloh z logiky pro informatiky
| MRÁKOVÁ, Eva a Lubomír POPELÍNSKÝ. Sbírka řešených úloh z logiky pro informatiky. Vydání první. Brno: Masarykova univerzita, 2015, 82 s. ISBN 978-80-210-7843-7. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Sbírka řešených úloh z logiky pro informatiky |
| Název česky | Sbírka řešených úloh z logiky pro informatiky |
| Název anglicky | Introduction to Logic for Computer Science: Tasks and Solutions |
| Autoři | MRÁKOVÁ, Eva (203 Česká republika, domácí) a Lubomír POPELÍNSKÝ (203 Česká republika, domácí). |
| Vydání | Vydání první. Brno, 82 s. 2015. |
| Nakladatel | Masarykova univerzita |
| Další údaje | |
|---|---|
| Originální jazyk | čeština |
| Typ výsledku | Učebnice |
| Obor | 10201 Computer sciences, information science, bioinformatics |
| Stát vydavatele | Česká republika |
| Utajení | není předmětem státního či obchodního tajemství |
| Kód RIV | RIV/00216224:14330/15:00083497 |
| Organizační jednotka | Fakulta informatiky |
| ISBN | 978-80-210-7843-7 |
| Klíčová slova česky | logika pro informatiky; úlohy a řešení; pravdivostní tabulky; normální formy; SAT; rezoluce; Prolog |
| Klíčová slova anglicky | logic for CS; tasks and solutions; truth tables; normal forms; SAT; resolution; Prolog |
| Změnil | Změnila: Mgr. Eva Mráková, Ph.D., učo 2575. Změněno: 3. 8. 2015 14:15. |
| Anotace |
|---|
| 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. |
| Anotace 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. |
| Návaznosti | |
|---|---|
| CZ.1.07/2.2.00/28.0216, interní kód MU | Název: Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (Akronym: logika-ramec-rozvoje) |
| Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia, 2.2 Vysokoškolské vzdělávání | |
VytisknoutZobrazeno: 19. 9. 2024 21:15