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
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