Optymalizacja kombinatoryczna I-NM3O>OK
Jeszcze nie wprowadzono opisu dla tego przedmiotu...
|
W cyklu 2022/2023-Z:
Celem zajęć w tym module jest przygotowanie studentów do dokładnego i efektywnego rozwiązywania trudnych zadań optymalizacji dyskretnej. Rozpatrywanych jest pięć metod: (i) programowanie dynamiczne (np. w języku C++), (ii) algorytm podziału i ograniczeń (np. w języku C++), (iii) programowanie liniowe w tym całkowitoliczbowe (np. na podstawie języka MathProg), (iv) definiowanie problemów jako zadanie spełnialności formuły logicznej z wykorzystaniem leżących w jej osnowie różnych teorii (np. na podstawie biblioteki Z3) oraz (v) programowanie logiczne z poszukiwaniem stabilnych modeli (np. na podstawie języka AnsProlog). Dzięki temu student powinien wykazać się pełnym zrozumieniem tematyki związanej ze stosowaniem klasycznych i nowoczesnych dokładnych metod optymalizacyjnych. |
W cyklu 2023/2024-Z:
Celem zajęć w tym module jest przygotowanie studentów do dokładnego i efektywnego rozwiązywania trudnych zadań optymalizacji dyskretnej. Rozpatrywanych jest pięć metod: (i) programowanie dynamiczne (np. w języku C++), (ii) algorytm podziału i ograniczeń (np. w języku C++), (iii) programowanie liniowe w tym całkowitoliczbowe (np. na podstawie języka MathProg), (iv) definiowanie problemów jako zadanie spełnialności formuły logicznej z wykorzystaniem leżących w jej osnowie różnych teorii (np. na podstawie biblioteki Z3) oraz (v) programowanie logiczne z poszukiwaniem stabilnych modeli (np. na podstawie języka AnsProlog). Dzięki temu student powinien wykazać się pełnym zrozumieniem tematyki związanej ze stosowaniem klasycznych i nowoczesnych dokładnych metod optymalizacyjnych. |
W cyklu 2024/2025-Z:
Celem zajęć w tym module jest przygotowanie studentów do dokładnego i efektywnego rozwiązywania trudnych zadań optymalizacji dyskretnej. Rozpatrywanych jest pięć metod: (i) programowanie dynamiczne (np. w języku C++), (ii) algorytm podziału i ograniczeń (np. w języku C++), (iii) programowanie liniowe w tym całkowitoliczbowe (np. na podstawie języka MathProg), (iv) definiowanie problemów jako zadanie spełnialności formuły logicznej z wykorzystaniem leżących w jej osnowie różnych teorii (np. na podstawie biblioteki Z3) oraz (v) programowanie logiczne z poszukiwaniem stabilnych modeli (np. na podstawie języka AnsProlog). Dzięki temu student powinien wykazać się pełnym zrozumieniem tematyki związanej ze stosowaniem klasycznych i nowoczesnych dokładnych metod optymalizacyjnych. |
Koordynatorzy przedmiotu
<b>Ocena końcowa</b>
<b>Wymagania wstępne</b>
<b>Literatura podstawowa</b>
<b>Literatura uzupełniająca</b>
<b>Inne informacje</b>
Efekty kształcenia
Wiedza
Posiada rozszerzoną i pogłębioną wiedzę w zakresie niektórych działów matematyki, obejmującą elementy teorii mnogości, matematyki dyskretnej i stosowanej, w tym metody matematyczne do modelowania problemów optymalizacyjnych
Powiązane efekty kierunkowe:
IF2A_W01
Metody weryfikacji:
Kolokwium:Posiada rozszerzoną i pogłębioną wiedzę w zakresie niektórych działów matematyki, obejmującą elementy teorii mnogości, matematyki dyskretnej i stosowanej, w tym metody matematyczne do modelowania problemów optymalizacyjnych
Wiedza
Ma rozszerzoną wiedzę w zakresie teorii algorytmów oraz ich praktycznych zastosowań
Powiązane efekty kierunkowe:
IF2A_W02
Metody weryfikacji:
Kolokwium:Ma rozszerzoną wiedzę w zakresie teorii algorytmów oraz ich praktycznych zastosowań. Program
z zastosowaniem wybranego
algorytmu
Umiejętności
Umie opracować szczegółową dokumentację dotyczącą realizacji zadania projektowego i przygotować opracowanie wyników realizacji tego zadania
Powiązane efekty kierunkowe:
IF2A_U03
Metody weryfikacji:
Kolokwium:Umie opracować szczegółową dokumentację dotyczącą realizacji zadania projektowego i przygotować opracowanie wyników realizacji tego zadania. z zastosowaniem wybranego
algorytmu
Umiejętności
Umie stworzyć model matematyczny w dziedzinie informatyki i dokonać analizy opisu formalnego
Powiązane efekty kierunkowe:
IF2A_U07
Metody weryfikacji:
Kolokwium:Umie stworzyć model matematyczny w dziedzinie informatyki i dokonać analizy opisu formalnego. Program
z zastosowaniem wybranego
algorytmu
Umiejętności
Potrafi posługiwać się językiem angielskim w stopniu wystarczającym do porozumiewania się, a także do czytania ze zrozumieniem dokumentacji technicznej i wygłoszenia krótkiej prezentacji na temat realizacji zadania projektowego (umiejętności zgodne z wymaganiami określonymi dla poziomu B2 Europejskiego Systemu Opisu Kształcenia Językowego)
Powiązane efekty kierunkowe:
IF2A_U06
Metody weryfikacji:
Kolokwium:Potrafi posługiwać się językiem angielskim w stopniu wystarczającym do porozumiewania się, a także do czytania ze zrozumieniem dokumentacji technicznej i wygłoszenia krótkiej prezentacji na temat realizacji zadania projektowego (umiejętności zgodne z wymaganiami określonymi dla poziomu B2 Europejskiego Systemu Opisu Kształcenia Językowego). Program
z zastosowaniem wybranej biblioteki opisanej w języku ang.
Kompetencje społeczne
Rozumie potrzebę i zna możliwości ciągłego dokształcania się – podnoszenia kompetencji zawodowych, osobistych i społecznych
Powiązane efekty kierunkowe:
IF2A_K01
Metody weryfikacji:
Ocena aktywności na zajęciach:Rozumie potrzebę i zna możliwości ciągłego dokształcania się – podnoszenia kompetencji zawodowych, osobistych i społecznych.