MRÁKOVÁ, Eva and Lubomír POPELÍNSKÝ. Sbírka řešených úloh z logiky pro informatiky. 1. vyd. Brno: Masarykova univerzita, 2015, 80 pp. ISBN 978-80-210-7843-7.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Sbírka řešených úloh z logiky pro informatiky
Authors MRÁKOVÁ, Eva and Lubomír POPELÍNSKÝ.
Edition 1. vyd. Brno, 80 pp. 2015.
Publisher Masarykova univerzita
Other information
Type of outcome Textbook
Confidentiality degree is not subject to a state or trade secret
ISBN 978-80-210-7843-7
Tags Munipress
Changed by Changed by: Mgr. Jana Dykastová, učo 371418. Changed: 8/1/2016 15:49.
Abstract
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.
Abstract (in English)
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.
Links
CZ.1.07/2.2.00/28.0216, interní kód MUName: Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (Acronym: logika-ramec-rozvoje)
Investor: Ministry of Education, Youth and Sports of the CR, 2.2 Higher education
PrintDisplayed: 1/5/2024 09:24