Урок 7. Эвристический и формальный способ решения логических задач. Математическая логика

Видеоуроки по информатике Основы математической логики и работы ЭВМ Урок 7. Эвристический и формальный способ решения логических задач На этом видеоуроке мы расскажем о разнице между двумя фундаментальными инженерными подходами в решении любой технической задачи: эвристическом и формальном. Мы разберём их основные черты, поговорим об особенностях применения на практике, достоинствах и недостатках каждого подхода. На следующем видеоуроке мы используем формальный способ проектирования комбинационных логических схем и решения логических задач для наглядной демонстрации его отличия от эвристического способа, который мы применяли до этого.