Hesaplamalı karmaşıklık teorisi
Önemli karmaşıklık sınıfları

Birçok önemli karmaşıklık sınıfı, algoritma tarafından kullanılan zaman veya uzayı sınırlayarak tanımlanabilir. Bu şekilde tanımlanan karar problemlerinin bazı önemli karmaşıklık sınıfları şöyledir:
Diğer önemli karmaşıklık sınıfları arasında olasılık tabanlı Turing makineleri kullanılarak tanımlanan BPP, ZPP ve RP listelenebilir.Yine örnek olarak, boolean devreleri kullanılarak tanımlanan AC ve NC sınıfları ve kuantum Turing makineleri kullanılarak belirlenmiş BQP ve QMA sınıfları verilebilir.#P ise sayım problemlerinde kullanılan önemli başka bir tür karmaşıklık sınıfıdır.ALL sınıfı ise bütün kararların sınıfıdır.
| g t Bilgisayar biliminin alt dalları |
| --- | --- | --- |
| Matematiksel temeller | Matematiksel mantık ·  Kümeler kuramı ·  Sayı teorisi ·  Çizge teorisi ·  Tip teorisi ·  Kategori teorisi ·  Sayısal çözümleme ·  Bilgi teorisi ·  Kombinatorik ·  Boole cebiri |  |
| Hesaplama teorisi | Otomat teorisi ·  Hesaplanabilirlik teorisi ·  Hesaplamalı karmaşıklık teorisi ·  Kuantum hesaplama teorisi |  |
| Algoritmalar ve veri yapıları | Algoritma çözümlemesi ·  Algoritma tasarımı ·  Hesaplamalı geometri |  |
| Programlama dilleri ve derleyiciler | Ayrıştırıcılar ·  Yorumlayıcılar ·  Yordamsal programlama ·  Nesne yönelimli programlama ·  Fonksiyonel programlama ·  Mantık programlama ·  Programlama paradigmaları |  |
| Eşzamanlı, paralel ve dağıtık sistemler | Çoklu işleme ·  Dağıtımlı hesaplama ·  Eşzamanlılık denetimi |  |
| Yazılım mühendisliği | Gereksinim çözümleme ·  Yazılım tasarımı ·  Bilgisayar programlama ·  Biçimsel yöntemler ·  Yazılım testi ·  Yazılım geliştirme süreci |  |
| Sistem mimarisi | Bilgisayar mimarisi ·  Bilgisayar organizasyonu ·  İşletim sistemi |  |
| Telekomünikasyon ve ağ oluşturma | Bilgisayar müziği ·  Yönlendirme ·  Örgü topolojisi ·  Kriptografi |  |
| Veritabanları | Veritabanı yönetim sistemleri ·  İlişkisel veritabanı ·  SQL ·  İşlem yürütme ·  Veritabanı indeksleme ·  Veri madenciliği ·  Metadata (Üst veri) ·  Ana veri (Master data) |  |
| Yapay zekâ | Otomatikleştirilmiş muhakeme ·  Bilgisayarlı dilbilim ·  Bilgisayarlı görü ·  Evrimsel hesaplama ·  Uzman sistemler ·  Makine öğrenimi ·  Doğal dil işleme ·  Robotik |  |
| Bilgisayar grafikleri | Görselleştirme ·  Bilgisayar animasyonu ·  Görüntü işleme |  |
| İnsan-bilgisayar etkileşimi | Bilgisayar erişilebilirliği ·  Kullanıcı arayüzleri ·  Giyilebilir hesaplama ·  Yaygın bilişim ·  Sanal gerçeklik |  |
| Bilimsel hesaplama | Yapay yaşam ·  Biyoenformatik ·  Bilişsel bilim ·  Bilgisayarlı kimya ·  Hesaplamalı nörobilim ·  Hesaplamalı fizik ·  Sayısal algoritmalar ·  Sembolik matematik |  |
Bilgisayar bilimi, ACM Hesaplama ve Sınıflandırma Sistemi'ne göre farklı konu ve alanlara ayrılabilir.
| g t Matematiğin genel alanları |
| --- | --- |
 Matematik tarihi  Matematiğin ana hatları  Matematiğin dalları 
Analiz:  Diferansiyel denklemler  Fonksiyonel analiz  Gerçel analiz  Harmonik analiz  Hiperkompleks analiz  Kalkülüs  Karmaşık analiz  Ölçü teorisi 
Ayrık matematik:  Çizge teorisi  Kombinatorik  Sıra teorisi 
Cebir:  Basit cebir  Çokludoğrusal cebir  Değişmeli cebir  Doğrusal cebir  Evrensel cebir  Grup teorisi  Homolojik cebir  Soyut cebir 
Geometri:  Analitik geometri  Aritmetik geometri  Ayrık geometri  Cebirsel geometri  Diferansiyel geometri  Öklid geometrisi  Sonlu geometri 
Hesaplamalı matematik:  Algoritmalar teorisi  Bilgisayar bilimi  Hesaplamalı karmaşıklık teorisi  Nümerik analiz  Optimizasyon  Sembolik hesap 
Matematiğin temelleri:  Bilgi teorisi  Kategori teorisi  Küme teorisi  Matematik felsefesi  Matematiksel mantık  Tip teorisi 
Sayılar teorisi:  Analitik sayı teorisi  Aritmetik  Cebirsel sayı teorisi  Diyofant geometrisi 
Topoloji:  Cebirsel topoloji  Diferansiyel topoloji  Genel topoloji  Geometrik topoloji  Homotopi teorisi 
Uygulamalı matematik:  İstatistik  Matematiksel biyoloji  Matematiksel ekonomi  Finansal matematik  Matematiksel fizik  Matematiksel kimya  Matematiksel psikoloji  Matematiksel sosyoloji  Mühendislik matematiği  Olasılık teorisi  Sistem bilimi Kontrol teorisi  Oyun teorisi  Yöneylem araştırması 
İlişkin konular:  Matematikçiler Matematikçi listeleri  Matematik eğitimi  Matematikçiler hakkındaki filmler 
| --- | --- |
Otorite kontrolü :  GND: 4120591-1  LCCN: sh85029473  NKC: ph305884  NLI: 987007545779105171