Seol mar théacs é seo: Математическое обеспечение проектирования вычислительных систем и сетей