Книги бестселлеры с 47513 места (стр. 148)

Name: Доказательство в коде: как машина истины меняет математику и искусственный интеллект
Price: 4099 ₽ ₽
Rating: 4.7 (61 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 | #70: Математическая логика

4.7 (61)

4099 ₽

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

Книги бестселлеры с 47513 места (стр. 148)

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

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

101 FUNNIEST MEMES: BOOK 103 Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Rodrigo B Santos | #100: Электронные документы

The Forbidden Fling (Sandy Springs Book 2) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Emily Wright | #382: Лесбийский роман

Wade Wilson: Deadpool (2026-) #9 Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Benjamin Percy | #544: Комиксы и графические романы о супергероях

La enemiga del Highlander (Los Duques de Escocia nº 3) (Spanish Edition) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Maria Isabel Salsench Ollé | #66: Романтическая литература на испанском языке

Apocalypse Reborn: I Hoarded Everything First: A Post-Apocalyptic Rebirth Fantasy - Spatial System, Strong Female Lead, and the Ultimate Survival Base (Book 4) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Juin Nager | #1143: Постапокалиптическая научная фантастика

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

William Seabrook | #26: Алкоголизм

Hunting Season (Anna Pigeon Mysteries Book 10) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Nevada Barr | #1079: Женщины-сыщицы

The Stirling Defense: A Historical Legal Thriller based on a True Trial Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

GERALD PATNODE | #13: История США в эпоху «позолоченного века»

Original Sin: On the Genetics of Vice, the Problem of Blame, and the Future of Forgiveness Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Kathryn Paige Harden | #14: Генетика

Hollywood Dealmaking: Negotiating Rights and Talent Agreements for Film, TV, and Digital Media (Fourth Edition) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Dina Appleton | #1: Законодательство в сфере развлечений

Stuff Matters: Exploring the Marvelous Materials That Shape Our Man-Made World Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Mark Miodownik | #35: Справочники по образованию

Merriam-Webster's Word-for-Word Spanish-English Dictionary, Kindle Edition Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Merriam-Webster | #2: Словари по умолчанию для Kindle

Living Off Your Acorns: Your Guide To The Four Phases of Retirement Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Dana Anspach | #7: Индустрия финансовых услуг

Pilgrim at Tinker Creek: A Pulitzer Prize-Winning Memoir of Nature, Observation, and the Seasons in Virginia Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Annie Dillard | #3: Биографии жителей южных штатов США

Dig In!: Over 100 Easy, Delicious, and Stress-Free Recipes to Make on Repeat (A Cookbook) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Erin O'Brien | #26: Приготовление домашней еды