MRÁKOVÁ, Eva a Lubomír POPELÍNSKÝ. Sbírka řešených úloh z logiky pro informatiky. 1. vyd. Brno: Masarykova univerzita. 80 s. ISBN 978-80-210-7843-7. 2015.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Sbírka řešených úloh z logiky pro informatiky
Autoři MRÁKOVÁ, Eva a Lubomír POPELÍNSKÝ.
Vydání 1. vyd. Brno, 80 s. 2015.
Nakladatel Masarykova univerzita
Další údaje
Typ výsledku Učebnice
Utajení není předmětem státního či obchodního tajemství
ISBN 978-80-210-7843-7
Štítky Munipress
Změnil Změnila: Mgr. Jana Dykastová, učo 371418. Změněno: 8. 1. 2016 15:49.
Anotace
Sbírka obsahuje úlohy z výrokové a predikátové logiky a jejich řešení. Je určená pro základní kurzy logiky především na bakalářském stupni. Kromě základních úloh z těchto dvou logických kalkulů sbírka obsahuje též příklady na rezoluční metody ve výrokové i v predikátové logice.
Anotace anglicky
This book contains collection of tasks from propositional and predicate logic including solutions. It is designed for a basic logic course mainly on Bachelor level. In addition to the basic problems of these two logical calculi this book also contains tasks on resolution method in propositional and predicate logic.
Návaznosti
CZ.1.07/2.2.00/28.0216, interní kód MUNá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: 18. 4. 2024 06:40