This page contains the course material for the lecture:

Artificial Intelligence in Theorem Proving

(Sztuczna Inteligencja w Dowodzeniu)

Semester 2019L (March 2020)

The material will be added at the times of the planned lectures, that is March 16-20 and March 30-April 3 at 2pm. 
Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] 01.pdf                  17-Mar-2020 11:08  671K  Two typos in first lecture fixed
[   ] 02.pdf                  17-Mar-2020 11:08  478K  
[   ] 03.pdf                  18-Mar-2020 13:51  1.2M  
[   ] 04.pdf                  19-Mar-2020 08:38  2.2M  
[   ] 05-lecture.pdf          20-Mar-2020 13:15  450K  
[   ] 05-ty-inference.mp4     20-Mar-2020 13:16   22M  Blackboard transformation of a type inference problem to a unification problem. Sorry about focus problems in the first minute - later autofocus was disabled
[   ] 05-unification.mp4      20-Mar-2020 13:16   14M  
[   ] 06.pdf                  31-Mar-2020 13:45  549K  
[   ] 07.pdf                  31-Mar-2020 13:45  464K  
[   ] 08.pdf                  01-Apr-2020 13:01  658K  
[   ] 09.pdf                  02-Apr-2020 09:14  1.2M  
[   ] 10.pdf                  03-Apr-2020 13:55  1.1M  
[   ] exam-2019.pdf           14-May-2020 15:19   95K  Last year's exam
Apache/2.2.3 (Red Hat) Server at cl-informatik.uibk.ac.at Port 80