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

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