Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Первое боевое применение вертолетов: три машины конструктора СИКОРСКОГО приняли участие в сопровождении британского атлантического конвоя.
>>> Смотреть календарь
SIMM (Single In-line Memory Module)Устаревший 30- и 72-контактный тип модуля оперативной памяти, используемый в компьютерах с типом процессора и материнской платы, предшествующих Pentium II. Сегодня стандартом модулей оперативной памяти является 168-контактный DIMM (см.), а модули SIM...