Yup, PDP-4312 is a "Monitor" without any OTA Tuners, with ONLY one HDMI and two Component Video (YPbPr) High Def inputs. So you MIGHT also need an inexpensive Input switch, which come in Manual/Automatic/Remote-Control varieties....and either just one I/F type or multiple I/F types:
Check the appropriate campus website and CALL THEM FOR ADVICE. They should have info on how to connect to what is probably an INTERNAL CATV system.....which is likely NOT the same as the commercial CATV systems in the neighborhood. It might be using one or more of the following modulation formats: (a) Old Analog NTSC, (b) ATSC (same as OTA), (c) Clear QAM and/or (d) Encrypted QAM.
Any 'ol VCR (and DVD Recorders) will receive (ONLY) type (a) NTSC, converting to Composite Video (Yellow/Red/White) RCA Jacks for connection to HDTV.
Inexpensive CECB Converter Boxes are available (check fleabay, etc) for under $40 (some for a LOT less) that will receive ONLY (b) ATSC, converting to either Ch3/4 "ANT" Input or (Yellow/Red/White) RCA Jacks. So they have the disadvantage of downconverting HD to low-rez SD: [See my signature line for a list.]
OTA "HD STB" High Definition Tuners are available that receive (b) ATSC and some of them also (c) Clear QAM. They connect using either HDMI or Component Video (Red/Green/Blue) Coax Cables. Note that PrimeDTV costs more to ALSO receive (c) Clear QAM:
The Official AVS HDTV STB Synopsis!
If your campus system employs (d) Encrypted QAM for some or all channels, you're going to need to pay for a Cable Box to receive them, which is probably provided by the local Campus Service Desk. The Cable Box should also receive NTSC and Clear QAM signals if they are also on the CATV system.
If I was running your local On-Campus CATV system, I would use either ATSC, which would be easiest to redistribute local OTA signals and should also be easiest for the STUDENTS who need only use an ATSC DTV, no extra boxes required. Or it could include or entirely employ Clear QAM, which might be more cost effective for the CATV headend since it can pack more programs into each QAM Channel...and could be cobbled together from obsolete/excessed CATV headend systems.