Celem tego kursu jest zapoznanie studentów z podstawowymi algorytmami używanymi w Badaniach Operacyjnych. Zaczynając od programowania liniowego (implementujemy Simplex), przechodząc do ścieżki krytycznej i algorytmu węgierskiego. Zajęcia kończą się implementacją solverów programowania całkowitoliczbowego opartych o metodę podziału i ograniczeń. Wszystkie algorytmy są implementowane w języku Python.

Poprawna nazwa tego kursu to: “MiniZinc — od zera do bohatera”. Celem kursu jest nauczenie studentów rozwiązania rzeczywistych problemów optymalizacyjnych używając języka MiniZinc. Prócz podstawowych pojęć i technik, studenci nauczą się korzstać z solverów MIP i stosować Large Neighorhood Search.

Deklaratywne programowanie to świetna idea, a nie ma nic bardziej deklaratywnego od logiki. Ten kurs uczy programowania w Prologu — języku programowania w logice. Jakkolwiek nie jest to najbardziej popularny język w przemyśle, z pewnością poszerzy horyzonty każdego programisty i pokaże mocne strony deklaratywnego paradygmatu programowania.

Łagodny wstęp do świata rachunku lambda i semantyki operacyjne. Kurs ma formę prowadzonego projektu w języku Python (interpreter języka programowania). Bazuje na świetnej książce.

Wprowadzenie do sztucznej inteligencji od strony podejmowania decyzyji w sztucznych środowiskach: planowanie, gry, uczenie ze wzmacnianiem.

Nie zajęcia per se, ale kącik czytelniczy na temat książek zahaczających o tematy informatyczne. Prowadzone zdalnie na Discordzie. Na razie przeczytaliśmy trzy tytuły: Game Theory: introduction, Reinforcement Learning: An Introduction, Naked Statistics. Kolejny tytuł jeszcze nie został wybrany. Napisz do mnie, jeżeli chcesz dołączyć.