கோட்பாட்டியல் கணினி அறிவியலானது கணினி கணக்கியலுடன் தொடர்புடைய இலக்கமியல் கணிதப் பகுதிகளைப் பற்றியதாகும். இது பெரும்பாலும் வரைபடக் கோட்பாடு மற்றும் தர்க்கம் ஆகிய பிரிவுகளை அதிகமாக சார்ந்துள்ளது. கோட்பாட்டியல் கணினி அறிவியலுடன், கணிதவியல் முடிவுகளைக் கணக்கிடுவதற்கான வழிமுறைகளும் உள்ளன. கணக்கிடக்கூடிய தன்மை என்பது தத்துவரீதியாக எதைக் கணக்கிட முடியும் என்பதைப் பற்றியதாகும், மேலும் அது தர்க்கத்துடன் நெருங்கிய தொடர்புள்ளது. சிக்கலான தன்மை என்பது கணக்கீடுகளுக்கு எடுத்துக்கொள்ளப்படும் நேரத்தைப் பற்றியதாகும். தானியக்கக் கோட்பாடும் முறையான மொழிக் கோட்பாடும் கணக்கிடத்தக்க தன்மையுடன் நெருக்கமான தொடர்புடையனவாகும். கணக்கீட்டு வடிவியலானது வடிவியல் கணக்கீடுகளுக்கு படிமுறைத்தீர்வுககளைப் பயன்படுத்துகிறது, கணினி படப் பகுப்பாய்வானது அவற்றைப் படங்களை வழங்கப் பயன்படுத்துகிறது.

தகவல் கோட்பாடு
கோட்பாட்டியல் கணினி அறிவியல்
தனிநிலையாக்கம்
இலக்கமியல் கணிதத்திலுள்ள தலைப்புகள்