PDF for print    Find calendar

Basisc course 4-8; Logic and discrete mathematics BLOK C

Semester
F2018
Subject
The Bachelor Study Programme in Natural Science / International Bachelor Study Programme in Natural Science
Activity type
Basic course
Teaching language
English
Registration
Foreign language reading proficiency

English at a level equivalent to the Danish gymnasium level B.

Objectives description (assessment criteria)

The goal of the course is that the student acquires: Knowledge: ● Preliminary knowledge of logic and discrete mathematics and the understanding of what is going on in a given situation when it is applied. Skills: ● Oral and written presentation of logical and algorithmic reasoning Kompetencies: ● The use of logic and discrete mathematics as a means for modeling and as a tool for specification and communication in relevant scientific (not least computational) connections. ** CURRICULUM FOR THE BACHELOR STUDY PROGRAMME IN NATURAL SCIENCES § 19**. Courses BK 4 to BK 8: Courses in the natural sciences: The objectives of courses BK 4 to BK 8 are to give students a broad introduction to and basic knowledge of the natural sciences with the aim of enabling them to make a qualified choice of subject modules, and to complete these.

Overall content

The course will address propositional- and predicate logic (informal as well as formal), sets and functions, algorithms, mathematical induction, formal languages.

Detailed description of content

Please contact Torben Braüner (torben@ruc.dk) for more information.

Information about the previous edition of the course can be found here: http://www.ruc.dk/~torben/Spring17DiscreteMath.html

Teaching and working methods

Survey lectures, group and individual work both with theory building problems and traditional exercises, and regular assignments (home work).

Course material and Reading list

Kenneth H. Rosen, Discrete Mathematics and Its Applications, International Version, 6th edition, Mc-Graw Hill.

ISBN-13: 978-0071244749, ISBN-10: 0071244743

The book can be bought a number of places, for example at Amazon: https://www.amazon.com/Discrete-Mathematics-Applications-International-Version/dp/0071244743/ref=sr_1_1?s=books&ie=UTF8&qid=1358745865&sr=1-1&keywords=9780071244749

Beware: The book comes in a number of different editions, it's important that you get hold of the correct version specified above - please check the ISBN number.

Prerequisite for taking the exam

Two or three individual mini projects, completed in groups, which must be handed in during the semester. The mini projects are based on a handed out problem formulation. A precondition for taking the exam is that the student has handed in and received approval for a number of minor assignments set during the course.

Form of examination

Individual oral exam with a duration of 15 minutes based on two or three individual mini projects

Form of re-examination

Individual oral exam with a duration of 15 minutes based on two or three individual mini projects

Examination type
Individual examination
Assessment
7-point grading scale
Moderation
Internal (i.e. course lecturer and an internal examiner assess)
Evaluation- and feedback forms

All courses include formative evaluation during the course based on dialogue between the students and the teacher(s). All courses are also evaluated through a questionnaire in SurveyXact and oral evaluation at the end of the course. The Study Board will handle all evaluations along with any comments from the course responsible teacher.

Responsible for the activity
Morten Blomhøj (blomhoej@ruc.dk)
Torben Braüner (torben@ruc.dk)
Teacher
Torben Braüner (torben@ruc.dk)
Administration of exams
Natbach Studieadministration (natbach-studieadministration@ruc.dk)
STADS stamdata
Basiskursus
belastning : 5 ECTS aktivitetskode : U24756
prøveform : Intern bedømmelse : 7-trinsskala censur : Intern censur
Last changed 26/06/2018

lecture list:

Show lessons for Subclass: 1 Find calendar (1) PDF for print (1)

Tuesday 13-03-2018 13:15 - 13-03-2018 17:00 in week 11
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 1

Thursday 15-03-2018 13:15 - 15-03-2018 15:00 in week 11
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 2

Tuesday 20-03-2018 13:15 - 20-03-2018 17:00 in week 12
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 3

Thursday 22-03-2018 13:15 - 22-03-2018 15:00 in week 12
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 4

Tuesday 27-03-2018 13:15 - 27-03-2018 17:00 in week 13
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 5

Tuesday 03-04-2018 13:15 - 03-04-2018 17:00 in week 14
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 6

Thursday 05-04-2018 13:15 - 05-04-2018 15:00 in week 14
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 7

Tuesday 10-04-2018 13:15 - 10-04-2018 17:00 in week 15
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 8

Thursday 12-04-2018 13:15 - 12-04-2018 15:00 in week 15
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 9

Tuesday 17-04-2018 13:15 - 17-04-2018 17:00 in week 16
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 10

Thursday 19-04-2018 13:15 - 19-04-2018 15:00 in week 16
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 11

Tuesday 24-04-2018 13:15 - 24-04-2018 17:00 in week 17
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 12

Thursday 26-04-2018 13:15 - 26-04-2018 15:00 in week 17
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 13

Tuesday 01-05-2018 13:15 - 01-05-2018 17:00 in week 18
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 14

Thursday 03-05-2018 13:15 - 03-05-2018 15:00 in week 18
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Lecture 15

Monday 11-06-2018 08:15 - Tuesday 12-06-2018 17:00 in week 24
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Examination

Thursday 16-08-2018 13:00 - 16-08-2018 17:00 in week 33
NATBACH: Basisc course 4-8; Logic and discrete mathematics - Re-examination