 
|
|
|
|
|
|
|
|
|
MAM096 Logic 6.0 ECTS credits | |
|
TIMEPERIOD: LANGUAGE: EXAMINER T Gunnarsson Univ lekt PREREQUISITES COURSE AIM The aim of the course is to give basic knowledge, insight and skill in the different parts, aspects and applications of logic. CONTENTS The basic notions of mathematical logic, such as languages, semantics, models, deduction systems, theories, types, notions of truth, computer aided proof systems and set theory. Theorems and properties of logical systems such as consistency, model existence, expressive power, soundness, decideability, completeness and Gödel's theorems. Different types of logical systems such as propositional logic, predicate logic, modal logics, many valued logics, intuitionistic logic, constructive logic, philosophical logic, linear logic, substructure logic and higher order logics. Deduction systems, algorithmic and computer science aspects such as the correspondence between proofs and programs, sequent calculus of Gentzen type, natural deduction, lambda calculus, Per Martin-Löf's type theory, Kripke semantics, Skolem's paradox, nonstandard logic and the connection with the theory of computation and number theory. Various applications, something about formal systems and logic platforms. Computer laborations. TEACHING The teaching is in the form of lectures or tutorials and computer laborations. In the lectures new notions will be presented, theorems formulated and proved, algorithms explained and applied to problems. The laborations (computer exercises) are mandatory. EXAMINATION A written examination at the end of the course. The examination is graded according to alternative A in "Regler för tentamen". COURSE GRADE SCALE: 3, 4, 5 ITEMS/CREDITS | |
| Computer assisted laborations | 1.50ECTS |
| Written exam | 4.50ECTS |
|
COURSE LITTERATURE A. Nerode, R.A. Shore: Logic for Applications, Springer 1993
|
Web Editor: Karin.Lindholm@dc.luth.se
| The University | Student | Research | Search | Contact us | In Swedish |
 LULEÅ UNIVERSITY OF TECHNOLOGY University Campus, Porsön, 971 87 Luleå. Tel. +46 (0) 920-91 000, fax +46 (0) 920-91 399 |