3 ms·
what is "real computer science" in this case? automated theorem proving? that is decidedly a graduate topic so I'm not surprised undergrads don't know anything
by ice109 9y ago
what is "real computer science" in this case? automated theorem proving? that is decidedly a graduate topic so I'm not surprised undergrads don't know anything about it.
- setr 9y agoI think the problem is that, while the undergrad doesn't necessarily need to understand graduate-level topics, they should be aware of their existence (and their own current inability to appreciate it)