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

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

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

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