-
To se mi líbí
-
Doporučit
Dobrý den,
obracím se na vás s dotazem. Jsem právě v procesu učení se programovacího jazyka prolog který je založen na predikátové logice prvního řádu a obecně celkově na logice. Proto jsem se vás chtěla zeptat, jestli existuje nějaký zdroj (kniha, časopis, monografie, webová stránka, skripta....), který je cvičebnicí logiky. Myslím tím něco, kde by bylo uvedeno zadání příkladu a třeba i jho řešení (výsledek). Něco jako bývají cvičebnice s příklady v matematice. Popřípadě kde je tento dokument k dostání (dá se někde koupit, vypůjčit, objednat, je dostupný online...?)?.
Děkuji za odpověď.
Dobrý den,
z elektronického katalogu Národní knihovny ČR, v bázi NKC na www.nkp.cz, katalogy a databáze, jsme vybrali následující knihy:
Buchtela, David, 1974-
Cvicebnice z predmetu Architektura pocitacu / David Buchtela, Dana Vynikarova. -- Vyd. 1.. -- V Praze : Ceska zemedelska univerzita, Provozne ekonomicka fakulta, 2010. -- 85 s. : il. ; 29 cm
ISBN 978-80-213-2073-4 (broz.) : Kc 80,00 : 2. dotisk Kc 83,00
* matematicka logika
* logicke obvody
* hardware
* ucebnice vysokych skol * prakticka cviceni
Signatury:* 54 D 165386* 54 D 171990* 54 D 175987
Dvorackova, Kamila, 1978-
Logika v prijimacich testech na pravnicke fakulty : [prakticky pruvodce a cvicebnice : teorie, priklady s resenim, priklady k procvicovani / napsala Kamila Dvorackova]. -- 2., rozs. vyd.. -- Praha : Tutor, 2003. -- 177 s. : il. ; 21 cm. -- (Prijimaci zkousky na vysoke skoly)
ISBN 80-86700-05-4 (broz.)
* prijimaci zkousky
* logika
* vysoke skoly
* testy * prirucky
Signatury:* 54 H 231552
Mildeova, Stanislava, 1959-
Systemy pro podporu rozhodovani : cvicebnice / Stanislava Mildeova. -- Vyd. 1.. -- Praha : Oeconomica, 2009. -- 100 s. : il. ; 30 cm
ISBN 978-80-245-1631-8 (broz.) : Kc 229,00
* podpora rozhodovani
* manazerske hry
* ucebnice vysokych skol * prakticka cviceni
Signatury:* 54 D 163419
Kotlan, Igor, 1974-
Testy obecnych studijnich predpokladu a zaklady logiky / Igor Kotlan a kol.. -- 9. vydani. -- Brno : Institut vzdelavani Sokrates, 2009-2017. -- 2 svazky (iii, 219; iv, 209 stran) : ilustrace ; 21 cm
ISBN 978-80-86572-62-8 (1. dil ; brozovano). -- ISBN 978-80-86572-81-9 (2. dil ; brozovano)
* studijni predpoklady
* logika
* prijimaci zkousky
* vysoke skoly
* prirucky * testy
Signatury:* 54 H 324826* 54 H 394393
Doporučujeme, abyste se i sama podívala do elektronického katalogu NK ČR na www.nkp.cz, katalogy a databáze, báze NKC - knihy. Lze zde vyhledávat podle předmětových hesel (klíčových slov). Třeba tam ještě najdete nějakou jinou literaturu, která Vás osloví. Některé učebnice logiky zmiňují i vyhledávače, např. google.cz a jsou k dostání na knižním trhu, např. v knihkupectví Kosmas.
Výpočetní technika
Praha
22.01.2018 08:00