Ян Лекун
20 подписчиковОтправим уведомление о новых книгах, аудиокнигах, подкастах
Популярные аудиокниги
Все аудиокниги автора
Аудиокниги Яна Лекуна можно скачать в формате mp3 или слушать онлайн.
Войдите, чтобы оставить отзыв
Цитаты
Тем не менее работа над логикой привела к появлению некоторых важных приложений: к символьному решению уравнений и исчислению интегралов в математике, а также к автоматической проверке программ. Например, с его помощью компания Airbus проверяет точность и надежность своего программного обеспечения для управления пассажирскими самолетами.