Symbolic Methods Fall 2020

This course was taught in the Department of Biomedical Informatics at Columbia University by Dr. Chunhua Weng in the Fall of 2020. The TA was Michael Zietz.

These course materials reflect my own imperfect understanding. I’d be grateful to anyone who let me know about inaccuracies.

The materials are hosted on GitHub, and are released by Michael Zietz under a CC BY 4.0 license.