Анатолий Иванович МАЛЬЦЕВ
математик, академик (с 1958), лауреат Ленинской и Государственной премий, президент Сибирского математического общества, один из создателей теории моделей и теории алгоритмических систем.
>>> Смотреть календарь
В течение 27 ноября наши войска вели бои с противником на всех фронтах.
За 26 ноября уничтожено 19 немецких самолетов. Наши потери — 4 самолета.
ЛОГИКА ВЫСКАЗЫВАНИЙ , раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических оп...