このコースについて

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

提供:

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のプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

  • 支払日から2週間後、または(開始直後のコースの場合は)コースの最初のセッションが開始されてから2週間後の、いずれかの遅い日付の期間までが全額の返金の対象となります。コースの修了証を取得した後は、2週間以内にコースを完了した場合でも返金することはできません。返金ポリシーをすべて表示します

  • はい。受講料の支払いが難しい受講生に、Coursera(コーセラ)は学資援助を提供しています。左側の[登録]ボタンの下にある[学資援助]のリンクをクリックして申請してください。申請書の入力を促すメッセージが表示され、承認されると通知が届きます。詳細

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