MM CO2011 Sem231 Plan

Calendar Acad. Year

Topic Refs/Notices
Week Week
1/ Chapters 1,2,4 in M. Huth & M. Ryan, Logic in Computer Science, 2nd ed., Cambridge
Course Introduction and Advanced Logic and
1 35/36 University Press, 2001 (Solution manual accompanied). (Sample MCQs:
Program Verification
https://www.cs.bham.ac.uk/research/projects/lics/tutor/index.html)
2 36/37 Advanced Logic and Program Verification (cont.) 2/ Further reading: Chapter 15 in Ben-Ari, M., Mathematical logic for computer science.
Springer 2012.
*** Students should self-study if the first class will not be available due Vietnam's National
3 37/38 Advanced Logic and Program Verification (cont.)
Holidays
4 38/39 Automata 1/ Chapters 1-4 in P. Linz, An Introduction to Formal Languages and Automata, Jones & Bartlett
Learning; 5th ed., 2011.
5 39/40 Automata 2/ Further reading: JE Hopcroft, R. Motwani & J.D. Ullamn, Introduction to Automata Theory,
Languages, and Computation, 3rd ed., Prentice Hall, 2006. (Vietnamse translation is available,
6 40/41 Automata "Trần Đức Quang - Lý Thuyết Automat Và Ngôn Ngữ Hình Thức, NXB ĐHQG TP HCM 2002")
7 41’ Midterm Review (TA Classes for CC Groups)
MIDTERM (Counted 40% for the final grade: 80% of test + 10% HW + 10% Attendance (Weights are up to instructors)) –
MCQ on Advanced Logic, Program Verification, Automata.
Assign and instruct assignments and Assignment Counted 20% for the final grade, teamwork of 3-5 members, Topic:
8 43
Optimization (Simplex and B&B method) “Stochastic Programming and Applications in Smart Modern Urban Management”
Optimization (Simplex and B&B method) + 1/ Matousek et al. Understanding and using linear programming, Springer, 2007
9 44
Assignment Discussion 2/ R.J. Vanderbei, Linear programming, 3rd edition, Springer 2001.
Optimization (Simplex and B&B method) + 3/ G.L. Nemhauser, L. A. Wolsey, Integer and Combinatorial Optimization, 2nd ed., Wiley, 1999.
10 45
Assignment Discussion 4/ Boyd, Stephen, Stephen P. Boyd, and Lieven Vandenberghe. Convex optimization.
Cambridge University
Optimization (Simplex and B&B method) + 5/ F.R. Giordano, W.P. Fox & S.B. Horton, A First Course in Mathematical Modeling, 5th ed.,
11 46
Assignment Discussion Cengage Press, 2004.
12 47 Dynamical Systems + Assignment Discussion
Chapters 1, 11, 12 in F.R. Giordano, W.P. Fox & S.B. Horton, A First Course in Mathematical
13 48 Dynamical Systems + Assignment Discussion
Modeling, 5th ed., Cengage Press, 2004.
14 49 Dynamical Systems + Assignment Discussion
15 50 Final Review + Assignment Discussion (TA Classes for CC Groups)
FINAL (Counted 40% for the final grade: 80% of test + 10% HW + 10% Attendance (Weights are up to instructors)) –
MCQs on ILP, Dynamical Systems, and the assignment contents.
• References listed above and some old exam papers are available at https://tinyurl.com/MM-CO2011-References.
• Weekly slides and HWs will be uploaded to the BKeL site for all classes by your instructors.
• We will arrange TA classes for the CC groups before the midterm and final exams.
*** Notice that in this course, if you get a grade of less than 3.0 on the midterm test, the assignment, or the final exam, you will fail the course.