Метод резолюции. Идея. Основные шаги

video-placeholder
Loading...
查看授课大纲

您将学习的技能

проверка эквивалентности сложных высказываний, проверка корректности схем умозаключений в логике высказываний, проверка выполнимости двоичных функций, формализация инженерных и технических задач

从本节课中

Методы проверки выполнимости логических формул

教学方

  • Placeholder

    Шошмина Ирина Владимировна

    Кандидат технических наук

探索我们的目录

免费加入并获得个性化推荐、更新和优惠。