Kursussøgning, efter- og videreuddannelse – Københavns Universitet

Videresend til en ven Resize Print Bookmark and Share

Kursussøgning, efter- og videreuddannelse

Introduction to Mathematical Logic

Practical information
Study year 2016/2017
Time
Block 4
Programme level Full Degree Master
ECTS 7,5 ECTS
Course responsible
  • Asger Dag Törnquist (6-697b6f6d7a7c4875697c7036737d366c73)
Phone +45 35 32 07 57, office 04.2.17
  • Department of Mathematical Sciences
Course number: NMAA13036U

Course content

First order logic, languages, models and examples. Formal deduction, deduction metatheorems, soundness, completeness and compactness, and applications of compactness. Recursion theory, computable functions on the natural numbers, Turing machines, recursively enumerable sets, and arithmetization of first order syntax. Basic axiomatic set theory, ordinals and cardinals.

Learning outcome

Knowledge: By the end of the course, the student is expected to be able to explain the concepts of: a first order language; of a model of a first order language; of formal deduction; of a computable relation and function; arithmetization of first order syntax; the axioms of Zermelo-Fraenkel set theory; ordinals and cardinals.

Skills: By the end of the course, the student must be able to define the satisfacation relation, account for the axioms of the deductive system, define the notion of recursive function, and prove that a repository of common functions and relations are recursive, including the coding of basic syntactical notions. The student must be able to prove the key theorems of the course, such as the deduction theorem, the soundness theorem, and the compactness theorem.

Competences: Use of first order languages and structures in mathematics, the formalization of proofs, the coding of syntactical notions in arithmetic. Use ordinal analysis and transfinite recursion.

Sign up


As an exchange, guest and credit student - click here!

Continuing Education - click here!

Education

MSc Programme in Mathematics

Studyboard

Study Board of Mathematics and Computer Science

Course type

Single subject courses (day)

Duration

1 block

Schedulegroup

A
---- SKEMA LINK ----

Teaching and learning methods

4 hours lecture and 3 hours tutorials per week for 7 weeks.

Capacity

No limit

Language

English

Workload

Category Hours
Lectures 28
Theory exercises 21
Preparation 70
Exam 40
Project work 20
Colloquia 21
Guidance 4
Excursions 2
English 206

Exam

Type of assessment

Oral examination, 30 min
With 30 minutes preparation time

Aid

Only certain aids allowed

Notes and the text book.

Marking scale

7-point grading scale

Criteria for exam assessment

The student must in a satisfactory way demonstrate that he/she has mastered the learning outcome of the course.

Censorship form

No external censorship
Several internal examiners

Re-exam

Same as ordinary exam. If the the 2 mandatory homework assignments were not approved before the ordinary exam they must be handed in at the latest two weeks before the beginning of the re-exam week. They must be approved before the re-exam.

Mere information om kurset
Er du BA- eller KA-studerende?
Er du bachelor- eller kandidat-studerende, så find dette kursus i kursusbasen for studerende:

Kursusinformation for indskrevne studerende