Studiehandboken 06/07 del 4 - KTH

KTH Studiehandbok 2006-2007
5B1928 Logik
Poäng/KTH Credits 4
ECTS-poäng/ECTS Credits 6
Kursnivå/Level
A
Betygsskala/Grading, KTH 3, 4, 5
ECTS-betygsskala/Grading, ECTS
A-F
Obligatorisk för/Compulsory for
BMIT(IT3), PSIN(IT3), PSMI(IT3),
PSPV(IT3)
Språk/Language
Svenska / Swedish
Kurssida/Course Page
http://www.math.kth.se/math/GRU/KursPM.20
06.2007/5B1928.html
Poäng/KTH Credits 4
ECTS-poäng/ECTS Credits 6
Kursnivå/Level
A
Betygsskala/Grading, KTH 3, 4, 5
ECTS-betygsskala/Grading, ECTS
A-F
Obligatorisk för/Compulsory for
D1
Villkorligt valfri för/Conditionally Elective DKDI(IT3), DKKO(IT3), DKSY(IT3)
for
Valfri för/Elective for
DM(F4)
Språk/Language
Svenska / Swedish
Kurssida/Course Page
http://www.math.kth.se/math/GRU/KursPM.20
06.2007/5B1928.html
Logic
Kursansvarig/Coordinator
Kursuppläggning/Time Period 1, 2
Föreläsningar 40 h
Övningar 20 h
Kursansvarig/Coordinator
Se kurssida/ See course page,
Tel.
Kursuppläggning/Time Period 4
Föreläsningar 40 h
Övningar 20 h
Kortbeskrivning
Grundläggande kurs i logik.
Mål
Att ge de grundläggande kunskaper, insikter och färdigheter i logik som
behövs för de fortsatta datavetenskapliga studierna.
Kursinnehåll
Satslogik: syntax, semantik, naturlig deduktion, fullständighet. Predikatlogik:
dito. Orientering om mängdteori, samt om Churchs och Gödels satser.
Förkunskaper
5B1109 Linjär algebra II eller motsvarande
Kursfordringar
En tentamen (TEN1; 4p).
Kurslitteratur
Meddelas vid kursstart. Senast användes:
Forbes, Modern Logic
Abstract
A basic course of logics.
Aim
To acquire basic knowledge of logics for
studies of computer sciences.
Syllabus
Propositional calculus and predicate
logic: semantics, natural deduction,
completeness. Theory of sets and the
theorems of Church and Gödel.
Prerequisites
5B1109 Linear algebra II or equivalent.
Requirements
One written exam (TEN1; 4 credits).
Required Reading
To be announced at course start. Last
time the following book was used:
Forbes, Modern Logic
262
5B Matematik