Courses: INF227 Introduction to Logic - Spring 2017
Credits
10.0Language of Instruction
English
Teaching semester
Spring
Objectives and Content
The course introduces the elementary concepts from propositional and first-order logics. WE study the relation between syntax and semantics, reasoning systems, proof strategies and completeness. We will also consider simple applications in informatics, such as logic programming and formal specifications.
Learning Outcomes
The course introduces fundamental notions and techniques from formal logic. These notions and techniques are used in different areas of informatics. An understanding of such notions is useful for all the students of informatics (as well as mathematics). In particular, the course gives the necessary background for further study of theoretical informatics.
Required Previous Knowledge
At least 60 ECTS in computer science, preferably including some mathematics
Recommended Previous Knowledge
MNF130 Discrete structures
Compulsory Assignments and Attendance
Exercises.
Compulsory assignments are valid two semesters, the semester of the approval and the following semester.
Forms of Assessment
Written exam. It is opportunity for grades on exercises, which can be included in the final grade. If less than 20 students are taking the course, it can be oral exam.
No aids allowed.
Grading Scale
The grading scale used is A to F. Grade A is the highest passing grade in the grading scale, grade F is a fail.
Subject Overlap
I127: 10 ECTS
Contact Information
studieveileder@ii.uib.no