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


Business Adm and Social Science

IED339 Logics and Algoritmic 7.5 ECTS credits

TIMEPERIOD:


LANGUAGE:

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
Part 1 logics (4.5 credits)
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

Part 2 algorithmics (3 credits)
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
- time and space
- seeking and searching
- graf
- relation


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
Valid for the academic year 00/01.

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 2000-12-18