Index of /DAA/DAA2_2019
Name
Last modified
Size
Description
Parent Directory
-
L3a_Halting_Problem_16.10.2019.webm
2019-10-16 11:01
337M
L3b_Goedel_incompleteness_16.10.2019.webm
2019-10-16 11:56
317M
L3c_Goedel_comments_16.10.2019.webm
2019-10-16 13:02
359M
Apache/2.4.62 (Debian) Server at skelet.ludost.net Port 443
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}