Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker...
20 декабря 1904 года
родилась Евгения Семеновна (Соломоновна) Гинзбург (умерла в 1977г.), узница сталинских лагерей, писательница ("Крутой маршрут"), мать Василия Аксенова.