Ян Лекун
19 subskrybentówWyślemy powiadomienie o nowych książkach, audiobookach, podcastach
Popularne audiobooki
Wszystkie książki autora
Bez serii
Książki Ян Лекун można pobrać w formatach fb2, txt, epub, pdf lub czytać online.
Zaloguj się, aby dodać recenzję
Cytaty
Тем не менее работа над логикой привела к появлению некоторых важных приложений: к символьному решению уравнений и исчислению интегралов в математике, а также к автоматической проверке программ. Например, с его помощью компания Airbus проверяет точность и надежность своего программного обеспечения для управления пассажирскими самолетами.