Пределы имеют отношение к дискретной математике?

Дискретная математика - это работа со счётными наборами: матлогика, целые числа, множества, графы, комбинаторика и т.д. И, кстати, теория алгоритмов - это тоже дискретная математика. Пределы в дискретной математике встречаются (например, в анализе алгоритмов O-большое определяется именно как предел для объёма входных данных стремящегося к бесконечности), но очень ограничено.

То, что обычно называют "пределами" - это матанализ: работа с вещественными, комплексными и т.д. функциями. Применительно к программированию, это не дискретная, а вычислительная математика.