Aici sunt prezentate diferențele dintre versiunile selectate și versiunea curentă a paginii.
Both sides previous revision Versiuni anterioare Urmatoarea versiune | Versiuni anterioare | ||
bibliografie [2015/03/30 22:46] Andrei Olaru |
bibliografie [2017/05/19 22:29] (curent) Andrei Olaru |
||
---|---|---|---|
Linia 3: | Linia 3: | ||
* **Structure and Interpretation of Computer Programs**, Harold Abelson and Gerald Jay Sussman , disponibilă liber la http://mitpress.mit.edu/sicp/ | * **Structure and Interpretation of Computer Programs**, Harold Abelson and Gerald Jay Sussman , disponibilă liber la http://mitpress.mit.edu/sicp/ | ||
* sunt interesante primele 2 capitole | * sunt interesante primele 2 capitole | ||
+ | |||
+ | |||
* **The Racket Reference**, http://docs.racket-lang.org/reference/index.html | * **The Racket Reference**, http://docs.racket-lang.org/reference/index.html | ||
* este mai ales interesant capitolul 4 | * este mai ales interesant capitolul 4 | ||
+ | * **{{:pp-resurse:cheatsheet.pdf|Quick Racket Cheatsheet}}**, creat echipa de PP. | ||
+ | |||
+ | |||
* **Learn You a Haskell for Great Good!**, Miran Lipovaca, disponibilă liber online la http://learnyouahaskell.com/ | * **Learn You a Haskell for Great Good!**, Miran Lipovaca, disponibilă liber online la http://learnyouahaskell.com/ | ||
* **Haskell.org**, http://haskell.org | * **Haskell.org**, http://haskell.org | ||
Linia 12: | Linia 17: | ||
* **Haskell CheatSheet**, Justin Bailey, http://cheatsheet.codeslower.com/ | * **Haskell CheatSheet**, Justin Bailey, http://cheatsheet.codeslower.com/ | ||
* **Haskell Wikibook**, https://en.wikibooks.org/wiki/Haskell | * **Haskell Wikibook**, https://en.wikibooks.org/wiki/Haskell | ||
+ | |||
+ | |||
* **prolog :- tutorial**, J.R.Fisher, disponibil la http://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html | * **prolog :- tutorial**, J.R.Fisher, disponibil la http://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html | ||
+ | * **Prolog Wikibook**, https://en.wikibooks.org/wiki/Prolog | ||
+ | * **Handbook of Practical Logic and Automated Reasoning**, John Harrison, Cambridge University Press | ||
+ | * **Introduction to Logic**, Michael Genesereth, disponibil liber online la https://www.coursera.org/course/intrologic | ||
+ | |||