IN1150 – Logical Methods
Schedule, syllabus and examination date
This is a course in basic mathematical and logical methods. Emphasis is placed on understanding and applying mathematical concepts and notation relevant to a study in computer science. The course exercises the ability to think systematically from assumptions, solve theoretical problems, as well as formalize and carry out mathematical reasoning on their own.
After finishing IN1150, you'll be able to:
- implement, understand and formalize mathematical reasoning using different proofing methods.
- apply basic quantitative and know basic notation and terminology regarding sets
- understand the basic statement logic and first order logic, ie logical concepts such as valuation, logical equivalence, logical consistency, validity, fulfillment, falsibility and contradiction.
- define, apply and calculate basic mathematical structures such as amounts, tuples, relationships, functions, equivalences, partitions, formulas, strings, languages, graphs, regular expressions.
- define sets inductively, define recursive functions on these quantities and prove claims about these using induction evidence.
- apply and explain basic combinatorics, graph theory, formal languages and logical calculations.
Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb.
If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.
Formal prerequisite knowledge
In addition to fulfilling the Higher Education Entrance Qualification, applicants have to meet the following special admission requirements:
- Mathematics R1 or Mathematics (S1+S2)
The special admission requirements may also be covered by equivalent studies from Norwegian upper secondary school or by other equivalent studies. Read more about special admission requirements (in Norwegian).
- 10 credits overlap with INF1080 – Logical Methods for Computer Science (continued)
- 5 credits overlap with INF1800 – Logic and Computability (discontinued)
- 5 credits overlap with MAT1030 – Discrete mathematics (discontinued)
- 5 credits overlap with MAT1140 – Structures and Arguments
- 5 credits overlap with HUMIT1750MN – Logikk og beregninger (discontinued)
- 5 credits overlap with SLI110
- 5 credits overlap with SLI1
- 5 credits overlap with FIL1400
Spring semester: Students are offered 4 hours of lectures and 2 hours of group lectures each week, combined with online education. Getting mandatory assignments approved is required. Read more about requirements for assignment of assignments, group work and legal cooperation under guidelines for mandatory tasks.
Attendance of the first lecture is compulsory.
Autumn semester: Students are offered online lessions with video and interactive tasks. The video content corresponds to 4 hours of lectures per week. Academic dialogue and follow-up are provided through call services and/or discussion boards. Submission of mandatory assignments with feedback from subject coordinators and fellow students will be facilitated. Read more about requirements for assignment of assignments, group work and legal cooperation under guidelines for mandatory tasks.
4 hours written digital exam. Mandatory assignments must be approved to be allowed to take the exam.
The written examination is conducted in the digital examination system Inspera. You will need to familiarize yourself with the digital examination arrangements in Inspera.
Examination support material
No examination support material is allowed.
Language of examination
You may write your examination paper in Norwegian, Swedish, Danish or English.
Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. Read more about the grading system.
Explanations and appeals
Resit an examination
This course offers both postponed and resit of examination. Read more:
Withdrawal from an examination
It is possible to take the exam up to 3 times. If you withdraw from the exam after the deadline or during the exam, this will be counted as an examination attempt.
It will also be counted as one of your three attempts to sit the exam for this course, if you sit the exam for one of the following courses: INF1080 – Logical Methods for Computer Science (continued)
Special examination arrangements
Application form, deadline and requirements for special examination arrangements.