このコースについて

4,902 最近の表示
柔軟性のある期限
スケジュールに従って期限をリセットします。
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
中級レベル
約25時間で修了
英語
柔軟性のある期限
スケジュールに従って期限をリセットします。
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
中級レベル
約25時間で修了
英語

提供:

Placeholder

EIT Digital

シラバス - 本コースの学習内容

1

1

3時間で修了

SAT/SMT basics, SAT examples

3時間で修了
6件のビデオ (合計58分), 2 学習用教材, 3 個のテスト
2

2

18時間で修了

SMT applications

18時間で修了
4件のビデオ (合計33分), 2 学習用教材, 7 個のテスト
3

3

3時間で修了

Theory and algorithms for CNF-based SAT

3時間で修了
6件のビデオ (合計56分)
4

4

1時間で修了

Theory and algorithms for SAT/SMT

1時間で修了
6件のビデオ (合計55分)

レビュー

AUTOMATED REASONING: SATISFIABILITY からの人気レビュー

すべてのレビューを見る

よくある質問

さらに質問がある場合は、受講者ヘルプセンターにアクセスしてください。