Luleå University of Technology
home search contact us student
Course Catalog 01/02


Business Adm and Social Science

IED339 Logics and Algoritmic 7.5 ECTS credits

TIMEPERIOD:
Q III

LANGUAGE:Swedish

EXAMINER
Hugo Quisbert Univ adj


PREREQUISITES
General qualifications and mathematics

COURSE AIM
The aim of the course is to give the student fundamental knowledge of logic, terms, symbols,
functions and methods and to give the student knowledge of and skills in problem solutions
within the area of systems development.
This course will be a preparation for futher studies in Administrative Data Processing Systems.


CONTENTS
Logics:
An introduction in logics including the following fields in propositions and predictes;
- language
- analysis
- truth, logical truth and consequence
- deduction and proof
- set theory
- relations and functions

Algorithmics:
The aim of this part is to give basic knowledge in the three programming fields, data types,
algorithm and control. The following will be discussed:
- list, stack, queue
- ordered tree, binary tree
- abstract datatype
- seeking and searching
- graf


TEACHING
Teaching will take the form of lessons/lectures

EXAMINATION
Examination will be in the form of written examination.
COURSE GRADE SCALE:

ITEMS/CREDITS

Written exam 3.00ECTS
Written exam 4.50ECTS

COURSE LITERATURE
Janler, Wiberg: Datatyper och algoritmer, Studentlitteratur, Lund, 1990, 357 sid.
Prawitz, Dag: ABC i symbolisk logik, Thales, 1991, 240 sid.


REMARKS


Further information: International Office
Valid for the academic year 01/02.

Web Editor: Karin.Lindholm@dc.luth.se

The University | Student | Research | Search | Contact us | In Swedish

LULEÅ UNIVERSITY OF TECHNOLOGY
University Campus, Porsön, 971 87 Luleå. Tel. +46 (0) 920-91 000, fax +46 (0) 920-91 399
Last edited 2001-12-17