Swedish web site

A — Z
Logotyp Sigill Logotyp

IDA - Department of Computer and Information Science

LiU ▶ IDA ▶ TCSLAB ▶ Ulf Nilsson ▶ Teaching
Teaching

GRADUATE...

  • TDDD08 Logic Programming 2011 

POSTGRADUATE...

  • Discrete structures II 2007

ARCHIVE...

  • TDDC75 Discrete Structures 2010 (in Swedish only)
  • TTIT01 Programming and Modelling 2008 ( in Swedish only)
  • TDDC70/91 Data Structures and Algorithms (in Swedish only)
  • TTIT07 Discrete structures 2006 (in Swedish only)
  • TDDB94 Discrete mathematics and logic 2001 (in Swedish) 
  • TTIT32 Logic and verification 2000 (in Swedish) 
  • TNG008 Data structures and algorithms 1997 (in Swedish)
  • Aspects of scientific writing 2000 (in Swedish) 
  • Model checking 1998 
  • Constraint programming 2001 
  • Introduction to bioinformatics 2001
  • Introduction to constraint programming 1999 
  • Topics in constraint programming 1999
  • Calculi of concurrency 2000
Copyright © 2011 Ulf Nilsson

Page responsible: Ulf Nilsson
Last updated: 2012-05-07


Department of Computer and Information Science
Linköping University
581 83 LINKÖPING
Tel: +46 13 28 10 00

Contact IDA | Maps

At LiU

  • About LiU
  • Education
  • Research
  • Collaboration
  • LiU Students
  • LiU Employees
  • LiU Alumni
  • Library
  • Vacancies
  • Press Room
  • LiU Electronic Press

At IDA

  • Undergraduate studies
  • Final Thesis
  • Doctoral studies
  • Research
  • Organization
  • Internal
  • Emergency
Top of page Top of page