To jest stara wersja strony!
Paradygmaty Programowania
WYKŁADY: Programowanie w Logice (Prolog)
Programowanie w Logice: Edycja 2018 (zima; 3h/week)
Paradygmaty programowania: klasyfikacje języków programowania. Języki proceduralne a deklaratywne. Programowanie logiczne: Prolog. Intuicyjne przedstawienie Prologu. Składnia Prologu. Model obliczeniowy: implementacja DFS, nawroty, backtracking. Indeterminizm. Zmienne i ich rola. 10 prostych przykładów [5.10.2018; ALi]
Prolog: składnia i semantyka. Termy. Unifikacja. Pamięć wewnętrzna. Struktury listowe. Konstrukcja, rola i obsługa list. Predykaty member/2, select/3 i append/2. [12.10.2018; ALi]
Wykład w dn. 19.10.2018 nie odbędzie się [ALi]
Plan na dziś: Struktury listowe. Termy a listy. Konstrukcja, rola i obsługa list. Predykaty member/2, select/3 i append/2.Interpretacja działania - drzewo wnioskowania. Listy jako sekwencje, zbiory i zbiory z powtórzeniami. Wybrane operacje na listach. Przykłady zaawansowanych definicji/zadania. [26.10.2018; ALi]
Prolog: Struktury listowe. Sortowanie. Operacje zaawansowane. Rekurencja a iteracje. Metapredykaty operacji na listach. [9.11.2018; ALi]
Zaawansowane definicje operacji na listach. Prolog: reprezentacja i przetwarzanie wiedzy. Metaprogramowanie. Programowanie z ograniczeniami (Constraint Programming). Biblioteka clpfd. [16.11.2018; ALi]
Programowanie deklaratywne a proceduralne. Prolog a Python - porównanie wybranych konstrukcji. Programowania z ograniczeniami (clp(fd)). ECLiPSe CLP. B-Prolog. Numberjack. ASP. Problog. Picat. [materiał fakultatywny]
E-Learning: Prolog: programowanie deklaratywne. [materiał fakultatywny]
Prolog
Propozycje prezentacji do przygotowania w ramach samodzielnej aktywności:
Inne - do uzgodnienia.
Selected links:
—-
Edycja 2018 (3h/week)
Paradygmaty programowania: klasyfikacje języków programowania. Języki proceduralne a deklaratywne. Programowanie logiczne: Prolog. Intuicyjne przedstawienie Prologu. Składnia Prologu. Model obliczeniowy: implementacja DFS, nawroty, backtracking. Indeterminizm. Zmienne i ich rola. 10 prostych przykładów [1.03.2018; ALi]
-
Prolog: składnia i semantyka. Termy. Unifikacja. Pamięć wewnętrzna. Struktury listowe. Konstrukcja, rola i obsługa list. Predykaty member/2, select/3 i append/2. [15.03.2018; ALi]
Prolog: Struktury listowe. Sortowanie. Operacje zaawansowane. Rekurencja a iteracje. Metapredykaty operacji na listach. [22.03.2018; ALi]
E-learning: Zadania do rozwiązania - z wykładu [Prolog-lists: str. 14]. [29.03.2018; ALi]
-
Zaawansowane definicje operacji na listach. Prolog: reprezentacja i przetwarzanie wiedzy. Metaprogramowanie. [12.04.2018; ALi]
Programowanie deklaratywne a proceduralne. Prolog a Python - porównanie wybranych konstrukcji. Programowania z ograniczeniami (clp(fd)). ECLiPSe CLP. B-Prolog. Numberjack. ASP. Problog. Picat. [19.04.2018; ALi]
E-Learning: Prolog: programowanie deklaratywne. [materiał fakultatywny]
Prolog
Wprowadzenie do języka Haskell. [26.04.2018; PTM]
Edycja 2017 (3h/week)
Paradygmaty programowania: klasyfikacje języków programowania. Języki proceduralne a deklaratywne. Programowanie logiczne: Prolog. Intuicyjne przedstawienie Prologu. Składnia Prologu. Model obliczeniowy: implementacja DFS, nawroty, backtracking. Indeterminizm. Zmienne i ich rola. 10 prostych przykładów [2.03.2017; ALi]
Prolog: składnia i semantyka. Termy. Unifikacja. Pamięć wewnętrzna. Struktury listowe. Konstrukcja, rola i obsługa list. Predykaty member/2, select/3 i append/2. [9.03.2017; ALi]
Prolog: Struktury listowe. Sortowanie. Operacje zaawansowane. Rekurencja a iteracje. Metapredykaty operacji na listach. [16.03.2017; ALi]
Zaawansowane definicje operacji na listach. Prolog: reprezentacja i przetwarzanie wiedzy. Metaprogramowanie. [23.03.2017; ALi]
Wprowadzenie do języka Python. Prolog a Python - porównanie wybranych konstrukcji. ASP. Problog. Picat. [30.03.2017; ALi]
E-Learning: Prolog: programowanie deklaratywne. [materiał fakultatywny]
Prolog
Wprowadzenie do języka Haskell. i dalej…
Edycja 2016 (3h/week)
Paradygmaty programowania: klasyfikacje języków programowania. Języki proceduralne a deklaratywne. Programowanie logiczne: Prolog. Intuicyjne przedstawienie Prologu. Składnia Prologu. Model obliczeniowy: implementacja DFS, nawroty, backtracking. Indeterminizm. Zmienne i ich rola. Termy. [26.02.2016; ALi]
Prolog: składnia i semantyka. Termy. Unifikacja. Pamięć wewnętrzna. Struktury listowe. Konstrukcja, rola i obsługa list. Predykaty member/2, select/3 i append/2. [4.03.2016; ALi]
Prolog: Struktury listowe. Sortowanie. Operacje zaawansowane. Metapredykaty operacji na listach. [11.03.2016; ALi]
Wprowadzenie do języka Haskell. [18.03.2016; PTM]
Prolog: reprezentacja i przetwarzanie wiedzy. Metaprogramowanie. [31.03.2016; ALi]
Wprowadzenie do języka Python. [7.04.2016; ALi]
E-Learning: Prolog: programowanie deklaratywne. [materiał fakultatywny]
Prolog
Haskell [14.04.2016] i dalej…
Edycja 2015 (3h/week)
Paradygmaty programowania: klasyfikacje języków programowania. Języki proceduralne a deklaratywne. Programowanie logiczne: Prolog. Intuicyjne przedstawienie Prologu. Składnia Prologu. Model obliczeniowy: implementacja DFS, nawroty, backtracking. Indeterminizm. Zmienne i ich rola. Termy. [5.03.2015]
E-Learning: Prolog: programowanie deklaratywne. [12.03.2015]
Data Structures + Lists (Do przerobienia:
First Steps in Prolog oraz
Prolog Data Structures: List Processing).
Prolog: składnia i semantyka. Termy. Unifikacja. Pamięć wewnętrzna.
Prolog: struktury listowe. Konstrukcja, rola i obsługa list. Predykaty member/2, select/3 i append/2.
Prolog: wybrane zagadnienia zaawansowane.
Edycja 2014 (3h/week)
Paradygmaty programowania: klasyfikacje języków programowania. Programowanie logiczne: Prolog. Intuicyjne przedstawienie Prologu. [6.03.2014]
Prolog: programowanie deklaratywne. Model obliczeniowy: implementacja DFS, nawroty, backtracking. Indeterminizm. Zmienne i ich rola. [13.03.2014]
Prolog: składnia i semantyka. Termy. Unifikacja. Pamięć wewnętrzna. [20.03.2014]
Prolog: struktury listowe. Konstrukcja, rola i obsługa list. Predykaty member/2, select/3 i append/2. [27.03.2014]
E-learning: Prolog: wybrane zagadnienia zaawansowane. [3.04.2014]
Data Structures + Lists (Do przerobienia:
First Steps in Prolog oraz
Prolog Data Structures: List Processing).
LABORATORIUM
Prolog
Haskell