Announcements
1 Assignment 3 released
Johannes Åman Pohjola
Assignment 3 is now available. The deadline is two weeks out from the release: the 25th of April. All material necessary for the assignment has been covered.
Note that the assignment expects you is open-ended and requires you to choose a topic; please try to do so early.
2 Assignment 2 released
Johannes Åman Pohjola
Assignment 2 is now available. The deadline is Wednesday midnight in Week 9, so you once again have a little more than two weeks to do it.
The material you'll need for this assignment is mostly covered in Weeks 7; no material from weeks 8–10 is necessary for the assignment.
3 Assignment 1 released
Johannes Åman Pohjola
Assignment 1 is now available. The deadline is on the Monday Morning of Week 7, so you have a little more than two weeks to do it. See the sidebar for details.
The material you'll need for this assignment is mostly covered in Weeks 1-4. 2(f) uses predicate logic, which will be covered in more detail in Week 5. You shouldn't need deeper knowledge of predicate logic than what was already covered in Week 1, but you may nonetheless find the Monday lecture of Week 5 helpful.
While page count is not important, for a ballpark estimate, our solution is 2-3 pages. For an example of what the answers might look like, you can have a look at this previous solution suggestion. That assignment had a different focus (more proofs, less modelling), but question 4 in particular is similar in spirit to this assignment.
4 Welcome
Johannes Åman Pohjola
4.1 Welcome
Welcome to COMP2111 System Modelling and Design. I, Johannes Åman Pohjola, will be lecturing the course this term. Tutors are Raphael Douglas Giles and Zhuo Chen.
The course will be delivered in hybrid mode. This means there's an optional (but recommended) F2F component, yet all course material can be accessed remotely. This includes lecture recordings, live Zoom broadcasts of lectures, but not tutorials — while tutorial solutions will be posted on the course website eventually, we strongly recommend attending a tutorial.
4.2 Ed Forum
The Ed forum will be the primary venue for discussion and announcements throughout the course.
If you were enrolled into the course as of the 4th of February, you should have received an invite to the Ed Forum to your UNSW inbox. If you have not, check your spam filter. If it's not there, try logging into Ed with your z<digits>@unsw.edu.au address. If that doesn't work either, send an email to cs2111@cse.unsw.edu.au as soon as possible and we can get it sorted.