Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 001153862

Navigace: https://aleph.vkol.cz/pub / svk01 / 00115xxxx / 0011538xx / 001153862.htm

Chcete-li získat tento dokument, vstupte přímo do katalogu. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

ISBN978-80-210-7843-7 (brožováno)
Kód předm.kateg.510 Obecné úvahy o matematice
Kód předm.kateg.37.016 Učební osnovy. Vyučovací předměty. Učebnice
MDT510.633
MDT510.635
MDT(075.8)
MDT(076.1/.3)
HZ-Osobní jménoMráková, Eva
Názvové údajeSbírka řešených úloh z logiky pro informatiky / Eva Mrákotová, Lubomír Popelínský
Varianta názvuSbírka úloh z logiky
Údaje o vydáníVydání první
NakladatelBrno : Masarykova univerzita, 2015
Údaje fyz.popisu79 stran : ilustrace ; 30 cm
Typ obsahutext txt
Typ médiabez média n
Typ nosičesvazek nc
Všeobecná pozn.Název z obálky
Všeobecná pozn.Nad názvem: Fakulta informatiky Masarykovy univerzity
Všeobecná pozn.400 výtisků
Pozn.o bibliogr.Obsahuje bibliografii
Předm.-Věc.témavýroková logika úlohy
Předm.-Věc.témapredikátová logika úlohy
Předm.-angl.propositional calculus problems, exercises, etc
Předm.-angl.predicate calculus problems, exercises, etc
Žánr/formaučebnice vysokých škol
Žánr/formasbírky úloh
Žánr/formatextbooks (higher)
Žánr/formaexaminations, questions, etc
VZ-Osobní jm.Popelínský, Lubomír
VZ-KorporaceMasarykova univerzita. Fakulta informatiky
ISBN-pom.údaje9788021078437 1. vydání 20160126
Sigla,sign.vlastn.OLA001 2-030.006
Počet exemplářů0 1