நிறையப் பணிகளைக் கணினியின் கேள்வி-பதில் முறையில் தானியக்கமாக மாற்ற விரும்புவோம்: நாம் ஒரு கேள்வி கேட்க விரும்புவோம் கணினி அதற்கான பதிலை தர வேண்டும். கோட்பாட்டுக் கணிப்பொறி அறிவியலில், இந்த மாதிரியான பணிகள் கணக்கீட்டுப் புதிர்கள் எனப்படும். பொதுவாக கணக்கீட்டுப் புதிர்கள் "சான்றுகளையும்" ஒவ்வொரு சான்றுகளுக்கான "தீர்வுகளையும்" கொண்டிருக்கும். சான்றுகள் என்பது நாம் கேட்கும் கேள்விகளாகவும், தீர்வுகள் அந்த கேள்விகளுக்கு பதில்களாகவும் இருக்கும்.

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

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

கீழே உள்ள கலந்தாய்வு பல்வகை கணினிகளை மையப்படுத்துகிறது. ஒரு கணினியில் செய்யப்படும் உடன்நிகழ்வு செய்முறை வெளியீடு ஒரே மாதிரியாக இருக்கிறது.

மூன்று பார்வைப்புள்ளிகள் பொதுவாக உபயோகப்படுத்தப்படுகிறது:


பரவிய நெறிமுறைகளில், கணக்கியல் பிரச்சனைகள் வரைப்படத்துடன் தொடர்பு கொண்டுள்ளன. கணினி வலையமைப்பின் கட்டமைப்பை விவரிக்கும் வரைபடமானது பிரச்சனை சான்றில் "இருக்கிறது" . பின்வரும் எடுத்துக்காட்டில் இது விவரிக்கப்பட்டுள்ளது.

ஒரு உதாரணம்:
மாடல்கள்
பரவிய அமைப்புகளின் பண்புகள்
இணை கணித்தல், பரவிய கணித்தல்