このコースについて

9,136 最近の表示

共有できる証明書

修了時に証明書を取得

100%オンライン

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

柔軟性のある期限

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

中級レベル

約3時間で修了

英語

字幕:英語, ベトナム語

習得するスキル

BisimulationFinite-State MachineTransition System

共有できる証明書

修了時に証明書を取得

100%オンライン

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

柔軟性のある期限

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

中級レベル

約3時間で修了

英語

字幕:英語, ベトナム語

提供:

EIT Digital  ロゴ

EIT Digital

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

1

1

1時間で修了

Behavioural modelling

1時間で修了
5件のビデオ (合計27分), 1 reading, 1 quiz
5件のビデオ
Welcome1 分
An automaton as a model for behaviour6 分
Non-deterministic behaviour8 分
The definition of an automaton5 分
The wolf, the goat and the cabbage5 分
1件の学習用教材
Book exercises15 分
1の練習問題
Automata to model behaviour10 分
2

2

1時間で修了

Basic behavioural equivalences

1時間で修了
6件のビデオ (合計42分), 2 readings, 1 quiz
6件のビデオ
Strong bisimulation9 分
Trace equivalence6 分
The internal or τ -action.5 分
Branching bisimulation8 分
Rooted branching bisimulation6 分
2件の学習用教材
Book exercises15 分
Book exercises15 分
1の練習問題
Basic behavioural equivalences12 分
3

3

1時間で修了

More behavioural equivalences

1時間で修了
7件のビデオ (合計47分)
7件のビデオ
Divergence preserving branching bisimulation3 分
Weak trace equivalence2 分
Weak bisimulation4 分
Language, failure, and completed trace equivalence10 分
When to use which behavioural equivalence6 分
Transition systems with data, time and probabilities5 分
1の練習問題
More behavioural equivalences.10 分

よくある質問

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

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

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

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

  • Please look at the reading material of the introduction of this course (first week) and download the pdf on the Blended Master Programme Overview for more information.

  • このコースでは大学の単位は付与されませんが、一部の大学ではコース修了証を単位として承認する場合があります。詳細については、大学にお問い合わせください。Coursera(コーセラ)のオンライン学位および Mastertrack™証明書は、大学の単位を取得する機会を提供します。

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