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

#129526

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

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

Kevin Hartnett | #100: Искусственный интеллект и семантика

4.7 (46)

3869 ₽

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

Популярные книги от 246 голосов (стр. 164)

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

Kevin Hartnett | #100: Искусственный интеллект и семантика

A Work Life Worth Living: Your Guide to Creating a Meaningful Career Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Jeffrey Westphal | #45: Руководства по карьере

Tipsy Cakes: A Spirited Journey Through Dessert History, Classic Conversions, and Modern Boozy Baking Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Jenny Lowery | #26: Кухня американского Юга

The Culture Captain: A 4-Level Framework for Athletes: Know Yourself, Lead Yourself, Lead Others, Lead the Team Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

J.P. Nerbun | #6: Спортивная психология

Limitless Path Book Two Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Garrett Byers | #3722: Эпическое фэнтези

"You'll Never Be A Star!" My Fantastic, Challenging Journey to Disney, Star Trek and Beyond Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Ike Eisenmann | #4: Боевики и приключенческие фильмы

From General to Bride: Marrying My Strongest Rival [Vol.3] Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Kou Hadori | #179: Сёдзё-манга

Gangs of America: The Rise of Corporate Power and the Disabling of Democracy Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Ted Nace | #23: Свободное предпринимательство

Their Redemption: Demons United MC North Carolina Chapter Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Courtney Dean | #3072: Роман о втором шансе

Imagining Numbers Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Barry Mazur | #29: История математики

Romancing Lacey: An MFM Cowboy Romance (King's Ranch Book 7) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Danielle Hart | #7042: Эротика

The Illustrated Encyclopedia of Weaponry: From Flint Axes to Automatic Weapons Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Chuck Wills | #61: Энциклопедии

X-Men United (2026-) #4 Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Eve L. Ewing | #4825: Комиксы и графические романы о супергероях

Nadiya's Quick Comforts: The new comfort food cookbook from the bestselling home cook, featuring delicious, feel-good recipes Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Nadiya Hussain | #126: Кулинария, созданная по мотивам медиаконтента

Instant Ramen Kitchen: 40+ Delicious Recipes That Go Beyond the Packet Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Peter J. Kim | #70: Приготовление супов и рагу

Mediterranea: Life-perfected Recipes from Grandmothers of the Mediterranean Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Anastasia Miari | #21: Турецкая кухня, Еда и вино