├── LICENSE ├── README.md ├── ia ├── algorithms.pdf ├── databases.pdf ├── digital-electronics.pdf ├── discrete-mathematics.pdf ├── foundations-of-computer-science.pdf ├── graphics.pdf ├── introduction-to-probability.pdf ├── nst-maths.pdf └── oop.pdf ├── ib ├── c-and-c++.pdf ├── compilers.pdf ├── complexity-theory.pdf ├── computation-theory.pdf ├── computer-design.pdf ├── concurrent-and-distributed-systems.pdf ├── data-science.pdf ├── further-graphics.pdf ├── further-java.pdf ├── logic-and-proof.pdf └── semantics.pdf └── ii ├── denotational-semantics.pdf ├── hoare-logic-and-model-checking.pdf ├── information-theory.pdf ├── optimizing-compilers.pdf └── types.pdf /LICENSE: -------------------------------------------------------------------------------- 1 | MIT License 2 | 3 | Copyright (c) 2022 Alistair 4 | 5 | Permission is hereby granted, free of charge, to any person obtaining a copy 6 | of this software and associated documentation files (the "Software"), to deal 7 | in the Software without restriction, including without limitation the rights 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9 | copies of the Software, and to permit persons to whom the Software is 10 | furnished to do so, subject to the following conditions: 11 | 12 | The above copyright notice and this permission notice shall be included in all 13 | copies or substantial portions of the Software. 14 | 15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 21 | SOFTWARE. 22 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # University-Notes 2 | 3 | This is a repository for Cambridge Computer Science tripos notes. 4 | 5 | ## Contents 6 | 7 | The repository contains notes for the following courses. 8 | 9 | ### Part IA 10 | 11 | - Algorithms 12 | - Databases 13 | - Digital Electronics 14 | - Discrete Mathematics 15 | - Foundations of Computer Science 16 | - Introduction to Graphics 17 | - Instruction to Probability 18 | - NST Mathematics 19 | - OOP 20 | 21 | ### Part IB 22 | 23 | - C and C++ 24 | - Compilers 25 | - Complexity Theory 26 | - Computation Theory 27 | - Computer Design 28 | - Concurrent and Distributed Systems 29 | - Data Science 30 | - Further Graphics 31 | - Further Java 32 | - Logic and Proof 33 | - Semantics 34 | 35 | ### Part II 36 | 37 | - Denotational Semantics 38 | - Hoare Logic and Model Checking 39 | - Information Theory 40 | - Optimizing Compilers 41 | - Types 42 | 43 | ## Reporting Issues 44 | 45 | If you notice a mistake or issue, please create a issue on GitHub 46 | or email [me](mailto:ajob410+github@gmail.com). 47 | 48 | ## Authors 49 | - [Alistair O'Brien](https://github.com/johnyob) -------------------------------------------------------------------------------- /ia/algorithms.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ia/algorithms.pdf -------------------------------------------------------------------------------- /ia/databases.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ia/databases.pdf -------------------------------------------------------------------------------- /ia/digital-electronics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ia/digital-electronics.pdf -------------------------------------------------------------------------------- /ia/discrete-mathematics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ia/discrete-mathematics.pdf -------------------------------------------------------------------------------- /ia/foundations-of-computer-science.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ia/foundations-of-computer-science.pdf -------------------------------------------------------------------------------- /ia/graphics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ia/graphics.pdf -------------------------------------------------------------------------------- /ia/introduction-to-probability.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ia/introduction-to-probability.pdf -------------------------------------------------------------------------------- /ia/nst-maths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ia/nst-maths.pdf -------------------------------------------------------------------------------- /ia/oop.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ia/oop.pdf -------------------------------------------------------------------------------- /ib/c-and-c++.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/c-and-c++.pdf -------------------------------------------------------------------------------- /ib/compilers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/compilers.pdf -------------------------------------------------------------------------------- /ib/complexity-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/complexity-theory.pdf -------------------------------------------------------------------------------- /ib/computation-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/computation-theory.pdf -------------------------------------------------------------------------------- /ib/computer-design.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/computer-design.pdf -------------------------------------------------------------------------------- /ib/concurrent-and-distributed-systems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/concurrent-and-distributed-systems.pdf -------------------------------------------------------------------------------- /ib/data-science.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/data-science.pdf -------------------------------------------------------------------------------- /ib/further-graphics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/further-graphics.pdf -------------------------------------------------------------------------------- /ib/further-java.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/further-java.pdf -------------------------------------------------------------------------------- /ib/logic-and-proof.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/logic-and-proof.pdf -------------------------------------------------------------------------------- /ib/semantics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ib/semantics.pdf -------------------------------------------------------------------------------- /ii/denotational-semantics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ii/denotational-semantics.pdf -------------------------------------------------------------------------------- /ii/hoare-logic-and-model-checking.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ii/hoare-logic-and-model-checking.pdf -------------------------------------------------------------------------------- /ii/information-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ii/information-theory.pdf -------------------------------------------------------------------------------- /ii/optimizing-compilers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ii/optimizing-compilers.pdf -------------------------------------------------------------------------------- /ii/types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/johnyob/University-Notes/6f39da0fbfdc1d3c3653fe767b5b45ce07db2552/ii/types.pdf --------------------------------------------------------------------------------