2018/19
Course image CS118:Programming for Computer Scientists 2018/19
CS118:Programming for Computer Scientists
 
Course image CS137:Discrete Mathematics & its Applications 2 2018/19
CS137:Discrete Mathematics & its Applications 2
 
Course image CS259:Formal Languages 2018/19
CS259:Formal Languages
 
Course image CS260:Algorithms 2018/19
CS260:Algorithms
 
Course image CS262:Logic and Verification 2018/19
CS262:Logic and Verification
 
Course image CS310:Project 2018/19
CS310:Project
 
Course image CS349:Principles of Programming Languages 2018/19
CS349:Principles of Programming Languages


Hello! Hope you want to learn about programming languages -- their history, their design principles, their foundations, and the principles defining correctness of programs written in them.

More information at the main page at:  https://warwick.ac.uk/fac/sci/dcs/teaching/material/cs349.

 
Course image CS355:Digital Forensics 2018/19
CS355:Digital Forensics
 
Course image CS404:Agent Based Systems 2018/19
CS404:Agent Based Systems
 
Course image CS409:Algorithmic Game Theory 2018/19
CS409:Algorithmic Game Theory
 
Course image CS412:Formal Systems Development 2018/19
CS412:Formal Systems Development
 
Course image CS918:Natural Language Processing 2018/19
CS918:Natural Language Processing