కంప్యూటింగ్ సిద్ధాంతం

థియరీ ఆఫ్ కంప్యూటింగ్ అనేది సమర్థవంతమైన గణన, గణన ప్రక్రియల నమూనాలు మరియు వాటి పరిమితుల అధ్యయనం. కంప్యూటింగ్ సిద్ధాంతం ఆధునిక గణన సంక్లిష్టత సిద్ధాంతాన్ని అభివృద్ధి చేయడం, సమర్థవంతమైన గ్రాఫ్ అల్గారిథమ్‌ల పునాదులు మరియు విశ్వసనీయ వ్యవస్థలను నిర్మించడానికి అనువర్తిత తర్కం మరియు అధికారిక ధృవీకరణను ఉపయోగించడం.

కంప్యూటింగ్ సిద్ధాంతానికి సంబంధించిన సంబంధిత జర్నల్స్

థియరీ ఆఫ్ కంప్యూటింగ్ సిస్టమ్స్, ఇమేజ్ అండ్ విజన్ కంప్యూటింగ్, మొబైల్ కంప్యూటింగ్‌పై IEEE లావాదేవీలు, SIAM జర్నల్ ఆఫ్ సైంటిఫిక్ కంప్యూటింగ్, ACM కంప్యూటింగ్ సర్వేలు.