NWI-IPC020
Mathematical Structures
Course infoSchedule
Course moduleNWI-IPC020
Credits (ECTS)3
CategoryBA (Bachelor)
Language of instructionEnglish
Offered byRadboud University; Faculty of Science; Informatica en Informatiekunde;
Lecturer(s)
PreviousNext 1
Lecturer
A.C. Gunsing
Other course modules lecturer
Examiner
dr. E.G.M. Hubbers
Other course modules lecturer
Lecturer
dr. E.G.M. Hubbers
Other course modules lecturer
Coordinator
dr. E.G.M. Hubbers
Other course modules lecturer
Contactperson for the course
dr. E.G.M. Hubbers
Other course modules lecturer
Academic year2020
Period
KW1  (31/08/2020 to 01/11/2020)
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
After this course participants are able to:
  • Use the mathematical style often applied in statements and proofs in the field of computing science.
  • Reproduce basic mathematical definitions.
  • Prove theorems by applying the appropriate definitions.
  • Prove theorems by induction.
  • Reason about validity of formulas both in propositional and predicate logic.
  • Choose appropriate mathematical concepts to solve problems.
Content
The course Mathematical Structures introduces many mathematical concepts that will be used frequently within the field of computing science.

Instructional Modes
Each week typically starts with three hours of plenary lectures, one hour of a plenary response lecture, and two hours of parallel tutorial sessions.
Level

Presumed foreknowledge

Test information
The course is finalized with a written exam.
Specifics
This course intends to experiment with the online mathematics platform sowiso.nl. At the time of writing this course information, it is not completely clear in what way this will be implemented, but it could very well be that it includes obligatory, short, weekly tests that will influence your final grade.
Required materials
Book
We use the so-called 'Global edition' which is not the same as the .pdf that you can easily find on the Internet. If you prefer to use this .pdf, it is at your own risk.
ISBN:9781260091991
Title:Discrete Mathematics and Its Applications
Author:Kenneth H. Rosen
Publisher:McGraw Hill
Edition:8

Instructional modes
Course
Attendance MandatoryYes

Remark
84 hours.

Tests
Digital Exam
Test weight1
Test typeDigital exam with CIRRUS
OpportunitiesBlock KW1, Block KW2