Dane EU modułowego:
Kod:
M_U003
Kategoria:
Umiejętności
Moduł:
Automaty i Sieci Petriego ()
Efekt kształcenia:
potrafi zaproponować rozwiązanie problemu, także algorytmicznego, 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_U07
    zna konstrukcję miary i całki Lebesgue’a; potrafi stosować pojęcia teorii miary w typowych zagadnieniach teoretycznych i praktycznych