Swedish name: Grundläggande logik och modellteori
This syllabus is valid: 2020-08-24 and until further notice
Course code: 5DV102
Credit points: 7.5
Education level: First cycle
Main Field of Study and progress level:
Computing Science: First cycle, has less than 60 credits in first-cycle course/s as entry requirements
Grading scale: Pass with distinction, Pass with merit, Pass, Pass with distinction, Pass, Fail
Responsible department: Department of Computing Science
Revised by: Faculty Board of Science and Technology, 2020-08-20
The course is divided into two modules:
The course covers predicate logic, first order logic, temporal logic, and model theory. Central concepts are syntax, semantics, proof systems, soundness, completeness, satisfiability, unification and resolution.
Knowledge of formal logical systems is necessary to understand the basic principles of many areas of Computer Science, e.g., databases, scientific computing, and machine learning. Module 1 creates this familiarity by teaching logical concepts and methods from a computer-science perspective. Particular emphasis is placed on (i) the difference between logically true statements and and formal proofs, i.e., the definition of logical truth on the one hand, and the development of formal systems for deriving the truth value of a statement on the other; (ii) algorithmic aspects of proof system, focusing on resolution; and (iii) logical models for logical systems and their usefulness for verification.
Module 2 provides logical proficiency training through mandatory assignments. The module illustrates theory taught in model 1, e.g., through assignments in logical programming, and gives the student the opportunity to apply definitions, notations, and formal systems in a practical setting.
After having completed the course, the student is expected to be able to:
Knowledge and understanding
Skills and abilities
To be admitted you must have at least 7.5 credits in discrete mathematics (e.g Introduction to Discrete Mathematics, 5MA143) and at least 7.5 credits in programming methodology (e.g 5DV157, 5DV158, 5DV176 eller 5DV177) or equivalent.
The course consists of lectures, quizzes, programming assignments, and exercises in small groups. In addition to scheduled activities the course also requires individual work with the material.
Examination of the theoretical module (FSR 1-12) is done through a written examination. The grade on this module is one of the grades Fail (U), Pass (3) or Pass with Merit (4), or Pass with Distinction (5).
The examination of the practical module (FSR 1-12) is done through completing a series of assignments individually according to instructions provided during the course. The number of assignments vary accoring to their level of difficulty but is never more than 5. The grade on the practical module is one of the grades Fail (U) or Pass (G).
On the whole course, one of the grades Fail (U), Pass (3) or Pass with Merit (4), or Pass with Distinction (5) is given. At least the grade Pass must be achieved on each part in order to get a grade for the whole course. The grade given on the course is the same as the one set on module 1.
For all students who do not pass the regular examination there is another opportunity to do the examination.
A student who has passed an examination may not be re-examined. A student who has taken two tests for a course or segment of a course, without passing, has the right to have another examiner appointed, unless there exist special reasons (Higher Education Ordinance Chapter 6, section 22). Requests for new examiners are made to the head of the Department of Computing Science.
Examination based on this syllabus is guaranteed for two years after the first registration on the course. This applies even if the course is closed down and this syllabus ceased to be valid.
Deviations from the examination forms mentioned in this syllabus can be made for a student who has a decision on pedagogical support due to disability. Individual adaptation of the examination forms should be considered based on the student's needs. The examination form is adapted within the framework of the expected learning outcomes of the course syllabus. At the request of the student, the course responsible teacher, in consultation with the examiner, must promptly decide on the adapted examination form. The decision must then be communicated to the student.
Transfer of credits
Students have the right to be tried on prior education or equivalent knowledge and skills acquired in the profession can be credited for the same education at Umeå University. Application for credit is submitted to the Student Services / Degree. For more information on credit transfer available at Umeå University's student web, www.student.umu.se, and the Higher Education Ordinance (Chapter 6). A refusal of crediting can be appealed (Higher Education chapter 12) to the University Appeals Board. This applies to the whole as part of the application for credit transfer is rejected.
Ben-Ari M.
Mathematical logic for computer science
3rd ed. : London : Springer : c2012. : xv, 346 p. :
ISBN: 9781447141280
Mandatory
Search the University Library catalogue
Ben-Ari Mordechai
Mathematical logic for computer science
2. uppl. : London : Springer : 2001 : xiv, 304 s :
ISBN: 1-85233-319-7
Mandatory
Search the University Library catalogue