Matematika a logika Matematické modely transsonického proudění a jejich numerické řešení v technických aplikacích Jaroslav Fořt