Skip to content

My revision notes for Computer Science at University of Warwick 2022-25

Notifications You must be signed in to change notification settings

qwertpi/warwick-notes

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

14 Commits
 
 
 
 
 
 
 
 

Repository files navigation

warwick-notes

Yet another set of Warwick Computer Sciences notes!
My revision materials for the modules I took.

Disclaimers

No guarantees are provided as to the accuracy or completeness of these notes.
I will not be publishing until I have finished the module and probably won't update the module after this point.
Images copied from module materials have been removed for copyright reasons.

Index

Year 1 (2022/23)

CS118: Programming for Computer Scientists

CS118 Notes
CS118 Quiz

CS126: Design of Information Structures

CS126 Notes
CS126 Quiz

CS130: Mathematics for Computer Scientists 1

CS130 Notes
CS130 Quiz
External resource (Book): How to Prove It: A Structured Approach by by Daniel Velleman

CS131: Mathematics for Computer Scientists 2

CS131 Notes
CS131 Quiz
External resource (Videos/Blog): Essence of linear algebra by 3Blue1Brown
External resource (Videos/Blog): Essence of calculus by 3Blue1Brown

CS132: Computer Organisation & Architecture

CS132 Notes
CS132 Quiz

CS133: Professional Skills

CS133 Notes

CS140: Computer Security

CS140 Notes
CS140 Quiz

CS141: Functional Programming

CS141 Notes
External resource (Video): Haskell is useless by Simon Peyton Jones (tongue in cheek but motivates need for controlled effects)

IB104: Mathematical Programming 1

IB104 Notes
External resource (Video): Simplex Algorithm: What's actually going on by TLMaths

Year 2 (2023/24)

CS241: Operating Systems and Computer Networks

CS241 Notes
External resource (Webpage): Everything you need to know about pointers in C by Peter Hosey

CS255: Artificial Intelligence

CS255 Notes

CS258: Database Systems

CS258 Notes
External resource (Website): SQL Reference by w3resource

CS259: Formal Languages

CS259 Notes
Closure properties Quiz
External resource (Video): CYK Algorithm Made Easy by EducationAboutStuff
External resource (Video): Pumping Lemma for Context-Free Languages by EasyTheory
External resource (Webtool): DFA from Regex Calculator by CyberZHG

CS260: Algorithms

CS260 Notes
Master theorem and reductions Quiz
External resource (Book): Algorithms by Jeff Erickson

CS261: Software Engineering

My tips for the development phase (including zero to hero with Git)
CS261 Notes
UML Quiz
External resource (Website): The Catalog of Design Patterns by Alexander Shvets

CS262: Logic and Verification

CS262 Notes
External resource (Book/Blog): Learn Prolog Now! by Patrick Blackburn, Johan Bos, and Kristina Striegnitz

IB207: Mathematical Programming 2

IB207 Notes
IB207 Quiz

MA252: Combinatorial Optimisation

MA252 Notes
External resource (Video): The Art of Linear Programming by Tom S

About

My revision notes for Computer Science at University of Warwick 2022-25

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published