matnat-matstat - MAT-1005

Work Load 10 credits (ECTS)
Contents An introduction to mathematical structures with applications in computer science. Fundamental concepts such as sets and functions together with logic and various techniques of proof. Also treats further topics such as combinatorics with probability and graph theory. The course gives an introduction to Mathematica as a numerical, symbolic and graphical tool, and for simple programming.
Form of teaching Lectures: 40 h Coursework: 30 h, a passing grade is requried on up to 6 mandatory homework sets for permission to take the exame.
Compulsory teaching Assignments
Assessment Written exam of 4 hours duration. Letter grades (A-F).
Examination semester Autumn
Date(s) of written examination 15.12.2005 The exam date is preliminary and may be subject to change. Definitive exam date will be announced on the notice boards at the faculties in the beginning of May for the spring semester and in the beginning of November for the autumn semester.
Type of course Theoretical subject.
Level of course/Year of study Normally first or second year.
Contact person/lecturer Helge Johansen, tel: + 47 77 64 51 30, e-mail: helge.johansen@matnat.uit.no
Recommended reading/syllabus Available on request
Language of instruction Norwegian
Homepage http://uit.no/matstat/mat-1005/
Timetables http://timeplan.uit.no/emne.php?department=ALLE&module=MAT-1005-1

Grades
Letters, A – F.

Textbook
Kenneth H. Rosen, “Discrete Mathematics and its Applications”, 5th ed.