Swedish web site

A — Z
LiU's logotype LiUs logotype LiUs logotype

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
Fax: +46 13 14 22 31

Contact IDA | Maps

About this web site

LiU organization

  • Arts & Sciences
  • Educational Sciences
  • Health Sciences
  • Science and Engineering
  • Departments
  • Offices & Administration

At LiU

  • LiU Student Web
  • Education
  • Library
  • Prospective Employees
  • Alumni
  • Cooperation
  • Press room
  • Employees
  • LiU Fundraising

At IDA

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