このコースについて

5,002 最近の表示

共有できる証明書

修了時に証明書を取得

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

中級レベル

約13時間で修了

推奨:8 hours/week...

英語

字幕:英語

共有できる証明書

修了時に証明書を取得

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

中級レベル

約13時間で修了

推奨:8 hours/week...

英語

字幕:英語

提供:

EIT Digital  ロゴ

EIT Digital

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

1

1

1時間で修了

SAT/SMT basics, SAT examples

1時間で修了
6件のビデオ (合計58分), 2 readings, 3 quizzes
6件のビデオ
Introduction to SAT7 分
SMT syntax and tools11 分
Eight queens problem9 分
Binary Arithmetic: addition10 分
Binary Arithmetic: multiplication12 分
2件の学習用教材
Examples from the lecture10 分
Eight queens formula in SMT syntax10 分
3の練習問題
Truth table2 分
Carries in binary addition2 分
Binary multiplication2 分
2

2

17時間で修了

SMT applications

17時間で修了
4件のビデオ (合計33分), 2 readings, 7 quizzes
4件のビデオ
Solving Sudoku7 分
Scheduling8 分
Bounded model checking8 分
2件の学習用教材
Sudoku formula in SMT 2 format10 分
Introduction10 分
7の練習問題
Rectangle fitting2 分
Scheduling2 分
Bounded Model Checking2 分
Filling trucks for a magic factory4 時間
A sudoku variant4 時間
Job scheduling4 時間
Program correctness4 時間
3

3

1時間で修了

Theory and algorithms for CNF-based SAT

1時間で修了
6件のビデオ (合計56分)
6件のビデオ
Example of resolution8 分
DPLL10 分
Transforming DPLL to resolution9 分
CDCL basics11 分
CDCL optimizations6 分
5の練習問題
Resolution2 分
apply resolution2 分
DPLL2 分
DPLL to resolution2 分
CDCL basics
4

4

1時間で修了

Theory and algorithms for SAT/SMT

1時間で修了
6件のビデオ (合計55分)
6件のビデオ
The Tseitin transfomation10 分
Introduction to the Simplex method7 分
Optimizing by the Simplex method11 分
Checking feasibility by the Simplex method8 分
The Simplex method and SMT8 分
4の練習問題
Transforming a propositional formula to CNF
The Tseitin transfomation
Slack form
Optimizing by the Simplex method

レビュー

AUTOMATED REASONING: SATISFIABILITY からの人気レビュー
すべてのレビューを見る

よくある質問

  • 修了証に登録すると、すべてのビデオ、テスト、およびプログラミング課題(該当する場合)にアクセスできます。ピアレビュー課題は、セッションが開始してからのみ、提出およびレビューできます。購入せずにコースを検討することを選択する場合、特定の課題にアクセスすることはできません。

  • 修了証を購入する際、コースのすべての教材(採点課題を含む)にアクセスできます。コースを完了すると、電子修了証が成果のページに追加されます。そこから修了証を印刷したり、LinkedInのプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

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