3 ms·
CS157 (Computational Logic) at Stanford has made all its lectures etc. public. You can find it here: http://intrologic.stanford.edu/stanford/index.php http://in
by abda0180 6y ago
CS157 (Computational Logic) at Stanford has made all its lectures etc. public. You can find it here: http://intrologic.stanford.edu/stanford/index.php http://intrologic.stanford.edu/stanford/index.php
I attended the course - and learned a lot!