Logika a logické programování
Další literatura
Doporučená literatura
- DUŽÍ, Marie. Matematická logika. Skripta VŠB-TU v Ostravě.
- TRLIFAJOVÁ, Kateřina a Daniel VAŠATA. Matematická logika. V Praze: České vysoké učení technické, 2013. ISBN 978-800-1053-423.
- LUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997.
- JIRKŮ, Petr a Jiřina VEJNAROVÁ. Formální logika: neformální výklad základů formální logiky. Vyd. 2. V Praze: Oeconomica, 2005. ISBN 978-802-4509-747.
- JIRKŮ, Petr. Programování v jazyku PROLOG. Praha: SNTL, 1991. ISBN 978-800-3006-090.
- GALLIER, Jean H. Logic for computer science: foundations of automatic theorem proving. Second edition. Mineola, New York: Dover Publications, 2015. ISBN 978-048-6780-825.
- NIEVERGELT, Yves a Yves. NIEVERGELT. Logic, mathematics, and computer science: modern foundations with practical applications. Second edition. New York,: Springer, 2015. ISBN 978-149-3932-221.
- BEN-ARI, M. Mathematical logic for computer science. Third edition. New York: Springer, 2012. ISBN 978-144-7141-280.
Odkazy - Prolog:
- SWI-Prolog - web projektu, věnujte pozornost zejména položkám menu Download a Tutorials.
- Demonstrační příklady v Prologu
- O Prologu od Bartáka
- Adventure in Prolog (Dobrodružství v Prologu) - psáno pro Amzi! Prolog, ale ve SWI-Prologu je to podobné
- Expert system in Prolog (Tvorba expertního systému v Prologu) - taktéž pro Amzi! Prolog
Next