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