Например, две положенные крест на крест доски возле края окружности могут покрыть большую площадь, чем лёжа рядом.
А вот площадь на такой полусфере покроют меньшую.
Собственно, площадь на полусфере и есть мерило коэффициента, который вы упомянули.
Есть надежда на то, что формальное описание проще для понимания (так как декларативно), а может быть ещё и короче.
К примеру, есть верифицированный компилятор C на Coq. В принципе, там могут быть ошибки, они и в самом стандарте могут быть.
Уточню, что, к примеру, между «дырка на данный момент не требуется» и «дырка, между прочим, не требуется» разница фундаментальна, во втором случае не задашь вопрос «где?» к «между прочим» в отличии от «когда?» к «на данный момент».
Как не задашь вопроса к «к примеру» в предложении выше, потому что это не направление движения, а вводное слово в отличие от «пока».
То же, что и «дырка, на данный момент, не требуется». Т.е. авторский акцент.
Открыл даже Розенталя, не вижу, под какой пункт подпадает данное предложение: www.tepka.ru/rozental_2/99.html
i1.imageban.ru/out/2013/02/17/6a125b1d1e40de5ecd4002d69a9490b3.jpg
А вот площадь на такой полусфере покроют меньшую.
Собственно, площадь на полусфере и есть мерило коэффициента, который вы упомянули.
У самого Thrunite Scorpion V2 и EagleTac T20C2 УФ, пока не подводили.
В каком смысле? В чем проблема?
К примеру, есть верифицированный компилятор C на Coq. В принципе, там могут быть ошибки, они и в самом стандарте могут быть.
Как не задашь вопроса к «к примеру» в предложении выше, потому что это не направление движения, а вводное слово в отличие от «пока».
Открыл даже Розенталя, не вижу, под какой пункт подпадает данное предложение: www.tepka.ru/rozental_2/99.html