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