Matematicko-logické modelovanie v teórii a praxi '82 seminár (Dom techniky ČSVTS, 1982)