Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
ДРЕВОСТОЙ , совокупность деревьев, образующих более или менее однородный лесной участок. Древостои бывают чистые (из одной породы) и смешанные (из двух и более пород); простые (кроны в один ярус) и сложные (несколько ярусов); одновозрастные и разновозрастные.