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-informal-unde..> 2025-03-07 11:29   16M  
 1090-0-intro-Long.pptx  2021-05-11 15:58   21M  
 1090-0-intro.pptx       2024-12-21 14:18  4.3M  
 1090-0-our-proof-sys..> 2020-05-31 17:27  2.0M  
 1090-0-syntaxs-seman..> 2021-10-18 15:08  4.0M  
 1090-1-proposition-O..> 2024-01-19 16:59   11M  
 1090-1-proposition.pptx 2025-02-03 18:24   14M  
 1090-1.5-Review.pptx    2025-02-04 06:28  2.3M  
 1090-2-informal-unde..> 2025-03-18 14:57   17M  
 1090-2-our-proof-sys..> 2020-09-21 15:49  3.6M  
 1090-2.5-Review.pptx    2025-02-06 11:50  1.3M  
 1090-3-proofs.pptx      2025-01-12 19:11  8.0M  
 1090-4-induction.pptx   2025-03-18 15:18  5.7M  
 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     2024-07-09 14:24   13M  
 1090-9-Quesions.pptx    2024-01-19 16:15  235K  
 1090-9-for-profs.pptx   2024-10-29 13:54  1.2M  
 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  
 Bounded Time Computi..> 2024-12-06 17:56   44K  
 Orbit of Planet is E..> 2021-08-09 22:34   11M  
 search_bug.pptx         2020-08-21 10:34   27K