(i) An extensive discussion of the concepts and tools of various logics.
(ii) An assignment where the students use logics for modelling and analysis.
ID1016 Logic for Enterprise Systems 7.5 credits
This course has been discontinued.
Last planned examination: Spring 2000
Decision to discontinue this course:
No information inserted
Course offerings are missing for current or upcoming semesters.
Headings with content from the Course syllabus ID1016 (Autumn 2010–) are denoted with an asterisk ( )
Content and learning outcomes
Course contents
Intended learning outcomes
On successful completion of this module students should be able to:
1. translate texts in natural language to sentence- and predicate logic,.
2. deduce formulas in predicate logic using the various methods.
3. utilise methods for automatic theorem proving.
4. create conceptual models in e.g., UML from system descriptions.
5. formally analyse and verify static aspects of such descriptions.
Literature and preparations
Specific prerequisites
Completed upper secondary education including documented proficiency in Swedish corresponding to Swedish B and English corresponding to English A. For students who received/will receive their final school grades after 31 December 2009, there is an additional entry requirement for mathematics as follows: documented proficiency in mathematics corresponding to Mathematics A.
And the specific requirements corresponding to Mathematics C, Civics A, Physics A and Chemistry A.
Recommended prerequisites
No information inserted
Equipment
No information inserted
Literature
Preliminary:
Logic - Basics and Beyond, G. Davies, L. Ekenberg and J. Thorbiörnson
Upplaga: Förlag: År:
ISBN: ISBN 91-89278
Complementary web-based materials
Examination and completion
If the course is discontinued, students may request to be examined during the following two academic years.
Grading scale
A, B, C, D, E, FX, F
Examination
- INL1 - Assignments, 4.0 credits, grading scale: P, F
- TEN1 - Examination, 3.5 credits, grading scale: A, B, C, D, E, FX, F
Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.
The examiner may apply another examination format when re-examining individual students.
Written exam (3,5 hp) and hand-ins (4 hp).
The grading scale on the written exam is A/B/C/D/E/Fx/F and on the hand-in pass or fail (P/F).
Other requirements for final grade
To pass the course, the student needs to pass on both the written exam and the hand in. The grade associated with the course is only based on the student's result on the written exam.
Opportunity to complete the requirements via supplementary examination
No information inserted
Opportunity to raise an approved grade via renewed examination
No information inserted
Examiner
No information inserted
Ethical approach
- All members of a group are responsible for the group's work.
- In any assessment, every student shall honestly disclose any help received and sources used.
- In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.
Further information
Course room in Canvas
Registered students find further information about the implementation of the course in the course room in Canvas. A link to the course room can be found under the tab Studies in the Personal menu at the start of the course.
Offered by
Main field of study
Technology
Education cycle
First cycle
Add-on studies
No information inserted
Contact
Peter Majlender, pmajlend@dsv.su.se, 08-16 16 92