Course

INF131B Introduction to logic

Credits (ECTS):2.5

Course responsible:Martin Thomas Horsch

Campus / Online:Taught campus Ås

Teaching language:Norsk

Course frequency:Yearly - in August block

Teaching and exam period:The course starts in August block, and all its activities including the exam are in August block.

About this course

The course delivers an introduction to the foundations aspects of logic. Topics to be discussed include: Propositional logic (truth tables, normal forms), predicates and first-order logic, e.g. for semantics of SQL-queries, SPARQL queries and end points, OWL and description logic.

Learning outcome

The participants develop the ability to characterize the semantics of data in knowledge-based systems through formal logic. Competencies from the course can be developed further through DAT230 (Data management and analysis).
  • Learning activities
    Lectures combined with tutorials tailored to the students pre-established competencies and skills.
  • Teaching support
    The main lecturer + teaching assistant(s) skal assist and support the students.
  • Assessment method
    Portfolio evaluation

  • Examiner scheme
    The external and internal examiner jointly prepare the exam questions and the correction manual.
  • Admission requirements
    REALFAG