Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В районе Будапешта наши войска вели бои по уничтожению окруженной группировки противника и заняли 232 квартала в восточной части и 63 квартала в западной части города.
Юго-восточнее города Комарно наши войска отбивали атаки крупных сил ...>>> Смотреть календарь
separator noun 1) сепаратор, сортировочный аппарат 2) решето, сито, грохот 3) зерноочиститель; молотилка (в комбайне) 4) tech. прокладка, разделитель