Study Guide@lith
 

Linköping Institute of Technology

 
 
Valid for year : 2017
 
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

Linköping Institute of Technology

 


Contact: TFK , val@tfk.liu.se
Last updated: 11/10/2016