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: INF3170 – Logic (continued), IN4070 – Logic, INF4170 – ...

Petri net models for the Horn clause form of propositional logic and of first-order predicate logic are studied. A net model for logical inconsistency check is proposed. Algorithms for computing ...

Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography ℗♭ 2002 Birkhℓℓuser, this second edition provides a modern introduction to the foundations of logic, ...

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 ...