С-есептеуі (С-Исчисление; С-calculus) — қатынастар үстіндегі алгебралық операциялар тізбегіндегі өрнектерді жетілдіру арқылы болатын хабарламалық есептеу.