Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja | Ostatnia wersja Both sides next revision | ||
|
pl:dydaktyka:cp:start [2020/11/03 13:18] ligeza [Programowanie z ograniczeniami] |
pl:dydaktyka:cp:start [2020/11/20 14:49] ligeza [Programowanie z ograniczeniami] |
||
|---|---|---|---|
| Linia 7: | Linia 7: | ||
| - **Wprowadzenie do MiniZinc - dokończenie. Constraint Satisfaction and Optimization Problems. Selected more advanced language constructions.** [27.10.2020; ali] {{ :pl:dydaktyka:cp:minizin-examples-27-10-2020.zip |Przykłady z wykładu 27-10-2020]}} | - **Wprowadzenie do MiniZinc - dokończenie. Constraint Satisfaction and Optimization Problems. Selected more advanced language constructions.** [27.10.2020; ali] {{ :pl:dydaktyka:cp:minizin-examples-27-10-2020.zip |Przykłady z wykładu 27-10-2020]}} | ||
| - **MiniZinc - dokończenie; wybrane przykłady zastosowania. TSP+Path. Wprowadzenie do teorii CP.** [3.11.2020; ali] | - **MiniZinc - dokończenie; wybrane przykłady zastosowania. TSP+Path. Wprowadzenie do teorii CP.** [3.11.2020; ali] | ||
| - | - <fc #008000>Podstawy teoretyczne CP. Modelowanie i propagacja ograniczeń. Wprowadzenie do Prologu i biblioteki clp(fd).</fc> [17.11.2020; ali] | + | - **Podstawy teoretyczne CP. Modelowanie i propagacja ograniczeń. Wprowadzenie do Prologu i biblioteki clp(fd).** [17.11.2020; ali]{{ :pl:dydaktyka:cp:master-clp-est.pdf |Prezentacja: CP- podstawy teoretyczne}} |
