このコースについて
6,059 最近の表示

100%オンライン

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

柔軟性のある期限

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

中級レベル

約23時間で修了

推奨:5 weeks of study, 6-12 hours/week...

英語

字幕:英語

100%オンライン

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

柔軟性のある期限

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

中級レベル

約23時間で修了

推奨:5 weeks of study, 6-12 hours/week...

英語

字幕:英語

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

1
12時間で修了

Debugging and Improving Models

Similar to computer programs, models can have bugs. In this module, you will see the symptoms (unsatisfiability, too many solutions, too few solutions) of different bugs, and learn methods to discover what is going wrong with your model and how to fix it. Equipped with these tools, you will be able to develop and debug complex models....
22件のビデオ (合計266分), 5 readings, 1 quiz
22件のビデオ
2.1.1 Model Debugging7 分
2.1.2 Tracing Models12 分
2.1.3 Relational Semantics11 分
2.1.4 Too Many Solutions8 分
2.1.5 Missing Solutions17 分
2.1.6 Basic Model Improvement19 分
2.1.7 Module 1 Summary4 分
Workshop 5 Solution23 分
Assignment Submission - IDE7 分
Assignment Submission - CLI4 分
Reference 1: Basic Features13 分
Reference 2: Booleans Expressions13 分
Reference 3: Sets, Arrays and Comprehensions19 分
Reference 4: Enumerated Types7 分
Reference 5: Strings and Output8 分
Reference 6: Option Types12 分
Reference 7: Predicates8 分
Reference 8: Flattening29 分
Reference 9: Transforming Data15 分
Reference 10: User Defined Functions10 分
Reference 11: Command Line Interface8 分
5件の学習用教材
Course Overview10 分
Start of Course Survey10 分
Getting MiniZinc10 分
Workshop 5: Poetry Challenge30 分
About the Reference Material2 分
2
10時間で修了

Predicates

In this module, you will learn how to encapsulate a complex constraint definition in a predicate definition to enable its reuse. This will enable the construction of far more complex models with improved readability in a modular manner. You will also encounter for the first time a problem with multiple objectives and learn how to compress them into one single objective. In addition to this, you will learn how to model the banquet seating problem, which will assist you in many occasions in life....
6件のビデオ (合計92分), 1 reading, 1 quiz
6件のビデオ
2.2.2 The let-in Construct17 分
2.2.3 Using Predicates16 分
2.2.4 Contexts22 分
2.2.5 Module 2 Summary3 分
Workshop 6 Solution24 分
1件の学習用教材
Workshop 6: Weighing an Elephant: Part 115 分
3
10時間で修了

Scheduling

Learn how to tackle complex project scheduling problems of various forms, progressively from ones with only basic precedence requirements to ones with unary resources and even cumulative resources. You will see how to model some of the complex constraints that arise in these applications....
7件のビデオ (合計70分), 1 reading, 1 quiz
7件のビデオ
2.3.2 Disjunctive Scheduling10 分
2.3.3 Cumulative Scheduling15 分
2.3.4 Sequence Dependent Scheduling 112 分
2.3.5 Sequence Dependent Scheduling 25 分
2.3.6 Module 3 Summary3 分
Workshop 7 Solution12 分
1件の学習用教材
Workshop 7: Visiting Zhuge Liang20 分
4
1時間で修了

Packing

In this module, you will learn the important application of packing, from the packing of squares to rectilinear shapes with and without rotation. Again, you will see how to model some of the complex constraints that arise in these applications. ...
3件のビデオ (合計43分)
3件のビデオ
2.4.2 Rectilinear Packing without Rotation11 分
2.4.3 Rectilinear Packing with Rotation15 分
5.0
12件のレビューChevron Right

50%

コースが具体的なキャリアアップにつながった

50%

昇給や昇進につながった

人気のレビュー

by KPOct 3rd 2017

very rewarding and challenging assignments, thank you for this great course!

by GGJun 11th 2018

Fantastic course that really makes you think long and hard.

講師

Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering
Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems

メルボルン大学(The University of Melbourne)について

The University of Melbourne is an internationally recognised research intensive University with a strong tradition of excellence in teaching, research, and community engagement. Established in 1853, it is Australia's second oldest University....

香港中文大学(The Chinese University of Hong Kong)について

Founded in 1963, The Chinese University of Hong Kong (CUHK) is a forward looking comprehensive research university with a global vision and a mission to combine tradition with modernity, and to bring together China and the West. CUHK teachers and students hail from all corners of the world. CUHK graduates are connected worldwide through an expansive alumni network....

よくある質問

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

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

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