jordanspooner / ic-second-year-notes
Notes for second year Computing at Imperial College London
☆16Updated 5 years ago
Alternatives and similar repositories for ic-second-year-notes:
Users that are interested in ic-second-year-notes are comparing it to the libraries listed below
- Notes for first year Computing at Imperial College London☆52Updated 2 years ago
- Notes for third year Computing at Imperial College London (incomplete)☆11Updated 5 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆67Updated 9 months ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆14Updated 3 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆35Updated last year
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆12Updated 2 years ago
- Course Material for the iSchool at UMD's INST414, Data Science Techniques☆12Updated 9 months ago
- ☆17Updated 3 years ago
- Notes for the Lectures of Year 2 Computing 2021-22☆41Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 10 months ago
- Repository for Math 156 Machine Learning at UCLA in Spring 2021 (Instructor: Hanbaek Lyu)☆13Updated 3 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated last year
- Course Material for my course Linear Algebra 2 (in french)☆11Updated 7 months ago
- A database app for ring theory☆21Updated this week
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated 9 months ago
- ☆13Updated 3 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Updated 11 months ago
- A Lean file formatter☆64Updated last year
- Material from M1P1, formalised in Lean☆15Updated 5 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆139Updated last month
- My typed-up math lecture notes☆13Updated 2 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…☆37Updated 3 years ago
- Math notes from my whole degree :-) (And one CS class, and some fun physics)☆22Updated last year
- Undergraduate numerical analysis, first semester, APPM 4650. University of Colorado Boulder☆14Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆222Updated last month
- Catalog Of Math Problems Formalized In Lean☆127Updated this week
- ☆9Updated 4 years ago