Tin học lý thuyết là gì? Chi tiết về Tin học lý thuyết mới nhất 2021

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

Bước tới điều hướng
Bước tới tìm kiếm

Tin học lý thuyết là tập hợp các chủ đề của khoa học máy tính tập trung vào các khía cạnh toán học trừu tượng của tính toán, chẳng hạn như lý thuyết tính toán (theory of computation), phân tích thuật toán (analysis of algorithms) và ngữ nghĩa của ngôn ngữ lập trình. Tuy bản thân tin học lý thuyết không phải là một chủ đề đơn nhưng các nhà nghiên cứu ngành này lập thành một nhóm con giữa các nhà nghiên cứu khoa học máy tính.

Phạm vi[sửa | sửa mã nguồn]

Khó có thể khoanh vùng các lĩnh vực lý thuyết một cách chính xác; Nhóm nghiên cứu đặc biệt về thuật toán và lý thuyết tính toán của tổ chức ACM nói rằng:

“Lĩnh vực tin học lý thuyết được hiểu theo nghĩa rộng để bao hàm các thuật toán, cấu trúc dữ liệu, lý thuyết độ phức tạp tính toán, tính toán phân tán, tính toán song song, VLSI, học máy, sinh học tính toán (computational biology), địa lý tính toán (computational geometry, lý thuyết thông tin (information theory), mật mã học, tính toán lượng tử (quantum computation), đại số và lý thuyết số tính toán, kiểm định và ngữ nghĩa chương trình, lý thuyết ô-tô-mát (automata theory), và nghiên cứu về tính ngẫu nhiên (study of randomness). Các công trình trong lĩnh vực này thường được phân biệt với các lĩnh vực khác bởi nhấn mạnh vào kỹ thuật và tính chặt chẽ toán học.”
Có thể bạn quan tâm  Avatar (phim 2009) là gì? Chi tiết về Avatar (phim 2009) mới nhất 2021

Các tổ chức[sửa | sửa mã nguồn]

  • EATCS, the European Association for Theoretical Computer Science – Hội Tin học Lý thuyết châu Âu
  • SIGACT
  • Dutch Association for Theoretical Computer Science [1] – Hội Tin học Lý thuyết Hà Lan

Tạp chí[sửa | sửa mã nguồn]

  • Information and Computation
  • Theory of Computing (open access journal)
  • Formal Aspects of Computing
  • Journal of the ACM
  • SIAM Journal on Computing
  • SIGACT News
  • Theoretical Computer Science
  • Theory of Computings Sytems[liên kết hỏng]
  • Chicago Journal of Theoretical Computer Science

Hội thảo[sửa | sửa mã nguồn]

  • Annual ACM Symposium on the Theory of Computing (STOC)
  • IEEE Symposium on Foundations of Computer Science (FOCS)
  • Symposium on Discrete Algorithms (SODA)
  • International Colloquium on Automata, Languages and Programming (ICALP)
  • Symposium on Theoretical Aspects of Computer Science (STACS)
  • European Symposium on Algorithms (ESA)
  • Algebraic Methodology And Software Technology (AMAST)
  • IEEE Symposium on Logic in Computer Science (LICS)
  • International Symposium on Algorithms and Computation(ISAAC)
  • (APPROX/RANDOM)
  • Computational Complexity Conference (CCC)
  • Symposium on Parallelism in Algorithms and Architectures (SPAA)
  • Computability in Europe (CiE)

Xem thêm[sửa | sửa mã nguồn]

  • Khoa học hình thức (Formal science)

Tham khảo[sửa | sửa mã nguồn]

  • SIGACT home page
  • Challenges for Theoretical Computer Science, draft of 2000

Liên kết ngoài[sửa | sửa mã nguồn]

  • SIGACT directory of additional theory links
  • Usenet comp.theory


Lấy từ “https://vi.wikipedia.org/w/index.php?title=Tin_học_lý_thuyết&oldid=64695662”

Từ khóa: Tin học lý thuyết, Tin học lý thuyết, Tin học lý thuyết

LADIGI – Công ty dịch vụ SEO Google giá rẻ, SEO từ khóa, SEO tổng thể cam kết lên Top Google uy tín chuyên nghiệp, an toàn, hiệu quả.

Nguồn: Wikipedia

Có thể bạn quan tâm  Dioptre là gì? Chi tiết về Dioptre mới nhất 2021

Scores: 5 (72 votes)

100 lần tự tìm hiểu cũng không bằng 1 lần được tư vấn