Lecture 1: Functional Programming; Proofs; ADTs Let's start by establishing some foundations for our study of programming languages. We'll see how to define programs as mathematical objects, write ...

Repository for CSC1620 codes used in classroom . Contribute to jazontan/CSC1620-Python-Programming development by creating an account on GitHub.

Lecture 1: Types and Evaluation We outline the course, its goals, and talk about various administrative issue which you can find in the syllabus. We also introduce the language ML which is used ...

This repository stores my programming exercises for the Dynamic Programming and Optimal Control lecture (151-0563-01) at ETH Zurich in Fall 2019. In this project, an infinite horizon problem was ...

This paper deals with linear programming techniques and their application in optimizing lecture rooms in an institution. This linear programming formulated based on the available secondary data ...