Տեսական ինֆորմատիկա
Տեսական ինֆորմատիկան կամ տեսական համակարգչային գիտություն, ինֆորմատիկայի և մաթեմատիկայի ճյուղ, որը կենտրոնանում է հաշվարկման մաթեմատիկական թեմաների վրա և ներառում է ալգորիթմների տեսությունը։

Հաշվողական տեխնիկայի միությունը տեսական ինֆորմատիկան սահմանում է հետևյալ կերպ՝

Բաժիններ

Տեսական ինֆորմատիկա 
 Մաթեմատիկական տրամաբանությունը մաթեմատիկական գիտություն է, կապված ինֆորմատիկայի և փիլիսոփայական տրամաբանության հետ։
 Ավտոմատների տեսությունն ուսումնասիրում է աբստրակտ մեքենաների կառուցվածքը և գործունեությունը։
 Թվերի տեսությունը տեսական մաթեմատիկայի ճյուղ է։ Ուսումնասիրում է թվերի, հատկապես ամբողջական թվերի, հատկանիշները և մեծաքանակ խնդիրները, որոնք առաջանում են նրանց ուսումնասիրման հետևանքով։
 Կատեգորիաների տեսությունը Մաթեմատիկաի ճյուղ է, որն ուսումնասիրում է մաթեմատիկական կառուցվածքները և նրանց հարաբերությունները։
 Հաշվարկային երկրաչափությունն ուսումնասիրում է այն ալգորիթմները որոնք կարող են ներկայացվել երկրաչափության միջոցով։
 Քվանտային հաշվարկման տեսությունը զբաղվում է քվանտային համակարգիչների ուսումնասիրմամբ։
 Հաշվարկման տեսությունն ինֆորմատիկայի և մաթեմատիկայի բաժին է, որը զբաղվում է շատ կարևոր սկզբունքային հարցով՝ ինչը և ինչքան էֆեկտիվորեն կարելի է հաշվարկել։
 Հաշվարկելիության տեսությունն պարզում է, որ խնդիրներն են հաշվարկելիորեն լուծելի։
 Հաշվարկման բարդության տեսությունն ուսումնասիրում է խնդիրներ, որոնք կապված են ալգորիթմներին անհրաժեշտ ռեսուրսների հետ։ Ալգորիթմների անալիզը հաշվարկման բարդության տեսության ծյուղ է։

Տեսական ինֆորմատիկայի տիրույթին են պատկանում նաև Գրաֆների տեսությունը և Տիպերի տեսությունը։

Ալգորիթմներ և տվյալների կառուցվածքներ 
 Ալգորիթմներ
 Ալգորիթմների անալիզն ուսումնասիրում է ալգորիթմները, և նրանց իրագորձման համար անհրաժեշտ ռեսուրսների քանակը պարզելու համար։
 Տվյալների կառուցվածքները համակարգչում տվյալների կազմակերպման և պահեստավորման որոշակի ձևեր են։

Թվային և սիմվոլիկ հաշվարկում 
 Կենսաինֆորմատիկան ինֆորմատիկայի կիրառումն է մոլեկուլային կենսաբանության ասպարեզում։
 Իմացական գիտությունն ուսումնասիրում է մտավոր ունակությունը։
 Հաշվարկային քիմիան քիմիաի բաժին է, որն օգտագործում է համակարգիչներ՝ քիմիական խնդիրների լուծման համար։
 Հաշվարկային ֆիզիկան թվային ալգորիթմների ուսումնասիրումն ու գործածումն է ֆիզիկայից խնդիրների լուծման համար։
 Թվային անալիզն ուսումնասիրվում է ալգորիթմներ՝շարունակական մաթեմատիկայի խնդիրների լուծման համար։
 Սիմվոլիկ մաթեմատիկա
 Հաշվարկային նյարդագիտություն

Աղբյուրներ 

Ինֆորմատիկա
Ֆորմալ գիտություններ
 
Ալգորիթմներ
Ինֆորմատիկայի բաժիններ