Constraint Programming/Programowanie z Ograniczeniami 2023/2024-winter [CP-CS/PzO-Inf]
Introduction to Constraint Programming. Syllabus. Basic Examples. CP as Problem-Solving. Introduction to MiniZinc. [3.10.2023-ISI;ali][2.10.2023-WIET; e-lerning; 16.10.2023]
Introduction to Constraint Programming. Backtracking Search. Deduction and Abduction. Constraint Propagation. Basic Problem-Solving in MiniZinc and Prolog. [10.10.2023;ali][30.10.2023-WIET;ali]
Introduction to MiniZinc. Basic Examples. Constraint Satisfaction and Optimization with Constraints. Production Planning. SAT as CP. [17.10.2023-ISI;ali][13.11.2023-WIET;ali]
-
-
MiniZinc. More Complex Examples. Data Structures. Functions and Predicates. Info on Projects! [7.11.2023-ISI;ali] [27.11.2023-WIET;msz]
Some Theory: Constraint Propagation Algorithms. Prolog: CLP(FD). Picat. Logica. [14.11.2023-ISI;ali] [11.12.2023-WIET;ali]
… [8.01.2024-WIET;ali]
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