Module learning outcome data:
Code:
M_U002
Category:
Skills
Module:
Combinatorial algorithms 2
Learning outcome:
Potrafi ocenić trudność problemów pod kątem wykorzystania algorytmów
Connections with FLO:
  • MAT2A_W07
    3) zna powiązania zagadnień wybranej dziedziny z innymi działami matematyki teoretycznej i stosowanej
  • MAT2A_U03
    posiada umiejętność sprawdzania poprawności wnioskowań w budowaniu dowodów formalnych
  • MAT2A_U10
    potrafi stosować metody algebraiczne (z naciskiem na algebrę liniową) w rozwiązywaniu problemów z różnych działów matematyki i zadań praktycznych
  • MAT2A_U20
    potrafi konstruować algorytmy o dobrych własnościach numerycznych, służące do rozwiązywania typowych i nietypowych problemów matematycznych
  • MAT2A_U21
    umie stosować metody komputerowo wspomaganego dowodzenia twierdzeń oraz logicznego wspomagania weryfikacji i specyfikacji programów