Back
Semester | fall semester 2020 |
Course frequency | Irregular |
Lecturers |
Malte Helmert (malte.helmert@unibas.ch, Assessor)
Gabriele Röger (gabriele.roeger@unibas.ch) |
Content | * mathematical thinking and proof techniques * group theory and permutations * sets and relations * graphs and trees * modular arithmetic * recurrence relations * formal logic |
Learning objectives | * abstract thinking * formalization of mathematical ideas and arguments * knowledge of common mathematical tools in computer science |
Bibliography | TBA |
Admission requirements | Participants need to be able to program. It is recommended to pass the courses "Grundlagen der Programmierung" and "Erweiterte Grundlagen der Programmierung" before this course. |
Course application | Registration via https://services.unibas.ch. Please also register for one of the two exercise sessions. If the number of participants in the two sessions is very unbalanced, participants may be reassigned, with preference given to participants that enrolled early. (Both exercise sessions take place at the same time.) |
Language of instruction | English |
Use of digital media | Online, optional |
Course auditors welcome |
Interval | Weekday | Time | Room |
---|
No dates available. Please contact the lecturer.
Modules |
Modul: Mathematical Foundations of Computer Science (Bachelor's degree subject: Computer Science) Module: Applied Mathematics (Bachelor's Studies: Mathematics) Module: Mathematical Foundations of Computer Science (Bachelor's Studies: Computer Science) |
Assessment format | continuous assessment |
Assessment details | The course includes weekly homework assignments and a final written exam. The homework assignments are marked with a pass/fail grade, where 60% of the marks are required to obtain a "pass" for a weekly assignment. To qualify for the exam, participants must pass the weekly assignments; up to two failed assignments are allowed. The final grade for the course is based exclusively on the final exam. Date for the exam: Monday, 25 January 2021, 4-6 p.m., Bernoullianum |
Assessment registration/deregistration | Reg.: course registration, dereg: cancel course registration |
Repeat examination | no repeat examination |
Scale | 1-6 0,5 |
Repeated registration | as often as necessary |
Responsible faculty | Faculty of Science, studiendekanat-philnat@unibas.ch |
Offered by | Fachbereich Informatik |