Dane EU modułowego:
Kod:
M_U002
Kategoria:
Umiejętności
Moduł:
Automaty i Sieci Petriego ()
Efekt kształcenia:
Potrafi rozpoznać problemy rozstrzygalne i nierozstrzygalne z zakresu automatów, gramatyk i językow odpowiadajacych hierarchi Chomsky’ego
Powiązania z KEU:
  • MAT2A_U01
    posiada umiejętności konstruowania rozumowań matematycznych: dowodzenia twierdzeń, jak i obalania hipotez poprzez konstrukcje i dobór kontrprzykładów
  • MAT2A_U03
    posiada umiejętność sprawdzania poprawności wnioskowań w budowaniu dowodów formalnych
  • MAT2A_U13
    umie, na poziomie zaawansowanym i obejmującym matematykę współczesną, stosować oraz przedstawiać w mowie i na piśmie, metody co najmniej jednej wybranej gałęzi matematyki: analizy matematycznej i analizy funkcjonalnej, teorii równań różniczkowych i układów dynamicznych, algebry i teorii liczb, geometrii i topologii, rachunku prawdopodobieństwa i statystyki, matematyki dyskretnej i teorii grafów, logiki i teorii mnogości
  • MAT2A_U19
    rozumie matematyczne podstawy analizy algorytmów i procesów obliczeniowych
  • MAT2A_U21
    umie stosować metody komputerowo wspomaganego dowodzenia twierdzeń oraz logicznego wspomagania weryfikacji i specyfikacji programów