Booken.ru

Электронные книги от издательства Quanta Books

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

#83124

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

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

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

4.7 (70)

1348 ₽

4015 ₽

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

Купить книгу

2026.06.09