Kategori:Teorik bilgisayar bilimi

*

• Teorik bilgisayar bilimcileri (2 K, 18 M)

A

• Algoritmalar (29 K, 24 M)
• Algoritmalar teorisi (5 K, 14 M)

B

• Biçimsel diller (2 K, 11 M)
• Biçimsel yöntemler (5 K, 2 M)
• Bilgi teorisi (7 K, 12 M)
• Bilgisayar aritmetiği (3 K, 20 M)
• Bilgisayar biliminde mantık (6 K, 8 M)

Ç

• Çözülememiş bilgisayar bilimi problemleri (5 M)

E

• Evrimsel hesaplama (2 K, 2 M)

H

• Hesaplamalı öğrenme teorisi (1 M)

K

• Karmaşıklık teorisi (4 K, 18 M)
• Kuantum bilgi bilimi (2 K, 1 M)
• Kuantum hesaplama (1 K, 1 M)

S

• Sözderastlantısallık (1 K, 1 M)

Ş

• Şifreleme teorisi (5 M)

T

• Turing makinesi (4 M)

V

• Veritabanı teorisi (2 K, 3 M)

• Teorik bilgisayar bilimi

B

• Berim
• Biçimsel dil
• Biçimsel yöntemler
• Bilimsel hesaplama

D

• DNA bilgisayarları

E

• European Association for Theoretical Computer Science

G

• Gödel Ödülü
• Gustafson yasası

H

• Hesaplamalı dilbilim
• Hesaplamalı geometri
• Hesaplamalı karmaşıklık teorisi

J

• John Horton Conway

K

• Knuth Ödülü
• Kuantum bilgi bilimi
• Kuantum hesaplama

M

• Matematiksel mantık

O

• Otomatikleştirilmiş muhakeme

P

• Program doğrulama

Q

• Qubit

Z

• Zaman karmaşıklığı