Další formáty:
BibTeX
LaTeX
RIS
@book{1323405, author = {Mráková, Eva and Popelínský, Lubomír}, address = {Brno}, edition = {1. vyd.}, location = {Brno}, isbn = {978-80-210-7843-7}, publisher = {Masarykova univerzita}, title = {Sbírka řešených úloh z logiky pro informatiky}, year = {2015} }
TY - BOOK ID - 1323405 AU - Mráková, Eva - Popelínský, Lubomír PY - 2015 TI - Sbírka řešených úloh z logiky pro informatiky PB - Masarykova univerzita CY - Brno SN - 9788021078437 N2 - 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. ER -
MRÁKOVÁ, Eva a Lubomír POPELÍNSKÝ. \textit{Sbírka řešených úloh z logiky pro informatiky}. 1. vyd. Brno: Masarykova univerzita, 2015, 80 s. ISBN~978-80-210-7843-7.
|