2018/2019 semestr zimowy


Programowanie Deklaratywne i Funkcyjne (Declarative and Functional Programming)
Zaawansowane Technologie Programistyczne
Algorytmy i Złożoność (Algorithms and Complexity)



Konsultacje:
Poniedziałki, godz. 13; czwartki, godz. 9:45; pokój 102 na Sienkiewicza
Proszę wcześniej zgłaszać się mailowo.

Tematyka prac dyplomowych:
  • SMT, SAT
  • Algorytmy ewolucyjne
  • Algorytmy hybrydowe
  • Algorytmy sztucznej inteligencji
  • Arduino
  • Automatyczne planowanie
  • Kompozycja usług sieciowych
  • Planics
  • Planer podróży
  • Optymalizacja
  • Weryfikacja modelowa
  • Bazy NoSQL
  • UML
  • Funkcyjne języki programowania
  • Zastosowanie AI w grach komputerowych