1 ч. 04 мин. 17 сек. 12+ Аннотация Беседы о логике. Часть 2 из 2. Какую роль сыграла логика в создании компьютеров и языков программирования? Какие области современной науки и техники также широко используют логические методы? Бывают ли алгоритмически неразрешимые задачи? В чем суть и в чем важность ряда знаменитых «задач тысячелетия» Гильберта? В чем… СкачатьПодробнее Оцените книгу Лев Беклемишев, Николай Андреев Беседы о логике. Часть 2 из 2. Беседует Николай Андреев
52 мин. 51 сек. 12+ Аннотация Беседы о логике. Часть 1 из 2. Как зарождалась логика и какой она бывает? Что такое философская и математическая логика и чем они различаются? Как можно доказать отсутствие самой возможности доказательства? Может ли логика быть нечёткой? Что такое модальные логики и в каких практических приложениях они используются? Беседуют:… СкачатьПодробнее Оцените книгу Лев Беклемишев, Николай Андреев Беседы о логике. Часть 1 из 2. Беседует Николай Андреев