I’d introduce them to it and see if they’re interested. If so, I’d give them more and eventually various branches that may particularly interest them (e.g. CS theory). If not, I wouldn’t push them.