Course Syllabus

Jump to Today

Course-PM

DIT022 Mathematical Foundations for Software Engineering lp1 HT19 (7.5 hp)

Course is offered by the department of Computer Science and Engineering

Contact details

Examiner: Dr. Christian Berger, Associate Professor, christian.berger@gu.se

Teachers:

Supervisors will be announced before the course will start.

 

Administration: CSE Student Office, student_office.cse@chalmers.se

Study counsellor: svl@cse.gu.se 

 

Course evaluation survey

Course evaluation survey: https://canvas.gu.se/files/1826156/download?download_frd=1 

Course evaluation meeting protocol: https://canvas.gu.se/files/1826157/download?download_frd=1 

Best regards,

CSE Student Office

 

Course purpose

The course introduces the students to basic mathematical and critical thinking skills needed for modeling, analysis and design, implementation, and testing of software applications. The course has two general themes: (1) using mathematics in understanding and addressing problems related to software engineering, and (2) the role of problem solving techniques used for software engineering and programming activities.

Schedule

TimeEdit

Course literature

  1. Course script for DIT022 Mathematical Foundations for Software Engineering: course_script.pdf

Supplementary reading material:

  1. Rosen, Kenneth H.: “Discrete mathematics and its applications.” AMC 10 (2007): 12

  2. Ross, Sheldon M.: “Introduction to probability and statistics for engineers and scientists.” Academic Press, 2014

Course design

Lecture sessions

Every week you will meet the teachers on Mondays for in-class lecture sessions in room Alfons in house Patricia.

Generally, all important announcements are also made on Mondays.

  1. September 02, 01:15pm – 3pm
  2. September 09, 01:15pm – 3pm
  3. September 16, 01:15pm – 3pm
  4. September 23, 01:15pm – 3pm
  5. September 30, 01:15pm – 3pm
  6. October 07, 01:15pm – 3pm
  7. October 14, 01:15pm – 3pm
  8. October 21, 01:15pm – 3pm

In-class exercise sessions

Every week you will meet the teachers on Tuesdays and Thursdays for in-class exercise sessions in room Alfons in house Patricia.

The exercise sessions on Tuesdays are approximately 2h and are mostly dedicated to working on selected quiz problems together with the teachers. 

The exercise sessions on Thursday are dedicated to working on problems about the current topic of the week.

  1. September 03, 10:15am – 12pm
  2. September 05, 09:15am – 12pm
  3. September 10, 10:15am – 12pm
  4. September 12, 09:15am – 12pm
  5. September 17, 10:15am – 12pm
  6. September 19, 09:15am – 12pm
  7. September 24, 10:15am – 12pm
  8. September 26, 09:15am – 12pm
  9. October 01, 10:15am – 12pm
  10. October 03, 09:15am – 12pm
  11. October 08, 10:15am – 12pm
  12. October 10, 09:15am – 12pm
  13. October 15, 10:15am – 12pm
  14. October 17, 09:15am – 12pm
  15. October 22, 10:15am – 12pm
  16. October 24, 09:15am – 12pm

Supervisions sessions

Every week you have a chance to go to supervision sessions on Tuesdays afternoon and Fridays afternoon. The supervision sessions on Tuesdays will be held in smaller, classroom-style group sizes in different rooms at Lindholmen (please check the TimeEdit schedule for location); the sessions on Friday will be held in room Alfons in house Patricia. All supervision sessions will be offered by our student TAs. They will help you with any questions about assignments, quizzes, and exercises.

  1. September 03, 01:15pm – 3pm
  2. September 06, 03pm – 5pm
  3. September 10, 01:15pm – 3pm
  4. September 13, 03pm – 5pm
  5. September 17, 01:15pm – 3pm
  6. September 20, 03pm – 5pm
  7. September 24, 01:15pm – 3pm
  8. September 27, 03pm – 5pm
  9. October 01, 01:15pm – 3pm
  10. October 04, 03pm – 5pm
  11. October 08, 01:15pm – 3pm
  12. October 11, 03pm – 5pm
  13. October 15, 01:15pm – 3pm
  14. October 18, 03pm – 5pm
  15. October 22, 01:15pm – 3pm
  16. October 25, 03pm – 5pm

Changes made since the last occasion

  • Adding lecture sessions on Mondays afternoon to improve digesting the course material.
  • Changed the TA supervision sessions on Tuesdays to five simultaneously running, classroom-sized group sessions to improve the learning atmosphere.

Learning objectives and syllabus

After completing the course the student will be able to:

  • Describe the problem-solving process,

  • Identify and demonstrate various problem-solving techniques,

  • Explain the role of basic proof techniques to logically reason about phenomena,

    for example inductive proofs to show properties of algorithms,

  • Safely apply problem-solving techniques in solving programming problems,

  • Select and apply mathematical approaches to questions in the area of software

    engineering or its application domain,

  • Identify emerging problem solving techniques applied to programming activities,

  • Achieve programming objectives by applying decisions, and

  • Explain on when to apply which mathematical concept to problems in the area of

    software engineering or its application domain.

Link to the syllabus: http://kursplaner.gu.se/pdf/kurs/en/DIT022

Examination form

The course is examined using a combination of mandatory assignments and by a final written exam; the time and place will be announced on the web-based learning platform. A student who has failed the examination has the right for a re-examination.

The students need to submit 3 individual assignments during the course. An assignment is passed when at least 50% of the provided answers are correct. Per correct assignment, a student will get 1.0 hec and all three correct assignments result in 3.0 hec in total. The students are allowed to collaborate in groups of up to 3 students but individual submissions are required.

The assignments are accompanied with individual exercises to deepen the knowledge obtained from the video lectures. The exercises are optional but may contain bonus questions. Correctly completed bonus questions may be used to substitute a certain percentage of required points for the written exam at the end of the course.

The students need to pass a written exam at the end of the course; the written exam corresponds to 4.5 hec. The written exam is passed when at least 50% of the provided answers is correct. A pass with honor is given for the entire course if at least 50% of all three assignments is correct and at least 90% of the answers in the written exam is correct as well.

In the case of existing bonus questions, up to 10% of the possible points in the written exam may be substituted when all bonus questions in the individual exercises are correctly completed.

The course is graded using the following grades: pass with honor (VG), pass (G) or fail (U).

To be awarded Pass (G) for the full course, the students must pass both the exam part and the assignments part with at least grade (G). To be awarded Pass with Distinction (VG) for a full course, the student must, in addition, receive a VG on the written exam part.

A student will get a Fail (U) in case of plagiarism/cheating during the written exam.

 

Course Summary:

Date Details Due