Unelte utilizator
20:cursuri:andrei
Diferențe
Aici sunt prezentate diferențele dintre versiunile selectate și versiunea curentă a paginii.
| Both sides previous revision Versiuni anterioare Urmatoarea versiune | Versiuni anterioare | ||
|
20:cursuri:andrei [2020/03/19 10:00] Andrei Olaru |
20:cursuri:andrei [2020/06/01 10:26] (curent) Andrei Olaru |
||
|---|---|---|---|
| Linia 3: | Linia 3: | ||
| **Dați Feedback!** | **Dați Feedback!** | ||
| - | [[https://acs.curs.pub.ro/2019/mod/url/view.php?id=10074|Feedback curs CC]] | + | [[https://docs.google.com/forms/d/e/1FAIpQLScs8NLzeHuCF3TenY3k9UO2HZKm_1wJhAl0ILErv75nXlbc0w/viewform|Feedback curs CC]] |
| + | |||
| + | {{ .andrei:pp-all-slides.pdf |Toate slide-urile}} + {{ .andrei:pp-handouts.pdf |Format 8 slides pe pagină}} | ||
| * {{ .andrei:pp-01-intro.pdf |Curs 1: Introducere}} | * {{ .andrei:pp-01-intro.pdf |Curs 1: Introducere}} | ||
| Linia 12: | Linia 14: | ||
| * {{ .andrei:pp-03-racket.rkt |Cod discutat la curs}} + {{ .andrei:pp-03-racket-console.txt |lucru la consolă}} | * {{ .andrei:pp-03-racket.rkt |Cod discutat la curs}} + {{ .andrei:pp-03-racket-console.txt |lucru la consolă}} | ||
| * {{ .andrei:pp-04-lambda.pdf |Curs 4: Calcul Lambda}} | * {{ .andrei:pp-04-lambda.pdf |Curs 4: Calcul Lambda}} | ||
| + | * {{ .andrei:pp-04-lambda-sumar.pdf|Rezumat reducere în calcul Lambda}} | ||
| + | * {{ .andrei:pp-04-lambda-tda.pdf|Anexă opțională TDA}} | ||
| * {{ .andrei:pp-05-racket-lazy.pdf |Curs 5: Evaluare leneșă în Racket}} | * {{ .andrei:pp-05-racket-lazy.pdf |Curs 5: Evaluare leneșă în Racket}} | ||
| * {{ .andrei:pp-05-racket-prod.rkt |cod discutat la curs}} | * {{ .andrei:pp-05-racket-prod.rkt |cod discutat la curs}} | ||
| Linia 17: | Linia 21: | ||
| * {{ .andrei:pp-05-racket-stream.rkt |cod fluxuri}} | * {{ .andrei:pp-05-racket-stream.rkt |cod fluxuri}} | ||
| * {{ .andrei:pp-05b-tabla.txt |notițe pe tablă}} la cursul de joi + exemple {{ .andrei:pp-05b-nadormap.txt |and/or map}} și {{ .andrei:pp-05b-quasiquote.txt |quasiquote}} | * {{ .andrei:pp-05b-tabla.txt |notițe pe tablă}} la cursul de joi + exemple {{ .andrei:pp-05b-nadormap.txt |and/or map}} și {{ .andrei:pp-05b-quasiquote.txt |quasiquote}} | ||
| + | * {{ .andrei:pp-05-racket-promises.pdf |Anexă opțională implementare promisiuni}} | ||
| + | * {{ .andrei:pp-06-haskell-intro.pdf |Curs 6: Introducere în Haskell}} | ||
| + | * {{ .andrei:pp-06-haskell-intro.hs |cod discutat la curs}} + {{ .andrei:pp-06-tabla.txt |"tabla"}} + {{ .andrei:pp-06-consola.txt |consola}} | ||
| + | * {{ .andrei:pp-06-tabla2.txt |tabla}} de joi 26.03 | ||
| + | * {{ .andrei:pp-07-haskell-typing.pdf |Curs 7: Tipare în Haskell}} | ||
| + | * {{ .andrei:pp-07-haskell-types-a.hs |cod discutat la curs}} | ||
| + | * {{ .andrei:pp-07-tabla.txt |tabla}} | ||
| + | * {{ .andrei:pp-07-haskell-types.hs |cod discutat la curs - preview la ce o să facem data viitoare}} | ||
| + | * {{ .andrei:pp-08-haskell-types-b.hs |cod discutat la curs 7 aprilie}} + {{ .andrei:pp-08-consola.txt |consolă}} | ||
| + | * {{ .andrei:pp-08-haskell-classes.pdf |Curs 8: Clase în Haskell}} + {{ .andrei:pp-08-haskell-classes.hs |cod discutat la curs 9 aprilie}} | ||
| + | * Curs 9: Aplicații clase: | ||
| + | * {{ .andrei:pp-09-haskell-classes-b.hs |cod discutat la curs}} | ||
| + | * {{ .andrei:pp-09-tabla.txt |tabla}} + explicații pentru conversia lui nested list}} + {{.andrei:pp-09-graf.png?linkonly|graful pe care am lucrat}} | ||
| + | * {{ .andrei:pp-09-haskell-classes-c.hs |cod discutat la curs}} + {{ .andrei:pp-09-tabla-2.txt |tabla}} | ||
| + | * {{ .andrei:pp-09-recap-functional.pdf |Concluzie paradigma funcțională}} | ||
| + | * Curs 10: Introducere în Prolog și discuție despre programare funcțională | ||
| + | * {{ .andrei:pp-10-cod-haskell.hs |cod Haskell discutat la curs}} | ||
| + | * {{ .andrei:pp-10-prolog.pl |cod Prolog discutat la curs}} | ||
| + | * {{ .andrei:pp-10-tabla.txt |notițe pe tablă}} | ||
| + | * curs 5.05: {{ .andrei:pp-11-prolog.pl |Cod discutat la curs}} și {{ .andrei:pp-11-tabla.txt |notițe pe tablă}} | ||
| + | * {{ .andrei:pp-11-lpoi.pdf |Curs 11: Logica cu predicate de ordinul I}} | ||
| + | * {{ .andrei:pp-11-tabla-lpoi.txt |notițe pe tablă}} + {{.andrei:pp-11-venn.png?linkonly|diagrame venn}} | ||
| + | * {{ .andrei:pp-12-tabla.txt |notițe 12.05}} + {{ .andrei:pp-12-bkt.pl |cod discutat la curs}} + {{.andrei:pp-12-graph.png?linkonly|graf}} | ||
| + | * Curs 13: Satisfacerea scopurilor în Prolog | ||
| + | * {{ .andrei:pp-13-prolog-plus.pl |cod discutat la curs}} | ||
| + | * {{ .andrei:pp-13-tabla.txt |notițe pe tablă}} | ||
| + | * {{ .andrei:pp-13-consola.txt |consolă pentru prima parte}} | ||
| + | * {{ .andrei:pp-13-prolog-reasoning.pdf |Slides raționament logic în Prolog}} | ||
| + | * {{ .andrei:pp-14-markov.pdf |Curs 14: mașina algoritmică Markov}} | ||
| + | * {{ .andrei:pp-14-tabla.txt |notițe pe tablă}} | ||
20/cursuri/andrei.1584604827.txt.gz · Ultima modificare: 2020/03/19 10:00 de către Andrei Olaru
