Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja Nowa wersja Both sides next revision | ||
|
pl:dydaktyka:pp:start [2018/11/08 15:30] ligeza [Programowanie w Logice: Edycja 2018 (zima; 3h/week)] |
pl:dydaktyka:pp:start [2018/11/08 15:44] ligeza [Programowanie w Logice: Edycja 2018 (zima; 3h/week)] |
||
|---|---|---|---|
| Linia 11: | Linia 11: | ||
| - **Wykład w dn. 19.10.2018 nie odbędzie się** [ALi] | - **Wykład w dn. 19.10.2018 nie odbędzie się** [ALi] | ||
| - **Struktury listowe. Termy a listy. Konstrukcja, rola i obsługa list. Predykaty member/2, select/3 i append/2. Interpretacja działania - drzewo wnioskowania, nawroty. Listy jako sekwencje, zbiory i zbiory z powtórzeniami. Wybrane operacje na listach. Przykłady zaawansowanych definicji/zadania.** [26.10.2018; ALi] | - **Struktury listowe. Termy a listy. Konstrukcja, rola i obsługa list. Predykaty member/2, select/3 i append/2. Interpretacja działania - drzewo wnioskowania, nawroty. Listy jako sekwencje, zbiory i zbiory z powtórzeniami. Wybrane operacje na listach. Przykłady zaawansowanych definicji/zadania.** [26.10.2018; ALi] | ||
| - | - <fc #ff0000>Następny wykład:</fc> <fc #ff00ff>Prolog: Struktury listowe. Sortowanie. Zaawansowane operacje na listach. Rekurencja a iteracje; pętle z fail. Metapredykaty operacji na listach.</fc> [9.11.2018; ALi] <fc #008080>Kto chciałby przygotować prezentację na 16.11.2018 - zapraszam do zgłaszania tematu na tym wykładzie (przed lub w przerwie).</fc> | + | - <fc #ff0000>Następny wykład:</fc> <fc #ff00ff>Prolog: Struktury listowe. Sortowanie. Zaawansowane operacje na listach; przykłady zadań i ich rozwiązań. Rekurencja a iteracje; pętle z fail. Metapredykaty operacji na listach. Wstęp do metaprogramowania. Przykłady metaprogramowania. </fc> [9.11.2018; ALi] <fc #008080>Kto chciałby przygotować prezentację na 16.11.2018 - zapraszam do zgłaszania tematu na tym wykładzie (przed lub w przerwie).</fc> |
| - | - Zaawansowane definicje operacji na listach. Prolog: reprezentacja i przetwarzanie wiedzy. Metaprogramowanie. Programowanie z ograniczeniami (Constraint Programming). Biblioteka clpfd. [16.11.2018; ALi] | + | - 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] | - 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] [[http://kti.mff.cuni.cz/~bartak/prolog/contents.html|Prolog]] | - E-Learning: Prolog: programowanie deklaratywne. [materiał fakultatywny] [[http://kti.mff.cuni.cz/~bartak/prolog/contents.html|Prolog]] | ||
| Linia 40: | Linia 40: | ||
| * Prolog - Books: [[http://freecomputerbooks.com/langPrologBooks.html|Free Books on Prolog]] | * Prolog - Books: [[http://freecomputerbooks.com/langPrologBooks.html|Free Books on Prolog]] | ||
| ---- | ---- | ||
| + | |||
| + | __Useful pages: courses + tutorials + examples:__ | ||
| + | |||
| + | * [[https://ktiml.mff.cuni.cz/~bartak/|Page of Roman Barták]] | ||
| + | * [[http://hakank.org/|The famous Hakank Page]] | ||
| + | |||
