| TDDD72 |
Logic, 6 ECTS credits.
/Logik/
For:
Mat
U
|
| |
Prel. scheduled
hours: 40
Rec. self-study hours: 120
|
| |
Area of Education: Science
Main field of studies: Computer Science, Mathematics
|
| |
Advancement level
(G1, G2, A): G1
|
|
Aim:
The aim of the course is that the students should gain an understanding of the basic concepts of logic as well as applications of logic in computer science. After the course the student will be able to:
- explain baisc concepts in logic
- formulate sentences in first-order logic
- show different relations between formulas and sets of formulas
- prove logic formulas using tableaux and/or resolution
|
|
Prerequisites: (valid for students admitted to programmes within which the course is offered)
Discrete mathematics
Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshhold requirements for progression within the programme, or corresponding.
|
|
Supplementary courses:
Logic programming
|
|
Organisation:
The course consists of a series of lectures and a number of problem solving seminars.
|
|
Course contents:
Formal syntax and semantics of propositional and predicate logic. Concepts like consistency, consequence and equivalence, plus proofs and refutations of these properties. Reasoning using formal proof systems, in particular tableaux and resolution. Soundness and completeness.
|
|
Course literature:
Ben-Ari, Mordechai (2001) Mathematical Logic for Computer Science. ISBN 1-85233-319-7.
|
|
Examination: |
|
Written examinaton
|
6 ECTS
|
| |
|
|
Course language is Swedish.
Department offering the course: IDA.
Director of Studies: Peter Dalenius
Examiner: Andrzej Szalas
Course Syllabus in Swedish
|