Dept of Mathematics
MAM096 Logic 6.0 ECTS credits
DENNA SIDA FINNS OCKSÅ PÅ SVENSKA
General information about studying at Luleå University
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 AND CREDITS
Computer assisted laborations 1.5 ECTS
Written exam 4.5 ECTS
COURSE LITERATURE
A. Nerode, R.A. Shore: Logic for Applications, Springer 1993
REMARKS
Recommended prerequisites are in addition to a certain mathematical maturity some course in programming. The course is offered every second year alternating with the course Theory of Computation MAM073
Last modified 97-03-05
Back to departement menu