À propos de ce cours
4.9
49 notes
11 avis
100% online

100% online

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles

Dates limites flexibles

Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire

Niveau intermédiaire

Heures pour terminer

Approx. 23 heures pour terminer

Recommandé : 5 weeks of study, 6-12 hours/week...
Langues disponibles

Anglais

Sous-titres : Anglais...
100% online

100% online

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles

Dates limites flexibles

Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire

Niveau intermédiaire

Heures pour terminer

Approx. 23 heures pour terminer

Recommandé : 5 weeks of study, 6-12 hours/week...
Langues disponibles

Anglais

Sous-titres : Anglais...

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1
Heures pour terminer
12 heures pour terminer

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....
Reading
22 vidéos (Total 266 min), 5 lectures, 1 quiz
Video22 vidéos
2.1.1 Model Debugging7 min
2.1.2 Tracing Models12 min
2.1.3 Relational Semantics11 min
2.1.4 Too Many Solutions8 min
2.1.5 Missing Solutions17 min
2.1.6 Basic Model Improvement19 min
2.1.7 Module 1 Summary4 min
Workshop 5 Solution23 min
Assignment Submission - IDE7 min
Assignment Submission - CLI4 min
Reference 1: Basic Features13 min
Reference 2: Booleans Expressions13 min
Reference 3: Sets, Arrays and Comprehensions19 min
Reference 4: Enumerated Types7 min
Reference 5: Strings and Output8 min
Reference 6: Option Types12 min
Reference 7: Predicates8 min
Reference 8: Flattening29 min
Reference 9: Transforming Data15 min
Reference 10: User Defined Functions10 min
Reference 11: Command Line Interface8 min
Reading5 lectures
Course Overview10 min
Start of Course Survey10 min
Getting MiniZinc10 min
Workshop 5: Poetry Challenge30 min
About the Reference Material2 min
Semaine
2
Heures pour terminer
10 heures pour terminer

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....
Reading
6 vidéos (Total 92 min), 1 lecture, 1 quiz
Video6 vidéos
2.2.2 The let-in Construct17 min
2.2.3 Using Predicates16 min
2.2.4 Contexts22 min
2.2.5 Module 2 Summary3 min
Workshop 6 Solution24 min
Reading1 lecture
Workshop 6: Weighing an Elephant: Part 115 min
Semaine
3
Heures pour terminer
10 heures pour terminer

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....
Reading
7 vidéos (Total 70 min), 1 lecture, 1 quiz
Video7 vidéos
2.3.2 Disjunctive Scheduling10 min
2.3.3 Cumulative Scheduling15 min
2.3.4 Sequence Dependent Scheduling 112 min
2.3.5 Sequence Dependent Scheduling 25 min
2.3.6 Module 3 Summary3 min
Workshop 7 Solution12 min
Reading1 lecture
Workshop 7: Visiting Zhuge Liang20 min
Semaine
4
Heures pour terminer
1 heure pour terminer

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. ...
Reading
3 vidéos (Total 43 min)
Video3 vidéos
2.4.2 Rectilinear Packing without Rotation11 min
2.4.3 Rectilinear Packing with Rotation15 min
4.9

Meilleurs avis

par PCFeb 18th 2018

Great course! I particularly appreciated the assignment and the staging which lets you build the final solution in a progressive manner. Looking for course 3 now...

par KPOct 3rd 2017

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

Enseignants

Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering
Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems

À propos de 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....

À propos de 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....

Foire Aux Questions

  • Une fois que vous êtes inscrit(e) pour un Certificat, vous pouvez accéder à toutes les vidéos de cours, et à tous les quiz et exercices de programmation (le cas échéant). Vous pouvez soumettre des devoirs à examiner par vos pairs et en examiner vous-même uniquement après le début de votre session. Si vous préférez explorer le cours sans l'acheter, vous ne serez peut-être pas en mesure d'accéder à certains devoirs.

  • Lorsque vous achetez un Certificat, vous bénéficiez d'un accès à tout le contenu du cours, y compris les devoirs notés. Lorsque vous avez terminé et réussi le cours, votre Certificat électronique est ajouté à votre page Accomplissements. À partir de cette page, vous pouvez imprimer votre Certificat ou l'ajouter à votre profil LinkedIn. Si vous souhaitez seulement lire et visualiser le contenu du cours, vous pouvez accéder gratuitement au cours en tant qu'auditeur libre.

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.