Banner Topo 2

Programação Funcional e Lógica

Departamento Unidade
Ciência da Computação CAC - Campus de Catalão
Nome da Disciplina Código Período
Programação Funcional e Lógica 9346  
Carga Horária Semestral Carga horária Semanal Ano Semestre
64h Teórica: 4h Práticas: 0h 2013 02
Conteúdo:
  • Cálculo Lambda
  • Python, operadores funcionais em Python
  • Eclipse
Ementa:

Introdução ao paradigma lógico. Unificação. Derivações e Resolução SLD. Técnicas de programação em lógica. Programação lógica com restrições. Introdução ao paradigma funcional. Cálculo lambda e combinadores. Mônadas. Técnicas de programação funcional.

Bibliografia:
  • APT, Krzysztof and WALLACE, Mark. Constraint Logic Programming using Eclipse. Editora Cambridge University Press, 2007. ISBN-10: 0521866286 ISBN-13: 978-0521866286.
  • BIRD, Richard.Introduction to Functional Programming using Haskell. 2nd Edition. Editora  Prentice Hall, 1998. ISBN-10: 0134843460 ISBN-13: 978-0134843469
  • DOETS, Kees. From Logic to Logic Programming. Editora MIT Press, 1994. ISBN-10: 0262041421 ISBN-13: 978-0262041423
  • HINDLEY, J. Roger  and SELDIN, Jonathan P. Lambda-Calculus and Combinators: an introduction. 2nd edition. Editora Cambridge University Press, 2008. ISBN-10: 0521898854 ISBN-13: 978-0521898850
  • DOETS, Kees and EIJCK, van Jan. The Haskell Road to Logic, Maths and Programming. Editora College Publications, 2004. ISBN-10: 0954300696 ISBN-13: 978-0954300692.
  • BRAMER, Max. Logic Programming with Prolog. Editora Springer, 2005. ISBN-10: 1852339381 ISBN-13: 978-1852339388.
  • BRATKO, Ivan. PROLOG Programming for Artificial Intelligence. 4th edition. Editora Addison-Wesley, 2011. ISBN-10: 0321417461 ISBN-13: 978-0321417466