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

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

4.7 (62)

3997 ₽

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

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

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

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

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

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

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: Романтическая литература на испанском языке

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

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

Epiphanies: (How) To Be A Werewolf Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Jan Stryvant | #882: Мифы и легенды, Фэнтези, электронные книги

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 | #72: Справочники по образованию

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: Биографии жителей южных штатов США

Smart but Scattered: The Revolutionary Executive Skills Approach to Helping Kids Reach Their Potential Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Peg Dawson EdD | #5: Специальное образование

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

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

TROUBLED TOWN: One-Hundred Fifty-Second in a Series of Jess Williams Westerns (A Jess Williams Western Book 152) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Robert J. Thomas | #347: Вестерны Луи Ламура

How to Read Literature Like a Professor Revised: A Lively and Entertaining Guide to Reading Between the Lines Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Thomas C. Foster | #4: Сравнительное литературоведение