To jest stara wersja strony!
Paradygmaty Programowania
PROLOG - wykład: Plan i realizacja
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. [29.03.2018; ALi]
E-learning: [5.03.2018; ALi]
Zaawansowane definicje operacji na listach. Prolog: reprezentacja i przetwarzanie wiedzy. Metaprogramowanie. [12.03.2018; ALi]
Programowanie deklaratywne a proceduralne. Prolog a Python - porównanie wybranych konstrukcji. B-Prolog. ASP. Problog. Picat. [19.03.2018; ALi]
E-Learning: Prolog: programowanie deklaratywne. [materiał fakultatywny]
Prolog
Wprowadzenie do języka Haskell. i dalej…
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).
Materiały do Prologu