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:



Previous
Next