Anul II, PP - Paradigme de Programare
Curs: Cristian Giumale
Materiale de curs:
- Curs 1 [pdf]
- Curs 2 [pdf]
- Curs 3 [pdf]
- Curs 4 [pdf]
- Curs 5 [pdf]
- Curs 6 [pdf]
- Curs 7 [pdf]
- Curs 8 [pdf]
- Curs 9 [pdf]
- Curs 10 [pdf]
- Curs 11 [pdf]
- Curs 12 [pdf]
- Curs 13 [pdf]
- Curs 14 [pdf]
- Curs (Engleza) - 1.Introduction to lambda calculus [pdf]
- Curs (Engleza) - 2.Lambda Calculus as a Programming Language [pdf]
- Curs (Engleza) - 3.Functional Programming in Scheme [pdf]
- Curs (Engleza) - 4.Lazy Evaluation and Parameter Transfer [pdf]
- Curs (Engleza) - 5.Continuations, Exceptions, Coroutines and Generators [pdf]
- Curs (Engleza) - 6.Functional Programming With Static Typing in Haskell [pdf]
- Curs (Engleza) - 7.Functional Programming with Static Typing in Caml [pdf]
- Curs (Engleza) - 8.Type Reconstruction [pdf]
- Curs (Engleza) - 9.The Markov Algorithmic Machine [pdf]
- Curs (Engleza) - 10.Control Flow in the Markov Algorithmic Machine [pdf]
- Curs (Engleza) - 11.CLIPS: A Rule-Based Programming Language [pdf]
- Curs (Engleza) - 12.The Control Flow in CLIPS [pdf]
- Curs (Engleza) - 13.Non-Determinacy and Other Interesting Features of CLIPS [pdf]
- Curs (Engleza) - 14.A CLIPS Case Study: A Solution for the Blocks-World Problem [pdf]
- Curs (Engleza) - 15.First-Order Logic and Logic Programming [pdf]
- Curs (Engleza) - 16.From First-Order Logic to Prolog [pdf]
- Curs (Engleza) - 17.Logic Programming in Prolog [pdf]
- Curs (Engleza) - 18.Proof by Refutation [pdf]
- Curs 4 transcris [zip]
- Calculul lambda ca limbaj de programare.pdf
- Clips studiu de caz.pdf
- Continuari, exceptii, coroutine si generatori.pdf
- De la FOL la Prolog.pdf
- Elemente de programare in Caml.pdf
- Elemente de programare in Haskell.pdf
- Evaluare lenesa si transferul parametrilor.pdf
- Giumale - note de curs - despre clase.txt
- Giumale - note de curs - Just_Run_Haskell.txt
- Introducere in calcul lambda.pdf
- Logica de ordinul I si programare logica.pdf
- Masina algoritmica Markov.pdf
- Mecanisme de control in Clips.pdf
- Nedeterminism si alte particularitati Clips.pdf
- O demonstratie prin contradictie in FOL si Prolog.pdf
- Programare cu algoritmi normali.pdf
- Programare declarativa in Clips.pdf
- Programare in Scheme.pdf
- Programare logica in Prolog.pdf
- Sinteza de tip.pdf
- curs1.pdf
- curs10.pdf
- curs10.zip
- curs11.pdf
- curs11.zip
- curs12.pdf
- curs13.pdf
- curs13.zip
- curs2-ex.rkt.rkt
- curs2.pdf
- curs3-ex.rkt.rkt
- curs3.pdf
- curs4-ex.rkt.rkt
- curs4.pdf
- curs5.pdf
- curs5.rkt.rkt
- curs7.pdf
- curs7.rkt.rkt
- curs8.pdf
- curs9.pdf
- curs9.zip
- haskell library example.zip
- indrumar prolog.ZIP
- Tester-tema1.scm
Laboratoare:
- lab1 - Tipuri de date.pdf
- lab10 - Clips.pdf
- lab11 - Prioritati pt reguli, functii.pdf
- lab12a - Entitatile limbajului Prolog.pdf
- lab12b - Structuri, operatori, liste.pdf
- lab3 - Variabile in Scheme.pdf
- lab4 - Macrouri, functii cu nr variabil de arg, continuari.pdf
- lab5 - Combinatori de punct fix, stream-uri.pdf
- lab7 - Stream-ul si list comprehension in Haskell.pdf
- lab8 - Arbori binari, supraincarcarea operatorilor.pdf
- lab9 - Introducere in Clips.pdf
- PP_Tema1.zip
- rezolvari test lab2.rtf
- stil-scheme.txt
- tema1.pdf
- tema2 arhiva.zip
- test lab 3 v2.rtf
- test lab 3.rtf
- test lab 4 v2.txt
- test lab 4.txt
- test lab 6.rtf
- test lab 7.rtf
- test lab 8.rtf
- test lab 9.rtf
- test lab13.rtf
- Arhiva laboratoare [zip]
- AMogos_Prolog1.pdf
- AMogos_Prolog2.pdf
- Computing_with_DNA.pdf
- curs 18 martie.scm
- exemple.pl
- Exemplu TMS.CLP
- lazy_queens.scm
- microScheme.scm
- path.CLP
- promisiuni.scm
- Queens.hs
- regine.CLP
- Regine_cu_module_si_pozitie.CLP
- 10.regine-defmodule.clp
- 10hartatest.gif
- Clips_control.pdf
- lab1 - rezolvat.rkt.rkt
- lab1.rkt.rkt
- lab10.clp
- lab10.pdf
- lab11.clp
- lab11.pdf
- lab12-doc.pl
- lab12.pdf
- lab12.pl
- lab13.pdf
- lab13.pl
- lab2 - rezolvat.rkt.rkt
- lab2-doc.rkt.rkt
- lab2.pdf
- lab2.rkt.rkt
- lab3-doc.rkt.rkt
- lab3-rezolvat.rkt.rkt
- lab3.pdf
- lab3.rkt.rkt
- lab4-doc.rkt.rkt
- lab4.pdf
- lab4.rkt.rkt
- lab5-doc.rkt.rkt
- lab5.pdf
- lab5.rkt.rkt
- lab6-doc.rkt.rkt
- lab6.rkt.rkt
- lab7.hs
- lab7.pdf
- lab8.hs
- lab8.pdf
- lab9.clp
- lab9.pdf
- tema1.pdf
- tema2.pdf
Alte materiale:
prin Revolut
