ಔಪಚಾರಿಕವಾಗಿ, ಒಂದು ಡಿಸ್ಕ್ರೀಟ್‌‍ ಕೋಸೈನ್‌ ಮಾರ್ಪಾಡು ಒಂದು ಏಕಮುಖ, ತಿರುಗಿಸಬಹುದಾದ ಉತ್ಪನ್ನವಾಕ್ಯ "F(ಎಫ್)" : R(ಆರ್‌) -> R‌ (ಇಲ್ಲಿ R ಎನ್ನುವುದು ವಾಸ್ತವಸಂಖ್ಯೆಗಳನ್ನು) ಸೂಚಿಸುತ್ತದೆ), ಅಥವಾ ಒಂದು ತಿರುಗಿಸಬಹುದಾದ "N" × "N" ವರ್ಗ ಮಾತೃಕೆಗೆ ಸಮ. ಡಿಸಿಟಿಯಲ್ಲಿ, ವ್ಯಾಖ್ಯಾನಗಳಲ್ಲಿ ಸಣ್ಣ ಸಣ್ಣ ಬದಲಾವಣೆ ಹೊಂದಿದ ಹಲವು ವ್ಯತ್ಯಯಗಳಿವೆ. ಒಂದು ಸೂತ್ರದ ಪ್ರಕಾರ "N" ವಾಸ್ತವ ಸಂಖ್ಯೆಗಳನ್ನು "x" , ..., "x" "N" ವಾಸ್ತವ ಸಂಖ್ಯೆಗಳನ್ನಾಗಿ ಮಾರ್ಪಾಡು ಮಾಡಲಾಗುತ್ತದೆ "X" , ..., "X" :

ಲೆಕ್ಕಾಚಾರ (ಕಂಪ್ಯೂಟೇಷನ್)
ಅನೌಪಚಾರಿಕ ಸ್ಥೂಲಪರಿಚಯ
ಡಿಸಿಟಿ-II
ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯಾನ