Explore >> Select a destination
|
You are here 
|
jiggerwit.wordpress.com | ||
| | | | |
fbeedle.com
|
|
| | | | | This book provides a distinct way to teach discrete mathematics. Since discrete mathematics is crucial for rigorous study in computer science, many texts include applications of mathematical topics to computer science or have selected topics of particular interest to computer science. | |
| | | | |
mycqstate.wordpress.com
|
|
| | | | | This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a "proof-based" discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will... | |
| | | | |
xenaproject.wordpress.com
|
|
| | | | | This is a guest post, written by Zhangir Azerbayev. Zhangir is an undergraduate at Yale, majoring in computer science and mathematics. He completed this work while visiting Carnegie Mellon's Hoskinson Center for Formal Mathematics. Introduction The history of interactive theorem proving can be told as a story of allowing the user to interact with the... | |
| | | | |
thekittymaths.wordpress.com
|
|
| | | A Compendium of Cool Internet Math Things | ||
