Jasne, oficialne nie je vypisana ani prerekvizita na Smerovacie algoritmy v systeme MAIS
Ale to co je v MAISE nie je vzdy uplna pravda, realita je ina
Pri osobnom pohovore s garantmi predmetov az clovek zisti, co ktory predmet vyzaduje
Takze aj na logiku mi bolo zdelene, ze je potrebne mat ako prerekvizitu Teoriu typov
Inak, vdaka za odpoved