Logic I 2022HT Status Running - no longer open for registrations School IDA-gemensam (IDA) Division ADIT Owner Patrick Lambrix

Log in

---

Course plan

Lectures

10h

Recommended for

Doctoral students in computer science with no knowledge in logic.

Content

Propositional and predicate logic (syntax, semantics, Inference mechanisms), translating natural language to logic.

Goals

- To gain an understanding of the basics of formal logic
- To be able to translate natural language to logic statements
- To be able to proof statements in logic

Lecturer

Patrick Lambrix

Examiner

Patrick Lambrix

Examination

Individual take-home exam.

Credits

3 HEC

Page responsible: Anne Moe