Теги книги: математическая логика

Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам точно нужна эта книга! Теория игр – это математический метод переговоров в политике, который каждый из нас хоть раз использовал интуитивно. А теперь представьте, что будет,…

Теория игр – это математическая теория стратегий, которая предполагает, что есть минимум два игрока и результат игры определяется их выбором. О том, как применять теорию игр в повседневной жизни и просчитать ходы друг друга, о возможности предотвратить войны и как работает теория игр в футболе, рассказывает ректор…

Человек, совершивший прорыв в математике и схемотехнике, наделив машины математической логикой. Гений, сделавший свое самое важное открытие в 21 год. Дальний родственник Томаса Эдисона. Коллега Алана Тьюринга, работавший с ним в годы Второй мировой войны над секретными правительственными проектами. Человек, до конца своих…

Беседы о логике. Часть 2 из 2. Какую роль сыграла логика в создании компьютеров и языков программирования? Какие области современной науки и техники также широко используют логические методы? Бывают ли алгоритмически неразрешимые задачи? В чем суть и в чем важность ряда знаменитых «задач тысячелетия» Гильберта? В чем…

Беседы о логике. Часть 1 из 2. Как зарождалась логика и какой она бывает? Что такое философская и математическая логика и чем они различаются? Как можно доказать отсутствие самой возможности доказательства? Может ли логика быть нечёткой? Что такое модальные логики и в каких практических приложениях они используются? Беседуют:…