Об этом курсе
4.8
Оценки: 151
Рецензии: 35
100% онлайн

100% онлайн

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

Гибкие сроки

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

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

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

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

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

Английский

Субтитры: Английский

Приобретаемые навыки

Constraint ProgrammingProblem SolvingMathematical ModelDiscrete Optimization
100% онлайн

100% онлайн

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

Гибкие сроки

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

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

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

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

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

Английский

Субтитры: Английский

Программа курса: что вы изучите

Неделя
1
Часов на завершение
7 ч. на завершение

MiniZinc introduction

In this first module, you will learn the basics of MiniZinc, a high-level modeling language for discrete optimization problems. Combining the simplicity of MiniZinc with the power of open-source industrial solving technologies, you will learn how to solve applications such as knapsack problems, graph coloring, production planning and tricky Cryptarithm puzzles, with great ease. ...
Reading
20 видео ((всего 219 мин.)), 6 материалов для самостоятельного изучения, 1 тест
Video20 видео
1.1.1 First Steps14мин
1.1.2 Second Model7мин
1.1.3 Third Model6мин
1.1.4 Models and Instances10мин
1.1.5 Modeling Objects8мин
1.1.6 Arrays and Comprehensions16мин
1.1.7 Global Constraints9мин
1.1.8 Module 1 Summary5мин
Workshop 0 Solution19мин
Workshop 1 Solution21мин
Assignment Submission - IDE7мин
Assignment Submission - CLI4мин
Reference 1: Basic Features13мин
Reference 2: Booleans Expressions13мин
Reference 3: Sets, Arrays, Comprehensions19мин
Reference 4: Enumerated Types7мин
Reference 5: Strings and Output8мин
Reference 6: Option Types12мин
Reference 7: Command Line Interface8мин
Reading6 материала для самостоятельного изучения
Course Overview10мин
Start of Course Survey12мин
Getting MiniZinc10мин
Workshop 0: First Steps20мин
Workshop 1: Temperature45мин
About the Reference Material2мин
Неделя
2
Часов на завершение
5 ч. на завершение

Modeling with Sets

In this module, you will learn how to model problems involving set selection. In particular, you will see different ways of representing set variables when the variable has no constraints on its cardinality, has fixed cardinality and bounded cardinality. You also have to ensure all model decisions are valid decisions, and each valid decision corresponds to exactly one model decision....
Reading
6 видео ((всего 64 мин.)), 1 материал для самостоятельного изучения, 1 тест
Video6 видео
1.2.2 Choosing a Set Representation7мин
1.2.3 Choosing a Fixed Cardinality Set10мин
1.2.4 Sets with Bounded Cardinality13мин
1.2.5 Module 2 Summary3мин
Workshop 2 Solution19мин
Reading1 материал для самостоятельного изучения
Workshop 2: Surrender Negotiations15мин
Неделя
3
Часов на завершение
8 ч. на завершение

Modeling with Functions

In this module, you will learn how to model pure assignment problems and partition problems, which are functions in disguise. These problems find applications in rostering and constrained clustering. In terms of modeling techniques, you will see the power of common subexpression elimination and intermediate variables, and encounter the global cardinality constraint for the first time. MiniZinc also provides constraints for removing value symmetries....
Reading
7 видео ((всего 86 мин.)), 1 материал для самостоятельного изучения, 1 тест
Video7 видео
1.3.2 Another Assignment Problem Example8мин
1.3.3 Modeling Partitions10мин
1.3.4 Global Cardinality Constraint9мин
1.3.5 Pure Partitioning14мин
1.3.6 Module 3 Summary5мин
Workshop 3 Solution28мин
Reading1 материал для самостоятельного изучения
Workshop 3: Feast Trap50мин
Неделя
4
Часов на завершение
7 ч. на завершение

Multiple Modeling

In the final module of this course you will see how discrete optimization problems can often be seen from multiple viewpoints, and modeled completely differently from each viewpoint. Each viewpoint may have strengths and weaknesses, and indeed the different models can be combined to help each other. ...
Reading
6 видео ((всего 67 мин.)), 2 материалов для самостоятельного изучения, 1 тест
Video6 видео
1.4.2 Permutation13мин
1.4.3 More Permutation Problem8мин
1.4.4 More Multiple Models12мин
1.4.5 Module 4 Summary7мин
Workshop 4 Solution13мин
Reading2 материала для самостоятельного изучения
Workshop 4: Composition5мин
End of Course Survey10мин
4.8
Рецензии: 35Chevron Right

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

автор: KPOct 4th 2017

very nice introduction to minizinc with great and easy assignments to get you started

автор: KWMay 8th 2017

A very interesting course! I learned a lot from this course. Thanks instructors!

Преподавателя

Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems
Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering

О Мельбурнский университет

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

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