Acerca de este Curso
4.9
49 calificaciones
11 revisiones
100% online

100% online

Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles

Fechas límite flexibles

Restablece las fechas límite en función de tus horarios.
Nivel intermedio

Nivel intermedio

Hours to complete

Aprox. 23 horas para completar

Sugerido: 5 weeks of study, 6-12 hours/week...
Available languages

Inglés (English)

Subtítulos: Inglés (English)...
100% online

100% online

Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles

Fechas límite flexibles

Restablece las fechas límite en función de tus horarios.
Nivel intermedio

Nivel intermedio

Hours to complete

Aprox. 23 horas para completar

Sugerido: 5 weeks of study, 6-12 hours/week...
Available languages

Inglés (English)

Subtítulos: Inglés (English)...

Programa - Qué aprenderás en este curso

Semana
1
Hours to complete
12 horas para completar

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 videos (Total: 266 min), 5 readings, 1 quiz
Video22 videos
2.1.1 Model Debugging7m
2.1.2 Tracing Models12m
2.1.3 Relational Semantics11m
2.1.4 Too Many Solutions8m
2.1.5 Missing Solutions17m
2.1.6 Basic Model Improvement19m
2.1.7 Module 1 Summary4m
Workshop 5 Solution23m
Assignment Submission - IDE7m
Assignment Submission - CLI4m
Reference 1: Basic Features13m
Reference 2: Booleans Expressions13m
Reference 3: Sets, Arrays and Comprehensions19m
Reference 4: Enumerated Types7m
Reference 5: Strings and Output8m
Reference 6: Option Types12m
Reference 7: Predicates8m
Reference 8: Flattening29m
Reference 9: Transforming Data15m
Reference 10: User Defined Functions10m
Reference 11: Command Line Interface8m
Reading5 lecturas
Course Overview10m
Start of Course Survey10m
Getting MiniZinc10m
Workshop 5: Poetry Challenge30m
About the Reference Material2m
Semana
2
Hours to complete
10 horas para completar

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 videos (Total: 92 min), 1 reading, 1 quiz
Video6 videos
2.2.2 The let-in Construct17m
2.2.3 Using Predicates16m
2.2.4 Contexts22m
2.2.5 Module 2 Summary3m
Workshop 6 Solution24m
Reading1 lectura
Workshop 6: Weighing an Elephant: Part 115m
Semana
3
Hours to complete
10 horas para completar

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 videos (Total: 70 min), 1 reading, 1 quiz
Video7 videos
2.3.2 Disjunctive Scheduling10m
2.3.3 Cumulative Scheduling15m
2.3.4 Sequence Dependent Scheduling 112m
2.3.5 Sequence Dependent Scheduling 25m
2.3.6 Module 3 Summary3m
Workshop 7 Solution12m
Reading1 lectura
Workshop 7: Visiting Zhuge Liang20m
Semana
4
Hours to complete
1 hora para completar

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 videos (Total: 43 min)
Video3 videos
2.4.2 Rectilinear Packing without Rotation11m
2.4.3 Rectilinear Packing with Rotation15m
4.9

Principales revisiones

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!

Instructores

Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering
Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems

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

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

Preguntas Frecuentes

  • Una vez que te inscribes para obtener un Certificado, tendrás acceso a todos los videos, cuestionarios y tareas de programación (si corresponde). Las tareas calificadas por compañeros solo pueden enviarse y revisarse una vez que haya comenzado tu sesión. Si eliges explorar el curso sin comprarlo, es posible que no puedas acceder a determinadas tareas.

  • Cuando compras un Certificado, obtienes acceso a todos los materiales del curso, incluidas las tareas calificadas. Una vez que completes el curso, se añadirá tu Certificado electrónico a la página Logros. Desde allí, puedes imprimir tu Certificado o añadirlo a tu perfil de LinkedIn. Si solo quieres leer y visualizar el contenido del curso, puedes participar del curso como oyente sin costo.

¿Tienes más preguntas? Visita el Centro de Ayuda al Alumno.