Syllabus:

Fundations of Logic and Model Theory, 7.5 Credits

Swedish name: Grundläggande logik och modellteori

This syllabus is valid: 2011-10-31 valid to 2020-08-23 (newer version of the syllabus exists)

Show earlier/later versions of this syllabus Hide revision history for this syllabus

Syllabus for courses starting after 2020-08-24

Syllabus for courses starting between 2011-10-31 and 2020-08-23

Syllabus for courses starting between 2011-06-13 and 2011-10-30

Syllabus for courses starting before 2011-06-12

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: TH teknisk betygsskala

Responsible department: Department of Computing Science

Literature

Valid from: 2011 week 44

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