Տեսական ինֆորմատիկա

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

Թյուրինգի մեքենայի գեղարվեստական ներկայացումը։

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

Տեսական համակարգչային գիտությունը ներառում է բազմաթիվ թեմաների, այդ թվում՝ ալգորիթմներ, տվյալների կառուցվածքներ, հաշվարկման բարդության տեսություն, զուգահեռ և բաշխված հաշվում, հավանականային հաշիվ, քվանտային հաշիվ, ավտոմատների տեսություն, ինֆորմացիայի տեսություն, գաղտնագրություն, ֆորմալ մեթոդներ, իմաստաբանություն, մեքենայական ուսուցում, հաշվարկային կենսաբանություն, հաշվարկային տնտեսագիտություն, հաշվարկային երկրաչափություն, հաշվարկային թվերի տեսություն և հաշվարկային հանրահաշիվ։ Այս բնագավառի աշխատանքները հաճախ առանձնանում են մաթեմատիկական տեխնիկայով և խստությամբ։

Բաժիններ

Տեսական ինֆորմատիկա

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

• Հաշվարկելիության տեսությունն պարզում է, որ խնդիրներն են հաշվարկելիորեն լուծելի։
• Հաշվարկման բարդության տեսությունն ուսումնասիրում է խնդիրներ, որոնք կապված են ալգորիթմներին անհրաժեշտ ռեսուրսների հետ։ Ալգորիթմների անալիզը հաշվարկման բարդության տեսության ծյուղ է։

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

Ալգորիթմներ և տվյալների կառուցվածքներ

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

Թվային և սիմվոլիկ հաշվարկում

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