You are here: UiO > Academics > Courses >
|
||||||||||||||
An introduction to first order logic including proofs of the completeness and incompleteness theorems.
An understanding of the interplay between language, semantics and theory in formail logical systems. An understanding of one mathematical model of computability.
To participate in this course you must have an admission to a Ph.D.-programme at a Norwegian University or University College.
If you do not have an admission to the Ph.D.-Programme in Science at The Faculty of Mathematics and Natural Sciences at UiO, you have to apply for hospitantstatus (norwegian text) . Deadlines for applying are the 1st of February for courses in the Spring semester and the 1st of September for courses in the Autumn semester. For more information, please contact the Department.
None.
MAT1030 - Discrete mathematics and HUMIT1750 - Logikk og beregninger. A general competence in mathematics (approx. 40 credits) can compensate for the absence of these subjects.
10 credits with MAT3600 - Mathematical logic.
10 credits with MA 250.
10 credits with MAT4600 - Mathematical logic.
*The information about overlaps is not complete. Contact the department for more information if necessary.
4 hours of lectures/exercises per week.
One compulsory assignment has to be handed in and approved. Final mark based on written examination at the end of the semester.
Rules for compulsory assignments at the Department of Mathematics (norwegian only).
Permitted aids at the exam: None.
Students are awarded either a passing or failing grade. The pass/fail scale is applied as an independent scale with only two possible results.
Information about deferred and new examination (also called repeat examination) is found here (only in Norwegian) .
Visiting address:
Niels Henrik Abel's building, Moltke Moes vei
35
Postal address:
P.O.box 1053, Blindern
NO-0316 Oslo
Visiting hours:
Monday-friday 09:00-14:30
Get in touch with the University of Oslo