Booken.ru

Книги автора Kevin Hartnett

Name: Доказательство в коде: как машина истины меняет математику и искусственный интеллект
Price: 1287 ₽ ₽
Rating: 4.7 (81 reviews)
Author: Kevin Hartnett
ISBN: 978-0374620066

#40928

Доказательство в коде: как машина истины меняет математику и искусственный интеллект

The Proof in the Code: How a Truth Machine Is Transforming Math and AI Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Kevin Hartnett | #98: Математическая логика

4.7 (81)

1287 ₽

3831 ₽

Как одинокая программа Lean изменила математику навсегда: от мечты о машине истины до революции в ИИ. Увлекательный рассказ о технологиях, гении и будущем разума.

Купить книгу

2026.06.09