# Tag: notes

## Propositional Logic

This is supposed to be a complementary note to the post of Models of Computation. The notes below are from the book Foundations of Computer Science, that is a good place to learn the fundamental theories of computer science.

## Distributed Systems Revision

Some dot points of my study of COMP90015 Distributed Systems (SM2 2017). The notes below also contain lecture materials (© the University of Melbourne).

## Haskell Revision

A very little notes of my study of COMP90048 Declarative Programming (SM2 2017). The notes below contain my summaries and lecture materials (© the University of Melbourne).

## Automata Theory By Stanford

This is my study notes of Automata Theory offered by Jeff Ullman at Stanford Online in the theory of automata and languages. The notes below contain my summaries and lecture materials.

## Compilers By Stanford

This is my study notes of CS143 Compilers offered by Stanford Online and the resources can also be found on the web homepage. The notes below contain my summaries, lecture materials, and some assessments answers.

## Mathematics for Computer Science By MIT

This is my study notes of MIT6.042J Mathematics for Computer Science offered by MIT OCW. The course covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. The notes below contain my summaries, lecture materials, and some assessments answers.

## Fundamentals of Graphic Design By CalArts

This is my study notes of Fundamentals of Graphic Design provided by Coursera. The notes below contain my summaries and lecture materials. All the images below are screenshots from the online videos © CalArts.