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

Loading...
Visualizar o programa do curso

Habilidades que você aprenderá

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

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

Ministrado por

  • Placeholder

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

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

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.