Kategori:Sains komputer teori

Daripada Wikipedia, ensiklopedia bebas.

Lompat ke: pandu arah, cari

Rencana utama untuk kategori ini ialah Sains komputer teori.

Wikimedia Commons mempunyai media berkaitan: Sains komputer teori

Subkategori

Yang berikut ialah 8 daripada 8 buah subkategori dalam kategori ini.

K

[+] Kaedah formal‎ (2 K, 1 L)

L

[+] Logik dalam sains komputer‎ (2 K)

M

[+] Matematik pengkomputan‎ (4 K)

M samb.

[+] Matematik pengkomputeran‎ (1 K)

S

[+] Semantik‎ (4 K, 8 L)

T

[+] Teori kerumitan pengkomputan‎ (1 K)

T samb.

[+] Teori maklumat‎ (3 K, 1 L)
[+] Teori pengiraan‎ (1 K)

Diambil daripada "http://ms.wikipedia.org/w/index.php?title=Kategori:Sains_komputer_teori&oldid=3059686"