Skip to main content
Course

INF131B Introduction to logic

Credits (ECTS):2.5

Responsible faculty:Fakultet for realfag og teknologi

Course responsible:Martin Thomas Horsch

Campus / Online:Taught campus Ås

Teaching language:Norwegian

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.

  • Syllabus

    To be announced at the beginning of the course.

  • Assessment method

    Portfolio evaluation

  • About use of AI

    K2. Specified use of AI. No generative AI tools whatsoever are permitted when working on submissions that contribute to the grade by portfolio evaluation. For other purposes, they can be used freely.

    Descriptions of AI-category codes.

  • Examiner scheme

    The external and internal examiner jointly prepare the exam questions and the correction manual.

  • Admission requirements

    REALFAG