課程信息

4,226 次近期查看
可靈活調整截止日期
根據您的日程表重置截止日期。
可分享的證書
完成後獲得證書
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 個測驗

常見問題

還有其他問題嗎?請訪問 學生幫助中心