703314 VU Logic and Learning A: Interactive Theorem Proving

summer semester 2024 | Last update: 18.12.2023 | Place course on memo list

Department:

Department of Computer Science

Instructor:

Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299

Course number:

703314

Title:

VU Logic and Learning A: Interactive Theorem Proving

Type/hours:

VU 3

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

English

Learning Outcome:

Advanced understanding of current topical areas in logic and learning; acquisition of the ability to independently educate themselves in the field.

Contents:

Design of an LCF prover; formal proofs; structured proofs and proof scripts; higher-order logic: induction, recursive data structures and recursive functions; automation; termination proofs; correctness of programs

Methods:

lectures, exercises

Assessment:

homeworks, assignments, presentations, in-class test

Literature:

provided in the course

Prerequisites:

logic, functional programming

Link:

http://cl-informatik.uibk.ac.at/teaching/

Start:

see dates

allocated to study field

Faculty of Teacher Education

Master's Programme Secondary School Teacher Training (General Education) according to the curriculum 2018 (120 ECTS-Credits, 4 semesters)

Subject Computer Science

Compulsory Modules (25 ECTS-Credits)

Compulsory Module 1: Advanced Computer Science (7,5 ECTS-Credits)

Faculty of Mathematics, Computer Science and Physics

Master's Programme Computer Science according to the Curriculum 2021 (120 ECTS-Credits, 4 semesters)

Elective Modules (50 ECTS-Credits)

Elective Module 7: Logic and Learning (10 ECTS-credits, 6 hours)

Sustainable development goals

SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Fri 2024-03-08	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-03-15	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-03-22	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-04-12	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-04-19	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-04-26	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-05-03	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-05-10	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-05-17	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-05-24	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-05-31	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-06-07	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-06-14	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-06-21	10.15 - 12.45	SR 12 SR 12	Barrier-free
Fri 2024-06-28	10.15 - 12.45	SR 12 SR 12	Barrier-free