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

video-placeholder
Loading...
강의 계획표 보기

배우게 될 기술

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

수업에서

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

강사:

  • Placeholder

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

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

Coursera 카탈로그 살펴보기

무료로 참여해 맞춤화된 추천, 업데이트 및 제안을 받아보세요.