Year 1 of the computer science and philosophy course of the University of Oxford (source code)

= Year 1 of the computer science and philosophy course of the University of Oxford
{title2=Prelims}

Two shared programming/<algorithms>/proof-systems papers, discrete <mathematics> and <probability>, introduction to philosophy, and philosophical topics in logic and <probability>.