pti-msc-2015-zv
pti-msc-2015-zv copied to clipboard
S05-1 A B helyettesítések
A B helyettesítések szemantikája. A B komponensek fajtái, tulajdonságai. Interaktív bizonyító rendszer. Bizonyítandó állítások.