NWI-IPC020
Mathematical Structures
Cursus informatieRooster
CursusNWI-IPC020
Studiepunten (ECTS)3
CategorieBA (Bachelor)
VoertaalEngels
Aangeboden doorRadboud Universiteit; Faculteit der Natuurwetenschappen, Wiskunde en Informatica; Informatica en Informatiekunde;
Docenten
VorigeVolgende 1
Docent
A.C. Gunsing
Overige cursussen docent
Examinator
dr. E.G.M. Hubbers
Overige cursussen docent
Docent
dr. E.G.M. Hubbers
Overige cursussen docent
Coördinator
dr. E.G.M. Hubbers
Overige cursussen docent
Contactpersoon van de cursus
dr. E.G.M. Hubbers
Overige cursussen docent
Collegejaar2020
Periode
KW1  (31-08-2020 t/m 01-11-2020)
Aanvangsblok
KW1
Onderwijsvorm
voltijd
Opmerking-
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedure-
Cursusdoelen
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.
Inhoud
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.
Niveau

Voorkennis

Toetsinformatie
The course is finalized with a written exam.
Bijzonderheden
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.
Verplicht materiaal
Boek
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
Titel:Discrete Mathematics and Its Applications
Auteur:Kenneth H. Rosen
Uitgever:McGraw Hill
Druk:8

Werkvormen
Course
AanwezigheidsplichtJa

Opmerking
84 hours.

Toetsen
Digitaal tentamen
Weging1
ToetsvormDigitale toets met CIRRUS
GelegenhedenBlok KW1, Blok KW2