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.
I 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)