|
|
|
|
IED312 Applayed mathematichs 15.0 ECTS credits | |
TIMEPERIOD: Q III-Q IV LANGUAGE:Swedish EXAMINER S Samuelsson 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 (3 credits) An introduction in logics including the following fields in propositions and predictes; - language - analysis - truth, logical truth and consequence - deduction and proof
Part 2 algorithmics (4.5 credits)
Part 3 analysis (7.5 credits) | |
4.50ECTS | |
6.00ECTS | |
3.00ECTS | |
1.50ECTS | |
COURSE LITERATURE Dunkels, A, Nilsson, T: Räkning, formler och sånt ..., Studentlitteratur, 1991. Janler, Wiberg: Datatyper och algoritmer, Studentlitteratur, Lund, 1990, 357 sid. Prawitz, Dag: ABC i symbolisk logik, Thales, 1991, 240 sid. Samuelsson, S. Kompendium: Demonstrationer och övningar med kalkylprogram, IES/DSV Högskolan i Luleå, 1995. Tillämpad matematik för systemvetare - Röda Tråden, IES/DSV Högskolan i Luleå, 1996. REMARKS Further information: International Office |
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 |