Об этом курсе
4.9
Оценки: 50
Рецензии: 11
100% онлайн

100% онлайн

Начните сейчас и учитесь по собственному графику.
Гибкие сроки

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.
Промежуточный уровень

Промежуточный уровень

Часов на завершение

Прибл. 23 часа на выполнение

Предполагаемая нагрузка: 5 weeks of study, 6-12 hours/week...
Доступные языки

Английский

Субтитры: Английский
100% онлайн

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....
Reading
22 видео ((всего 266 мин.)), 5 материалов для самостоятельного изучения, 1 тест
Video22 видео
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мин
Reading5 материала для самостоятельного изучения
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....
Reading
6 видео ((всего 92 мин.)), 1 материал для самостоятельного изучения, 1 тест
Video6 видео
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мин
Reading1 материал для самостоятельного изучения
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....
Reading
7 видео ((всего 70 мин.)), 1 материал для самостоятельного изучения, 1 тест
Video7 видео
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мин
Reading1 материал для самостоятельного изучения
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. ...
Reading
3 видео ((всего 43 мин.))
Video3 видео
2.4.2 Rectilinear Packing without Rotation11мин
2.4.3 Rectilinear Packing with Rotation15мин
4.9
Рецензии: 11Chevron Right
Карьерные преимущества

50%

получил значимые преимущества в карьере благодаря этому курсу
Продвижение по карьерной лестнице

50%

стал больше зарабатывать или получил повышение

Лучшие рецензии

автор: KPOct 3rd 2017

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

автор: 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 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....

О Китайский университет Гонконга

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. Просто ознакомиться с содержанием курса можно бесплатно.

Остались вопросы? Посетите Центр поддержки учащихся.