Ян Лекун
20 abunəçilərYeni kitab, audio kitab, podkastlar haqqında bildiriş göndərəcəyik
Populyar audiokitablar
Müəllifin bütün kitabları
Seriya yoxdur
Kitablar Ян Лекун fb2, txt, epub, pdf formatlarında yüklənə və ya onlayn oxuya bilər.
Daxil olun, rəy bildirmək üçün
Sitatlar
Тем не менее работа над логикой привела к появлению некоторых важных приложений: к символьному решению уравнений и исчислению интегралов в математике, а также к автоматической проверке программ. Например, с его помощью компания Airbus проверяет точность и надежность своего программного обеспечения для управления пассажирскими самолетами.