NWI-IMC057
Seminar Mathematical Foundations of Computer Science
Course infoSchedule
Course moduleNWI-IMC057
Credits (ECTS)6
CategoryMA (Master)
Language of instructionEnglish
Offered byRadboud University; Faculty of Science; Informatica en Informatiekunde;
Lecturer(s)
PreviousNext 5
Lecturer
dr. W. Bosma
Other course modules lecturer
Lecturer
prof. dr. J.H. Geuvers
Other course modules lecturer
Lecturer
dr. N.H. Jansen
Other course modules lecturer
Lecturer
dr. C.L.M. Kop
Other course modules lecturer
Lecturer
dr. R.J. Krebbers
Other course modules lecturer
Academic year2021
Period
KW1-KW2  (06/09/2021 to 30/01/2022)
Starting block
KW1
Course mode
full-time
Remarks-
Registration using OSIRISYes
Course open to students from other facultiesYes
Pre-registrationNo
Waiting listYes
Placement procedureIn order of Study programme
ExplanationIn order of Study programme
Aims
  • Be able to study papers on an MFoCS topic
  • Be able to search the literature for papers related to this topic
  • Be able to relate different papers on this topic
  • Be able to present research to colleague students and teachers in a seminar
  • Be able to understand and answer questions after the presentation
  • Be able to chair a session in a seminar
Content
The course aims at teaching the students to do a small research project in Mathematical Foundations of Computer Science (MFoCS) and give a seminar presentation about it. As such, this seminar is part of the MFoCS master specialisation.
At the start of the course, each teacher presents a few research papers. Each of the students then gives a preference among these papers and based on that gets assigned a paper and a supervisor. After this, the student searches for a second paper related to this paper, and studies both papers under the guidance of the supervisor. At the end of the course a presentation is given on both papers, in which their relation is presented as well. During these presentations students chair each other's sessions.

Instructional Modes
  • Lecture
  • Self-study
Level

Presumed foreknowledge
Bachelor in mathematics or computer science. The seminar is part of the MFoCS master, so we assume that students are interested in MFoCS topics.
Test information
Each student does a small project and presents this.The research and the presentations are evaluated.
Specifics

Instructional modes
Course
Attendance MandatoryYes

Project
Attendance MandatoryYes

Tests
Project
Test weight1
Test typeProject
OpportunitiesBlock KW2, Block KW3