Official course description, subject to change:
Basic info last published 1/10-20

Introduction to Artificial Intelligence, BSc

Course info
ECTS points:
Course code:
Participants max:
Offered to guest students:
Offered to exchange students:
Offered as a single subject:
Price (single subject):
10625 DKK (incl. vat)
BSc in Software Development
Course manager
Associate Professor
Course semester
Forår 2021
25 January 2021
28 May 2021
The overall goal of the course is to introduce students to a selection of the most important problem solving and decision support techniques within AI and optimization.

Computers are increasingly used to support decision making, exploiting that computers can perform computations at scale, on large amounts of data, requiring large amounts of computation steps, or both. This course studies how to solve such decision problems on computers.

The goal is to make students able to identify, design, and implement efficient solutions to the kind of decision problems that arise in modern organizations and IT products. The expectation is that a student mastering the material is able to work in internationally leveled business intelligence and optimization groups as well as in development departments of “intelligent” applications as used in smart phones, computer games, enterprise resource planning systems, and decisions support systems.

The course will cover the followings topics:

Search algorithms:
  • Informed search: greedy heuristic search, A*, breadth-first heuristic search
  • Local search: hill-climbing, simulated annealing, genetic algorithms, tabu search, population-based search
  • Adversarial search: Minimax search, alpha-beta pruning
Propositional logic:
  • Representations: disjunctive (DNF), conjunctive (CNF), and if-then-else (INF) normal forms, Binary Decision Diagrams (BDDs)
  • Reasoning: resolution, SAT-checking
Constraint programming:
  • Local consistency: arc-consistency, path-consistency, i-consistency
  • Look-ahead search strategies: forward-checking, arc-consistency look-ahead, maintaining arc-consistency
Linear Programming:
  • Simplex algorithm
  • Duality
Formal prerequisites

  • You must have passed an elementary programming course. (for example Introductory Programming)
  • You must have passed a discrete mathematics course (for example Foundations of Computing, Discrete Mathematics)
  • You must follow in parallel, or have passed an introductory algorithms course (for example Algorithms and Data Structures).
If you are an external student, it is important that you have programming-experience from elsewhere, i.e. through a daily use in a developer position in the software industry.

Intended learning outcomes

After the course, the student should be able to:

  • Identify decision problems in work processes and IT products that can be solved by AI.
  • Apply advanced AI modeling techniques to describe these problems formally.
  • Implement AI software components to solve these problems efficiently.
  • Apply standard AI models and solvers.
  • Participate in concept development of advanced decision support systems.
Ordinary exam
Exam type:
A: Written exam on premises, External (7-point scale)
Exam variation:
A11: Written exam on premises. Open book exam.