Booken.ru

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

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 | #33: Математическая логика

4.7 (70)

1348 ₽

4015 ₽

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

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

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

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

The Art of Witty Banter: Be Clever, Quick, & Magnetic (2nd Edition) (How to be More Likable and Charismatic Book 3) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Patrick King | #64: Поиск партнера

Rock Encore (Rock Harder Book 5) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Kat Mizera | #84: Роман о рок-звездах

Find Out Anything From Anyone, Anytime: Secrets of Calculated Questioning From a Veteran Interrogator Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

James O. Pyle | #53: Навыки деловой коммуникации

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

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

Rick Steves Croatia & Slovenia (Rick Steves Travel Guide) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Rick Steves | #1: Путешествия по Восточной Европе

Scratch One Flattop: The First Carrier Air Campaign and the Battle of the Coral Sea (Twentieth-Century Battles) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Robert C. Stern | #84: История Австралии и Новой Зеландии

Nazis after Hitler: How Perpetrators of the Holocaust Cheated Justice and Truth Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Donald M McKale | #69: Международное право

Why Do We Exist?: The Nine Realms of Universe that Make You Possible Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Hakeem Oluseyi | #12: Космология

Harlan Coben Books in Order: Myron Bolitar series, Mickey Bolitar series, all short stories, standalone novels, and nonfiction, plus a Harlan Coben biography. Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Book List Guru | #5: 45-минутные образовательные и справочные короткие тексты

Self-Discipline: How to Develop the Mindset, Mental Toughness and Self-Discipline of a U.S. Navy SEAL (Self-Discipline Books Book 1) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Dominic Mann | #13: Электронные книги по самоменеджменту и самопомощи

The Revocable Living Trust Handbook: A Plain-English Guide to Avoiding Probate, Planning for Incapacity, and Protecting Your Family (Harner Legal Forms Plain-English Estate Planning Series) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Patrick Herring | #98: Юридическая самопомощь

Midwives: A Novel (Oprah's Book Club) (Vintage Contemporaries) Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Chris Bohjalian | #14: Юридические триллеры

Watch Repair for Beginners: The New Essential Illustrated Handbook on Horology to Learn the Basics of Watch and Clock Repairing Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Esmond Stanley | #2: Антикварные и коллекционные часы

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 | #87: Биологическая наука о животных

Women, Fire, and Dangerous Things: What Categories Reveal about the Mind Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

George Lakoff | #89: Лексикография