| Literatura: |
Literatura podstawowa
1. Clocksin, Mellish, Prolog. Programowanie. Helion
2. Paul Hudak, John Peterson, Joseph Fasel, A Gentle Introduction to Haskell, Version 98, 2000,
wolny dostęp: https://www.haskell.org/tutorial/
Literatura uzupełniająca
3. Nilsson, Małuszyński, Programming in Prolog, Wiley & Sons Ltd, wolny dostęp: http://www.ida.liu.se/~ulfni53/lpp/
4. Harold Abelson, Gerald Jay Sussman, Julie Sussman, Struktura i interpretacja programów komputerowych, WNT.
5. Paul Hudak, John Peterson, Joseph Fasel, A Gentle Introduction to Haskell, Version 98, 2000,
wolny dostęp: https://www.haskell.org/tutorial/
6. Richard Bird, Introduction to Functional Programming using Haskell.
7. Simon Peyton Jones (ed.), Haskell 98. Language and Libraries. The Revised Report. 2002, wolny dostęp: https://www.haskell.org/definition/haskell98-report.pdf
|
| Zakres tematów: |
1. Przypomnienie wiadomości o klasycznym rachunku zdań.
2. Rezolucja.
3. SLD rezolucja.
4. Wprowadzenie do Prologa i środowiska SWI Prolog.
5. Struktura listy i operacje na niej.
6. Struktury rekurencyjne, drzewa.
7. Programowanie z akumulatorem, listy różnicowe.
8. Podsumowanie wiadomości na temat Prologa.
9. Wprowadzenie do interpretera Haskella. Podstawy definiowania funkcji w Haskellu.
10. Operacje na listach w Haskellu.
11. Typy, definiowanie typów, typy rekurencyjne, klasy typów.
12. Funkcje wyższych rzędów, uzgadnianie typów.
13. Operacje wejścia-wyjścia. Monady.
14. Struktury nieskończone.
15. Podsumowanie wiadomości z Haskella.
|
