Bước tới nội dung

Thể loại:Khoa học máy tính lý thuyết

Bách khoa toàn thư mở Wikipedia

Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về Khoa học máy tính lý thuyết.

Thể loại con

Thể loại này có 8 thể loại con sau, trên tổng số 8 thể loại con.

K

Khoa học thông tin lượng tử (4 t.l., 22 tr.)

L

Lý thuyết độ phức tạp tính toán (3 t.l., 9 tr.)
Lý thuyết đồ thị (8 t.l., 61 tr.)
Lý thuyết thông tin (9 t.l., 13 tr.)
Lý thuyết tính toán (2 t.l., 9 tr.)

N

Ngôn ngữ hình thức (4 t.l., 8 tr.)
Ngữ nghĩa học (9 t.l., 17 tr.)

P

Phương pháp hình thức (4 t.l., 9 tr.)

Trang trong thể loại “Khoa học máy tính lý thuyết”

Thể loại này chứa 17 trang sau, trên tổng số 17 trang.

C

Các phương pháp hình thức

Đ

H

K

Khoa học máy tính lý thuyết

L

Lý thuyết ngôn ngữ lập trình

M

N

Ngôn ngữ hình thức

P

Phép tính lambda

S

Suy luận tự động

T

Lấy từ “https://vi.wikipedia.org/w/index.php?title=Thể_loại:Khoa_học_máy_tính_lý_thuyết&oldid=37495788”