«ПЕРЕЛОЖНЫЙ» 관련 러시아어 책
다음 도서 목록 항목에서
переложный 의 용법을 확인하세요.
переложный 에 관련된 책과 해당 책의 짧은 발췌문을 통해 러시아어 서적에서 단어가 사용되는 맥락을 제공합니다.
1
Verification, Model Checking, and Abstract Interpretation: ...
... will be error states. Figure4 depicts the resulting counterexample tree (leaving out the leaves labeled with false). The corresponding counterexample constraint is ¬hgrant0(0) ∨ hgrant1(0) ∨ hgrant0(trans(false,0)) ∨ hgrant1(trans(false,0)) ...
Viktor Kuncak, Andrey Rybalchenko, 2012
2
Advanced Functional Programming: Third International ...
... truth refl (True) = truth symm (False) (False) p = p symm (False) (True) p = absurd p symm (True) (False) p = absurd p symm (True) (True) p = p trans (False) (False) (False) p q = q trans (False) (False) (True) p q = absurd q trans (False) (True) ...
S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira, 1999
3
Theoretical Aspects of Computer Software: Third ...
51, 52 := 0, 0; trans := false; do trans — » trans := false od As in the examples in the previous section the procedure Insert adds elements to the buffer 51. The procedure Delete either transfers an element from the buffer 51 to the buffer 52 or ...
Martin Abadi, Takayasu Ito, 1997
4
Колхозное крестьянство Сибири и Дальнего Востока, фронту ...
Правлениям колхозов и директорам совхозов предлагалось, начиная с весны 1943 г., использовать для посева яровых и озимых культур залежные и переложные земли с одновременным оставлением под залежь и перелог части ...
Виктор Тихонович Анисков, 1966
5
Зеленый дом. Избранные стихотворения - Страница 35
Угрюмо сорняком обсажен черным, дремал в долине переложный луг, неспешно заволакивался дерном, и с голоду над ним орал канюк. Дотаял снег и обнажил суглинки – все борозды, что некому полоть; как жалкий ворс, ...
6
Писцовые материалы Ярославского уезда XVI века: поместные ...
359 положена в двовое || за добрую землю три чети без полуосмины, а наддано переложные ж худые земли три ж четверти без полуосмины. И всее пашни добрые и середние, и худые, и переложные земли за добрую землю с ...
В. Ю Беликов, Сергей Сергеевич Ермолаев, 2000
7
Город Болгар: очерки истории и культуры - Страница 229
Кирьянов допускал существование залежной и переложной систем на окраинах Волжской Болгарии. 86 Залежной называется такая система земледелия, при которой целина обрабатывается подряд в течение нескольких лет, ...
Герман Алексеевич Федоров-Давыдов, 1987
8
Древние и средневековые пахотные орудия Восточной Европы
рых районах в рамках переложной системы и старопахотных полей, о которых, очевидно, говорил Геродот применительно к Поднепровью (НегоЛ., IV, 53), и отдельных элементов паровой системы в виде, например, ...
Ю. А Краснов, А. В Чернецов, 1987
9
Сталинский план преобразования природы в действии
«Подобных размеров владения, — писал Советов, — заключают в себе все условия поддержки переложной системы во всей прежней ее силе. Здесь еще есть полная возможность вести плуг туда, где любо, и оставлять земли в ...
10
Избранные сочинения - Страница 315
Из всех наших рассуждений о переложной системе, мы можем вывести следующие заключения. 1) Переложная система земледелия есть самая естественная форма, в которой должно было выразиться хозяйство первых ...
Александр Васильевич Советов, 1950
