"False"
Skip to content
printicon
Main menu hidden.

Foundations of Logic and Model Theory

  • Number of credits 7.5 credits
  • Level Bachelor's level
  • Starting Autumn Term 2024

About the course

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.

Application and eligibility

Foundations of Logic and Model Theory, 7.5 credits

Det finns inga tidigare terminer för kursen Autumn Term 2024 Det finns inga senare terminer för kursen

Starts

2 September 2024

Ends

31 October 2024

Study location

Umeå

Language

English

Type of studies

Daytime, 50%

Required Knowledge

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.

Entry requirements

Selection

Academic credits Applicants in some programs at Umeå University have guaranteed admission to this course. The number of places for a single course may therefore be limited.

Application code

UMU-57205

Application

Application deadline was 15 April 2024. 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 17,850

Total fee

SEK 17,850

Contact us

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.

Course is given by
Department of Computing Science