Foundations of Logic and Model Theory 7.5 credits

About the course

The course is divided into two modules:

Module 1. Theory 4.5 hp
Module 2. Proficiency training 3.0 hp

The course covers predicate logic, first order logic, temporal logic, and model theory. Central concepts are syntax, semantics, proof systems, soundness, completeness, satisfiability, unification and resolution.

Knowledge of formal logical systems is necessary to understand the basic principles of many areas of Computer Science, e.g., databases, scientific computing, and machine learning. Module 1 creates this familiarity by teaching logical concepts and methods from a computer-science perspective. Particular emphasis is placed on (i) the difference between logically true statements and and formal proofs, i.e., the definition of logical truth on the one hand, and the development of formal systems for deriving the truth value of a statement on the other; (ii) algorithmic aspects of proof system, focusing on resolution; and (iii) logical models for logical systems and their usefulness for verification.

Module 2 provides logical proficiency training through mandatory assignments. The module illustrates theory taught in model 1, e.g., through assignments in logical programming, and gives the student the opportunity to apply definitions, notations, and formal systems in a practical setting.

Show syllabus

Apply

Autumn 2025
- Foundations of Logic and Model Theory
  
  Autumn 2025 / Umeå / English / On site
  
  Show more Show less
  
  Starts
  1 September 2025
  
  Ends
  2 November 2025
  
  Number of credits
  7.5 credits
  
  Type of studies
  On site
  
  Study pace
  50%
  
  Teaching hours
  Daytime
  
  Study location
  Umeå
  
  Language
  English
  
  Application code
  UMU-57205
  
  Eligibility To be admitted you must have at least 7.5 credits in discrete mathematics (e.g Introduction to Discrete Mathematics, 5MA143) and at least 7.5 credits in programming methodology (e.g 5DV157, 5DV158, 5DV176 eller 5DV177) or equivalent.
  
  Selection
  Academic credits
  
  Application
  Application deadline was 15 April 2025. The application period is closed.
  
  Application and tuition fees
  As a citizen of a country outside the European Union (EU), the European Economic Area (EEA) or Switzerland, you are required to pay application and tuition fees for studies at Umeå University.
  
  Application fee: SEK 900
  
  Tuition fee, first instalment: SEK 19,038
  
  Total fee: SEK 19,038
  
  Details about tuition, fees and funding

Apply online via universityadmissions.se
You apply to our programmes and courses via universityadmissions.se – the official website for higher education applications in Sweden. There, you can track your application, check that your documents have been registered, and log in to find our your admission results.
 
Late applications
Admissions to most programmes and courses typically close after the final application deadline. However, some programmes and courses may still accept late applications if seats are available. These are marked “Open for late application” on universityadmissions.se. Please note that late applications are not guaranteed to be reviewed.

More about application and admission

Explore your future at Umeå University

Join a vibrant academic community where high-quality education meets groundbreaking research in science, technology, humanities, and the arts. At Umeå University, you will learn from passionate, expert teachers and benefit from a close connection between research, education, collaboration, and innovation.

World's most satisfied international students

#1 globally in the main categories of Living, Support, and Overall Satisfaction.
A university with health at its core

Umeå University is certified as a Healthy Campus, with many initiatives that promote health and well-being.

Questions about the course?

Subject

Describe your enquiry or ask a question

First name

Last name

Email address

Please be aware that the University is a public authority and that what you write here can be included in an official document. Therefore, be careful if you are writing about sensitive or personal matters in this contact form. If you have such an enquiry, please call us instead. All data will be treated in accordance with the General Data Protection Regulation.