Index of /~jeff/courses/1090/ppt

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 1019-9-Quesions.pptx    2024-01-18 17:10   15M  
 1090-0-intro-Long.pptx  2021-05-11 15:58   21M  
 1090-0-intro.pptx       2024-03-19 13:55  8.0M  
 1090-0-our-proof-sys..> 2020-05-31 17:27  2.0M  
 1090-1-proposition-O..> 2024-01-19 16:59   11M  
 1090-1-proposition.pptx 2024-03-04 09:55   13M  
 1090-2-for-profs.pptx   2022-01-10 18:01  374K  
 1090-2-informal-unde..> 2024-02-27 19:56  7.4M  
 1090-2-informal-unde..> 2024-03-21 16:39   14M  
 1090-3-proofs.pptx      2024-03-21 16:47  7.9M  
 1090-4-induction.pptx   2022-02-15 15:49  5.8M  
 1090-5-computing.pptx   2022-08-02 16:47  4.4M  
 1090-6-complexity.pptx  2021-12-03 11:55  3.3M  
 1090-7-representing-..> 2021-11-10 11:54  2.1M  
 1090-8-vectors.pptx     2023-02-21 20:31  6.4M  
 1090-9-Quesions.pptx    2024-01-19 16:15  235K  
 1090-9-our-proof-sys..> 2020-09-21 15:49  3.6M  
 1090-9-syntaxs-seman..> 2021-10-18 15:08  4.0M  
 1090-99-Symbols.pptx    2022-07-20 14:52  349K  
 1090-ass-3-pred_sol...> 2021-10-27 18:29  639K  
 1090-new proofs.pptx    2024-02-14 09:42  308K  
 Orbit of Planet is E..> 2021-08-09 22:34   11M  
 a                       2024-03-16 12:51  2.0K  
 a.pptx                  2024-01-19 14:03  562K  
 search_bug.pptx         2020-08-21 10:34   27K