Formal learning theory is a mathematical study of convergence to true beliefs. The course will treat topics from the domain of (computational) inductive inference, relevant for philosophy of science, language acquisition, and formal epistemology. This is an advanced course in the Master of Logic programme.
This page will be regularly updated throughout the semester, with links to the slides used in class, homework assignments, and information on possible changes in the schedule. Please check it regularly.