Абстрагирование в логике высказываний

Loading...
Просмотреть программу курса

Получаемые навыки

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

Из урока
Основные понятия логики высказываний

Преподаватели

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

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

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

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.