Kategori:Teorik bilgisayar bilimi

*

• Teorik bilgisayar bilimcileri (2 K, 18 M)

A

• Algoritmalar (28 K, 20 M)
• Algoritmalar teorisi (5 K, 14 M)

B

• Biçimsel yöntemler (5 K, 2 M)
• Bilgi teorisi (6 K, 10 M)
• Bilgisayar aritmetiği (3 K, 17 M)
• Bilgisayar biliminde mantık (5 K, 7 M)

Ç

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

E

• Evrimsel hesaplama (2 K, 2 M)

H

• Hesaplamalı öğrenme teorisi (1 M)

K

• Karmaşıklık teorisi (3 K, 18 M)

S

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

Ş

• Şifreleme teorisi (5 M)

T

• Turing makinesi (3 M)

V

• Veritabanı teorisi (2 K, 3 M)

• Teorik bilgisayar bilimi

B

• Berim
• Biçimsel dil kuramı
• 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 bilgisayarı

M

• Matematiksel mantık

O

• Otomatikleştirilmiş muhakeme

P

• Program doğrulama

Q

• Qubit

Z

• Zaman karmaşıklığı