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

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

4.7 (64)

1345 ₽

4005 ₽

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

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

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

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

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: Комиксы и графические романы о супергероях

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

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

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

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

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

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

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

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: Сравнительное литературоведение

Kawaii Crochet Garden: 40 Super Cute Amigurumi Patterns for Plants and More Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Melissa Bradley-Vatcher | #8: Изготовление игрушек

Never Leave the Dogs Behind: A Memoir – The New York Times Bestseller About Surviving Divorce and Rebuilding in the Utah Desert Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Brianna Madia | #97: Биологическая наука о животных

Liftoff: Elon Musk and the Desperate Early Days That Launched SpaceX Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Eric Berger | #91: Управление техническими проектами