Course Syllabus

Jump to Today

Course Evaluation Questionnaire

Now that your course DIT022 Mathematical Foundations for Software Engineering is over we would really appreciate if you could fill in a course evaluation below 

Your feedback is very important. Please do your part by filling out evaluations for all your courses in a constructive, helpful spirit.

Thank you, 

Course-PM

DIT022 Mathematical Foundations for Software Engineering LP1 HT20 (7.5 hp)

The course is offered by the Department of Computer Science and Engineering.

The course will be offered entirely as a digital version conducted via Canvas.

Assignment 3 - https://gu.instructure.com/courses/36697/quizzes/12368 

Version history of the Course Script

DIT022_CourseScript_2020-10-06.pdf

DIT022_CourseScript_2020-10-05.pdf

DIT022_CourseScript_2020-09-29.pdf

DIT022_CourseScript_2020-09-25.pdf

DIT022_CourseScript_2020-09-23.pdf

DIT022_CourseScript_2020-09-15.pdf

DIT022_CourseScript_2020-09-07.pdf

 

October 22 - Notes

October 05 & 12 - Statistics - BSc-intro to statistics.pptx

October 05, 09:30am - Information about Examination

September 28, 9:30am and 1:15 pm - Notes for Introduction to Proofs (parts 1 and part 2)

September 21, 1:15pm - Notes for Complexity & Sorting (part 1 and part2)

September 21, 09:30am - Notes for Complexity & Sorting (part 1)

September 18, 03:00pm - Notes for exercises

September 14, 01:15pm - Notes for Graphs

September 08, 01:15pm - Notes for Languages, Grammar, and Automata

September 04, 3:00pm - Notes for exercises

September 01, 1:15pm - Notes for exercises

September 01, 10:15am - Notes for Logic 

August  31, 1:15pm - Organizational Matters

Contact details

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

Teachers:

Student teaching assistants:

Course representatives:

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

Study counselor: svl@cse.gu.se 

 

Course evaluation survey

Course evaluation survey: $IMS-CC-FILEBASE$/CSE%20Course%20evaluation%20DIT022%20Mathematical%20Foundations%20for%20Software%20Engineering%20-%20H19.pdf?canvas_download=1&canvas_qs_download_frd=1 

Course evaluation meeting protocol: $IMS-CC-FILEBASE$/Final%20meeting%20Protocol%20DIT022%20-%20H19.pdf?canvas_download=1&canvas_qs_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

Please note that this course will be given only as an online edition. You can disregard any rooms that might be specified in TimeEdit for this course!  

Course literature

  1. Course script for DIT022 Mathematical Foundations for Software Engineering: DIT022_CourseScript_2020-09-15.pdf- the course script might be updated during the course to correct typos or to improve readability; please make sure to actively monitor Canvas to stay informed about the latest version

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

Online lecture sessions (no on-site session!)

Every week you will meet the teachers on Mondays for online lecture sessions via Zoom. You need to use your GU account as only authenticated users are allowed.

Generally, all important announcements are also made on Mondays.

Please test your connection and audio settings BEFORE the online lectures using: https://support.zoom.us/hc/en-us/articles/115002262083 

On Canvas, you'll find short video snippets that introduce to a topic area next to the course script. Such material is strongly suggested to revisit after such a Monday session or if you miss/skip a Monday session.

  1. August 31, 01:15pm – 3pm - Link to Zoom: https://gu-se.zoom.us/j/61349201741 
  2. September 07, 01:15pm – 3pm - Link to Zoom: https://gu-se.zoom.us/j/61349201741 
  3. September 14, 01:15pm – 3pm - Link to Zoom: https://gu-se.zoom.us/j/61349201741 
  4. September 21, 01:15pm – 3pm - Link to Zoom: https://gu-se.zoom.us/j/61349201741 
  5. September 28, 01:15pm – 3pm - Link to Zoom: https://gu-se.zoom.us/j/61349201741 
  6. October 05, 01:15pm – 3pm - Link to Zoom: to be announced 
  7. October 12, 01:15pm – 3pm - Link to Zoom: to be announced
  8. October 19, 01:15pm – 3pm - Link to Zoom: to be announced

Online exercise sessions

Every week you will meet the teachers on Tuesdays and Thursdays for online exercise sessions via Zoom.

Please test your connection and audio settings BEFORE the online exercise session using: https://support.zoom.us/hc/en-us/articles/115002262083 

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.

To attend the online exercise sessions connect to https://chalmers.zoom.us/j/7542578409 password: 252525

  1. September 03, 09:15am – 12pm  exercise_session_1_solutions.pdf
  2. September 08, 10:15am – 12pm Quiz1_solutions.pdf
  3. September 10, 09:15am – 12pm exercise_session_2_solutions.pdf
  4. September 15, 10:15am – 12pm Quiz2_solutions.pdf
  5. September 17, 09:15am – 12pmexercise_session_3_solutions.pdf
  6. September 22, 10:15am – 12pm
  7. September 24, 09:15am – 12pm exercise_session_4_solutions.pdf
  8. September 29, 10:15am – 12pm
  9. October 01, 09:15am – 12pm
  10. October 06, 10:15am – 12pm
  11. October 08, 09:15am – 12pm
  12. October 13, 10:15am – 12pm
  13. October 15, 09:15am – 12pm
  14. October 20, 10:15am – 12pm
  15. October 22, 09:15am – 12pm

Supervisions sessions

Every week you have a chance to meet student teaching assistants in online supervision sessions on Tuesdays afternoon and Friday afternoon. Our student teaching assistants took this course in the previous years and will help you with any questions about assignments, quizzes, and exercises and share valuable insights and solution strategies.

All supervision sessions will be arranged as separate online sessions conducted via Zoom.

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

Changes made since the last occasion

  • Preparing the course to be offered fully digitally via Canvas only with no on-site sessions on campus.

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 program 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 to 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 the 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 by 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 are correct. A pass with honor is given for the entire course if at least 50% of all three assignments are correct and at least 90% of the answers in the written exam are 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.

A student can use the gathered bonus points up to the third examination offered for a year's DIT-022 course (example: if a student fails the first examination opportunity, the gathered bonus points can still be used for the second examination opportunity; if the student is failing also the second examination opportunity, the student can use the gathered bonus points for the third examination opportunity for the last time).

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