Codex @codex  0

 Incoming links: Functional programming and design and analysis of algorithms paper of the University of Oxford

Year 1 of the mathematics and computer science course of the University of Oxford 2026-10-25

Five papers: Mathematics I paper of the University of Oxford, Mathematics II paper of the University of Oxford, continuous mathematics and probability, Functional programming and design and analysis of algorithms paper of the University of Oxford, and Imperative programming and introduction to proof systems paper of the University of Oxford.

 Read the full article