Михаил Владимирович Подвальный Россия, Санкт-Петербург Естественные науки Информатика Логика Математика