Ян Лекун
19 ta obunachiYangi kitoblar, audiokitoblar, podkastlar haqida bildirishnomalar yuboramiz
Mashhur audiokitoblar
Muallifning barcha kitoblari
Seriyasiz
Kitoblar Ян Лекунda fb2, txt, epub, pdf formatida yuklab olinishi yoki internetda o'qilishi mumkin.
Kiring, sharh qoldirish uchun
Sitatalar
Тем не менее работа над логикой привела к появлению некоторых важных приложений: к символьному решению уравнений и исчислению интегралов в математике, а также к автоматической проверке программ. Например, с его помощью компания Airbus проверяет точность и надежность своего программного обеспечения для управления пассажирскими самолетами.