NWI-IMC049
Seminar Mathematical Foundations of Computer Science
Course infoSchedule
Course moduleNWI-IMC049
Credits (ECTS)3
CategoryMA (Master)
Language of instructionEnglish
Offered byRadboud University; Faculty of Science; Informatica en Informatiekunde;
Lecturer(s)
PreviousNext 2
Lecturer		dr. W. Bosma
Other course modules lecturer
Lecturer		prof. dr. J.H. Geuvers
Other course modules lecturer
Lecturer		dr. A.R. Kissinger
Other course modules lecturer
Lecturer		dr. J.C. Rot
Other course modules lecturer
Lecturer		dr. F. Wiedijk
Other course modules lecturer
Academic year2017
Period
KW1  (04/09/2017 to 12/11/2017)
Starting block
KW1
Course mode
full-time
Remarks-
Registration using OSIRISYes
Course open to students from other facultiesYes
Pre-registrationNo
Waiting listNo
Placement procedure-
Aims

- Be able to do research in an MFoCS topic

- Be able to orally present your research to colleague students

- Be able to report on your research in writing

Content

The course aims at teaching the students to do a small research project in Mathematical Foundations of Computer Science (MFoCS). As such, this seminar is part of the MFoCS master specialisation. At the start of the course, a number of researchers present research projects. Each of the students chooses a project and a supervisor. A project should contain a part literature study and a part original research. The students give two presentations: one explaining their project and the results they aim at and a final presentation.The students write a short paper on their project.

Teaching formats

• 7 hours guided group project work
• 7 hours guided individual project work
• 4 hours lecture
• 66 hours individual study period

Test information
Each student does a small project and presents this.The research and trhe presentations are evaluated

Prerequisites
Bachelor in mathematics or computer scienceThe seminar is part of the MFoCS master, so we assume that students are interested in MFoCS topics.

Instructional modes
Course
Attendance MandatoryYes

Lecture
Attendance MandatoryYes

Project
Attendance MandatoryYes

Zelfstudie

Tests
Tentamen
Test weight1
OpportunitiesBlock KW2, Block KW3