M-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programów | lit.salon