Kategori:Teorik bilgisayar bilimi

*

• Teorik bilgisayar bilimcileri‎ (2 K, 17 M)

A

• Algoritmalar‎ (27 K, 20 M)
• Algoritmalar teorisi‎ (5 K, 13 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, 19 M)

S

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

Ş

• Şifreleme teorisi‎ (5 M)

T

• Turing makinesi‎ (3 M)

V

• Veritabanı teorisi‎ (2 K, 2 M)

• Teorik bilgisayar bilimi

B

• Berim
• Biçimsel dil kuramı
• Biçimsel yöntemler
• Bilgisayarlı dilbilim
• Bilimsel hesaplama

D

• DNA bilgisayarları

E

• European Association for Theoretical Computer Science

G

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

H

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

J

• John Horton Conway

K

• Knuth Ödülü
• Kuantum bilgisayarı

M

• Matematiksel mantık

O

• Otomatikleştirilmiş muhakeme

P

• Program doğrulama

Q

• Qubit

Z

• Zaman karmaşıklığı