[Brmlab] FYI: seminar aplikovane matematicke logiky