Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Первое боевое применение вертолетов: три машины конструктора СИКОРСКОГО приняли участие в сопровождении британского атлантического конвоя.
>>> Смотреть календарь
МАНЫЧ-ГУДИЛО (Большой Маныч) , соленое озеро в центральной части Кумо-Манычской впадины. Площадь изменчива (средняя 344 км2), средняя глубина 0,6 м.