I'm surprised your Discrete class wasn't mandatory. It was for us. What did they replace Formal Languages with for you? They replaced ours with Discrete II and then replaced that with some comp sci version of it.
If you hadn't noticed, this is Forum 2.0