Nəzəri informatika

Nəzəri informatika — informatikanın riyazi və nəzəri əsaslarını öyrənən bir sahədir. Bu sahə, hesablama, alqoritm, məlumat strukturları, mürəkkəblik nəzəriyyəsi, formal dillər və avtomatlar kimi mövzuları əhatə edir. Nəzəri informatika, hesablama nəzəriyyəsi və onun tətbiqi üçün fundamental prinsipləri formalaşdırır və bir çox digər informatika sahələrinin inkişafına əsas yaradır.

 Əsas mövzuları 
 Hesablama nəzəriyyəsi   
Bu, alqoritmlərin və hesablama proseslərinin nəzəri əsaslarını araşdırır. Hesablama nəzəriyyəsi, "nəyi hesablamaq olar?" sualına cavab axtarır və bunun üçün müxtəlif formal modelləri istifadə edir.
Türinq maşınları — hər hansı bir hesablamanın necə yerinə yetirilə biləcəyini göstərən nəzəri modeldir. Turing maşınları, hesablama prosesinin sərhədlərini anlamaq üçün əsas vasitədir.
Hesablama funksiyaları — hesablama proseslərinin tərifini verən funksiyalardır. Bu, reallaşdırma mümkünlüyünü araşdırmaq üçün istifadə olunur.

 Alqoritm nəzəriyyəsi   
Alqoritm nəzəriyyəsi alqoritmlərin effektivliyini, performansını və səmərəliliyini öyrənir.
Alqoritmlərin analizi — alqoritmlərin zaman və məkan mürəkkəbliyini qiymətləndirmək üçün metodlar təqdim edir. Bu, O-nun, Ω-nin və Θ-nin asimptotik notasiya anlayışlarını əhatə edir."Any classical mathematical algorithm, for example, can be described in a finite number of English words".  Page 2.
Mürəkkəblik sinifləri — P, NP, NP-tam və NP-hard kimi mülahizələri araşdırır. Bu siniflər, alqoritmlərin həll edilməsi üçün tələb olunan resursların (zaman, yaddaş) tələblərini göstərir.

 Formal dillər və avtomatlar   
Bu sahə, riyazi modellər və formal dillərin təhlilini əhatə edir. Avtomatlar və formal dillər, riyazi nəzəriyyə və kompüter elmləri arasında bir əlaqə yaradır.
Dilli formalizasiya — dillərin qrammatikalarını tərtib etmək və onları təhlil etmək üçün formal sistemlər (məsələn, kontekstual, regulat dillər) istifadə olunur.
Avtomatlar — müxtəlif formal dilləri qəbul edən və işləyən avtomat modelləri (məsələn, sonlu avtomatlar, Türinq maşınları) nəzəri informatikanın vacib hissələrindəndir.

 Məlumat strukturları 
Məlumat strukturları, verilənlərin saxlanması və təşkil edilməsinin riyazi prinsiplərini öyrənir. Bu, məlumatların səmərəli işlənməsi və axtarışı üçün əhəmiyyətlidir.
Məlumat strukturlarının analizi — massivlər, bağlı siyahılar, qrafiklər, ağaclar və digər strukturların səmərəliliyini qiymətləndirmək üçün istifadə olunan metodlar.Paul E. Black (ed.), entry for data structure in Dictionary of Algorithms and Data Structures. U.S. National Institute of Standards and Technology. 15 December 2004. Online version  Accessed May 21, 2009.Entry data structure in the Encyclopædia Britannica (2009) Online entry  accessed on May 21, 2009.
Tətbiq sahələri — Məlumat strukturları müxtəlif tətbiqlərdə, məsələn, axtarış alqoritmlərində və verilənlər bazası sistemlərində istifadə olunur.

 Kombinatorika və Qraf nəzəriyyəsi   
Kombinatorika, obyektlərin müxtəlif tərtibatlarını araşdırır, qraf nəzəriyyəsi isə qrafik strukturların davranışını təhlil edir.
Qraf alqoritmləri — Dijkstra, Prim, Kruskal kimi alqoritmlər qrafiklərdə ən qısa yol, minimal ağac və s. tapmaq üçün istifadə olunur.
Kombinatorik problemlər — məsələn, kombinasiya, permutasiya və müvafiq sayların hesablanması.

 Cryptography (Kriptoqrafiya)  
Nəzəri informatika, kriptoqrafik alqoritmlərin və metodların analizi ilə də bağlıdır. Burada məlumatların gizliliyi və təhlükəsizliyi üçün nəzəri yanaşmalar inkişaf etdirilir.

 Nəzəri informatikanın tətbiqi 
Nəzəri informatikanın tədqiqatları və prinsipləri, proqram təminatı inkişafında, alqoritmlərin optimallaşdırılmasında, məlumatların emalında və müasir kompüter sistemlərinin dizaynında geniş şəkildə tətbiq olunur. Riyazi anlayışların dəqiq tərifi və analizi, daha səmərəli və güclü hesablama sistemlərinin yaradılmasında əhəmiyyətli rol oynayır.

Nəzəri informatika, riyazi və fəlsəfi prinsipləri birləşdirərək kompüter elmlərinin əsaslarını formalaşdırır. Alqoritm tərtibatı, verilənlərin emalı, riyazi modelləşdirmə və sistem analizi kimi sahələrdəki inkişaflar, riyazi düşüncə və analitik bacarıqları inkişaf etdirir, bununla da informatika sahəsində yeni perspektivlər açır.

 İstinadlar 

 Ədəbiyyat 
 Martin Davis, Ron Sigal, Elaine J. Weyuker, Computability, complexity, and languages: fundamentals of theoretical computer science, 2nd ed., Academic Press, 1994, . Covers theory of computation, but also program semantics and quantification theory. Aimed at graduate students.

 Xarici keçidlər 
 SIGACT directory of additional theory links (archived 15 July 2017)
 Theory Matters Wiki Theoretical Computer Science (TCS) Advocacy Wiki
 List of academic conferences in the area of theoretical computer science at confsearch
 Theoretical Computer Science – StackExchange, a Question and Answer site for researchers in theoretical computer science
 Computer Science Animated
 Theory of computation at the Massachusetts Institute of Technology

Kateqoriya:İnformatika
Kateqoriya:Nəzəri informatika
Kateqoriya:Formal elmlər