Index of /~jeff/courses/1090/ppt

Icon  Name                    Last modified      Size  Description
[PARENTDIR] 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
Apache/2.4.63 (Unix) PHP/8.3.19 OpenSSL/1.1.1k mod_wsgi/5.0.1 Python/3.12 Server at www.eecs.yorku.ca Port 443