课程信息

4,349 次近期查看
可灵活调整截止日期
根据您的日程表重置截止日期。
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
初级
完成时间大约为24 小时
俄语(Russian)

您将学到的内容有

  • формализовывать инженерные проблемы

  • получать корректные следствия из установленных фактов

  • формально представлять и преобразовывать информацию об окружающем мире

  • проверять эквивалентность высказываний

您将获得的技能

  • проверка эквивалентности сложных высказываний
  • проверка корректности схем умозаключений в логике высказываний
  • проверка выполнимости двоичных функций
  • формализация инженерных и технических задач
可灵活调整截止日期
根据您的日程表重置截止日期。
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
初级
完成时间大约为24 小时
俄语(Russian)

提供方

Placeholder

圣彼得堡国立技术大学

授课大纲 - 您将从这门课程中学到什么

1

1

完成时间为 3 小时

Введение

完成时间为 3 小时
6 个视频 (总计 38 分钟), 8 个阅读材料, 1 个测验
完成时间为 3 小时

Булевы функции

完成时间为 3 小时
12 个视频 (总计 92 分钟), 4 个阅读材料, 1 个测验
2

2

完成时间为 3 小时

Нормальные формы представления булевых функций

完成时间为 3 小时
13 个视频 (总计 98 分钟), 4 个阅读材料, 1 个测验
3

3

完成时间为 4 小时

Бинарные решающие диаграммы

完成时间为 4 小时
11 个视频 (总计 79 分钟), 4 个阅读材料, 1 个测验
4

4

完成时间为 3 小时

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

完成时间为 3 小时
13 个视频 (总计 90 分钟), 4 个阅读材料, 1 个测验

常见问题

还有其他问题吗?请访问 学生帮助中心