Logic, 6 credits

Logik, 6 hp

TDDD72

Course starting semester

Main field of study

Mathematics Computer Science

Course level

First cycle

Course type

Programme course

Examiner

Andrzej Szalas

Director of studies or equivalent

Peter Dalenius

Education components

Preliminary scheduled hours: 40 h
Recommended self-study hours: 120 h

Possible deviation from course syllabus/programme syllabus

ECV = Elective / Compulsory / Voluntary

Course offered for		Semester	Period	Timetable module	Language	Campus	ECV
6CMJU	Computer Science and Software Engineering, M Sc in Engineering	1 (Autumn 2017)	2	2	Swedish	Linköping, Valla	C
6KMAT	Mathematics	5 (Autumn 2017)	2	2	Swedish	Linköping, Valla	E

Main field of study

Mathematics, Computer Science

Course level

First cycle

Advancement level

G1X

Course offered for

Computer Science and Software Engineering, M Sc in Engineering
Mathematics

Entry requirements

Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshold requirements for progression within the programme, or corresponding.

Prerequisites

Discrete mathematics

Intended learning outcomes

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

Course content

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.

Teaching and working methods

The course consists of a series of lectures and a number of problem solving seminars.

Examination

TEN1

Written examination

6 credits

U, 3, 4, 5

Grades

Four-grade scale, LiU, U, 3, 4, 5

Other information

Supplementary courses: Logikprogrammering

Department

Institutionen för datavetenskap

Director of Studies or equivalent

Peter Dalenius

Examiner

Andrzej Szalas

Course website and other links

Education components

Preliminary scheduled hours: 40 h
Recommended self-study hours: 120 h

Course literature

Ben-Ari, Mordechai (2001) Mathematical Logic for Computer Science. ISBN 1-85233-319-7.

Code	Name	Scope	Grading scale
TEN1	Written examination	6 credits	U, 3, 4, 5

Regulations (apply to LiU in its entirety)

The university is a government agency whose operations are regulated by legislation and ordinances, which include the Higher Education Act and the Higher Education Ordinance. In addition to legislation and ordinances, operations are subject to several policy documents. The Linköping University rule book collects currently valid decisions of a regulatory nature taken by the university board, the vice-chancellor and faculty/department boards.

LiU’s rule book for education at first-cycle and second-cycle levels is available at http://styrdokument.liu.se/Regelsamling/Innehall/Utbildning_pa_grund-_och_avancerad_niva.

Student rights and obligations (login required)
Linköping University common rules and regulations (in Swedish)

Course literature is preliminary.

Ben-Ari, Mordechai (2001) Mathematical Logic for Computer Science. ISBN 1-85233-319-7.

Download

Download course literature list as PDF

Note: The course matrix might contain more information in Swedish.

I = Introduce, U = Teach, A = Utilize

		I	U	A	Modules
1. DISCIPLINARY KNOWLEDGE AND REASONING
	1.1 Knowledge of underlying mathematics and science (G1X level)		X	X	TEN1
	1.2 Fundamental engineering knowledge (G1X level)			X	TEN1
	1.3 Further knowledge, methods, and tools in one or several subjects in engineering or natural science (G2X level)
	1.4 Advanced knowledge, methods, and tools in one or several subjects in engineering or natural sciences (A1X level)
	1.5 Insight into current research and development work
2. PERSONAL AND PROFESSIONAL SKILLS AND ATTRIBUTES
	2.1 Analytical reasoning and problem solving		X		TEN1
	2.2 Experimentation, investigation, and knowledge discovery		X		TEN1
	2.3 System thinking	X
	2.4 Attitudes, thought, and learning	X
	2.5 Ethics, equity, and other responsibilities
3. INTERPERSONAL SKILLS: TEAMWORK AND COMMUNICATION
	3.1 Teamwork
	3.2 Communications
	3.3 Communication in foreign languages
4. CONCEIVING, DESIGNING, IMPLEMENTING AND OPERATING SYSTEMS IN THE ENTERPRISE, SOCIETAL AND ENVIRONMENTAL CONTEXT
	4.1 External, societal, and environmental context	X
	4.2 Enterprise and business context
	4.3 Conceiving, system engineering and management	X
	4.4 Designing
	4.5 Implementing	X
	4.6 Operating
5. PLANNING, EXECUTION AND PRESENTATION OF RESEARCH DEVELOPMENT PROJECTS WITH RESPECT TO SCIENTIFIC AND SOCIETAL NEEDS AND REQUIREMENTS
	5.1 Societal conditions, including economic, social, and ecological aspects of sustainable development for knowledge development
	5.2 Economic conditions for knowledge development
	5.3 Identification of needs, structuring and planning of research or development projects
	5.4 Execution of research or development projects
	5.5 Presentation and evaluation of research or development projects

This tab contains public material from the course room in Lisam. The information published here is not legally binding, such material can be found under the other tabs on this page.

There are no files available for this course.