Constraint Programming/Programowanie z ograniczeniami 2022 [PzO/CP]
Uczelniana Inauguracja Roku Akademickiego. [-PzO/4.10.2022 CP]
Introduction to Constraint Programming. Introduction to MiniZinc. [10/18.10.2022; pages 1-24; ALi]
MiniZinc Intro
Introduction to MIniZinc. Basic Examples. Constraint Satisfaction and Optimization. SAT as CP, [24.10.2022/15.11.2022; ALi]
MiniZinc. More Complex Examples. [7.11.2022/29.11.2022; Ali]
MiniZinc. Further Examples. [21.11.2022/13.12.2022]
-
Constraint Programming. A Look at the Theoretical Foundations. Constraint Propagation and Efficiency Issues. [19.12.2022/10.01.2023]
Constraint Logic Programming. Prolog. Picat. [2.01.2023-godziny rektorskie/24.01.2023]
Selected support:
Programowanie z ograniczeniami 2021
Wprowadzenie do programowania z ograniczeniami. Wprowadzenie do systemu MiniZinc. [5.10.2021;pages 1-24; ALi]
MiniZinc Intro
-
MiniZinc. Poszukiwanie rozwiązania dopuszczalnego i optymalnego. Elementarne przykłady logiczne (SAT, Logical Consequence) i arytmetyczne (Money-Change; SEND+MOST=MONEY). [2.11.2021; ALi]
MiniZinc - kontynuacja. Tablice i zbiory. Predykaty, funkcje, procedury lokalne. Przykłady zastosowań. [16.11.2021; ALi]
E-Learning: MiniZinc.: dokończenie. Podstawy teoretyczne programowania z ograniczeniami. Algorytmy propagacji ograniczeń. [30.11.2021]
ZMIANA: Spotkanie na MS TEAMS - prowadzi mgr Mateusz Ślażyński: Wprowadzenie do projektów [14.12.2021]; MSl]
Podstawy teoretyczne programowania z ograniczeniami. Algorytmy propagacji ograniczeń. Prolog+biblioteka clp(fd), Picat, Python+Constraints, Python+Numberjack [11.01.2022; ALi] - Wykład on-line na Upel/Moodle: 9:35-11:05
Programowanie z ograniczeniami - 2020
Wprowadzenie do programowania z ograniczeniami. Wprowadzenie do systemu MiniZinc. [6.10.2020;pages 1-28; ali]
MiniZinc Intro
Wprowadzenie do systemu MiniZinc. Elementarne przykłady logiczne (SAT,Logical Consequence) i arytmetyczne (Money-Change; SEND+MORE=MONEY). [13.10.2020; pages 28-34; ali]
Przykłady z wykładu 13.10.2020
Wprowadzenie do MiniZinc. Constraint Satisfaction and Optimization Problems. Selected more advanced language constructions. [20.10.2020; ali]
Przykłady z wykładu 20.10.2020
Wprowadzenie do MiniZinc - dokończenie. Constraint Satisfaction and Optimization Problems. Selected more advanced language constructions. [27.10.2020; ali]
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]
-
-
Wybrane linki i materiały:
Tools:
Laboratoria:
Repozytorium z materiałami do laboratoriów jest dostępne na gitlabie.
Użyteczne linki również na stronie:
Knowledge Representation and Reasoning