Informações sobre o curso
4.9
49 classificações
11 avaliações
100% online

100% online

Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis

Prazos flexíveis

Redefinir os prazos de acordo com sua programação.
Nível intermediário

Nível intermediário

Horas para completar

Aprox. 23 horas para completar

Sugerido: 5 weeks of study, 6-12 hours/week...
Idiomas disponíveis

Inglês

Legendas: Inglês...
100% online

100% online

Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis

Prazos flexíveis

Redefinir os prazos de acordo com sua programação.
Nível intermediário

Nível intermediário

Horas para completar

Aprox. 23 horas para completar

Sugerido: 5 weeks of study, 6-12 hours/week...
Idiomas disponíveis

Inglês

Legendas: Inglês...

Programa - O que você aprenderá com este curso

Semana
1
Horas para completar
12 horas para concluir

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 vídeos (Total de 266 min), 5 leituras, 1 teste
Video22 videos
2.1.1 Model Debugging7min
2.1.2 Tracing Models12min
2.1.3 Relational Semantics11min
2.1.4 Too Many Solutions8min
2.1.5 Missing Solutions17min
2.1.6 Basic Model Improvement19min
2.1.7 Module 1 Summary4min
Workshop 5 Solution23min
Assignment Submission - IDE7min
Assignment Submission - CLI4min
Reference 1: Basic Features13min
Reference 2: Booleans Expressions13min
Reference 3: Sets, Arrays and Comprehensions19min
Reference 4: Enumerated Types7min
Reference 5: Strings and Output8min
Reference 6: Option Types12min
Reference 7: Predicates8min
Reference 8: Flattening29min
Reference 9: Transforming Data15min
Reference 10: User Defined Functions10min
Reference 11: Command Line Interface8min
Reading5 leituras
Course Overview10min
Start of Course Survey10min
Getting MiniZinc10min
Workshop 5: Poetry Challenge30min
About the Reference Material2min
Semana
2
Horas para completar
10 horas para concluir

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 vídeos (Total de 92 min), 1 leitura, 1 teste
Video6 videos
2.2.2 The let-in Construct17min
2.2.3 Using Predicates16min
2.2.4 Contexts22min
2.2.5 Module 2 Summary3min
Workshop 6 Solution24min
Reading1 leituras
Workshop 6: Weighing an Elephant: Part 115min
Semana
3
Horas para completar
10 horas para concluir

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 vídeos (Total de 70 min), 1 leitura, 1 teste
Video7 videos
2.3.2 Disjunctive Scheduling10min
2.3.3 Cumulative Scheduling15min
2.3.4 Sequence Dependent Scheduling 112min
2.3.5 Sequence Dependent Scheduling 25min
2.3.6 Module 3 Summary3min
Workshop 7 Solution12min
Reading1 leituras
Workshop 7: Visiting Zhuge Liang20min
Semana
4
Horas para completar
1 hora para concluir

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 vídeos (Total de 43 min)
Video3 videos
2.4.2 Rectilinear Packing without Rotation11min
2.4.3 Rectilinear Packing with Rotation15min
4.9

Melhores avaliações

por 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...

por KPOct 3rd 2017

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

Instrutores

Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering
Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems

Sobre 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....

Sobre 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....

Perguntas Frequentes – FAQ

  • Ao se inscrever para um Certificado, você terá acesso a todos os vídeos, testes e tarefas de programação (se aplicável). Tarefas avaliadas pelos colegas apenas podem ser enviadas e avaliadas após o início da sessão. Caso escolha explorar o curso sem adquiri-lo, talvez você não consiga acessar certas tarefas.

  • Quando você adquire o Certificado, ganha acesso a todo o material do curso, incluindo avaliações com nota atribuída. Após concluir o curso, seu Certificado eletrônico será adicionado à sua página de Participações e você poderá imprimi-lo ou adicioná-lo ao seu perfil no LinkedIn. Se quiser apenas ler e assistir o conteúdo do curso, você poderá frequentá-lo como ouvinte sem custo.

Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.