Что такое математическая логика?

video-placeholder
Loading...
查看授課大綱

您將學習的技能

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

從本節課中

Введение

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

教學方

  • Placeholder

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

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

探索我們的目錄

免費加入並獲得個性化推薦、更新和優惠。