✨Tin học lý thuyết
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
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ác tổ chức
- 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 [http://www.nvti.nl/] - Hội Tin học Lý thuyết Hà Lan
Tạp chí
- 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
- [http://www.springerlink.com/(nsxb3jy3e5vtb555e4h54lrs)/app/home/journal.asp?referrer=parent&backto=linkingpublicationresults,1:100369,1 Theory of Computings Sytems]
- Chicago Journal of Theoretical Computer Science
Hội thảo
- 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)
👁️ 2 | 🔗 | 💖 | ✨ | 🌍 | ⌚
**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
nhỏ|Các vectơ mật độ dòng điện xác suất cảm ứng từ tính được tính toán bằng phương pháp lượng tử trong benzen. **Hóa học lý thuyết** là một nhánh của hóa học trong đó phát
**Tin học kinh tế** là một ngành khoa học nghiên cứu, thiết kế, phát triển và ứng dụng công nghệ thông tin và hệ thống truyền thông trong các doanh nghiệp. Với danh nghĩa một
nhỏ|[[Đồ thị Cayley của nhóm tự do có hai phần tử sinh. Đây là nhóm hyperbol có biên Gromov là tập Cantor. Tương tự với đồ thị Cayley, nhóm hyperbol và biên của nó là
nhỏ|phải|Hình vẽ một đồ thị có 6 đỉnh và 7 cạnh Trong toán học và tin học, **lý thuyết đồ thị** (tiếng Anh: _graph theory_) nghiên cứu các tính chất của đồ thị. Một cách
**Thiên văn học lý thuyết** là việc sử dụng các hình mẫu phân tích vật lý và hóa học để mô tả các đối tượng thiên văn và hiện tượng thiên văn. Almagest, tác phẩm
**Lý thuyết trò chơi**, hoặc gọi **đối sách luận**, **lí luận ván cờ**, là một phân nhánh mới của toán học hiện đại, cũng là một môn học trọng yếu của vận trù học, tác
**Lý thuyết phân tâm học** là một lý thuyết về tổ chức nhân cách và động lực phát triển nhân cách, là cơ sở của phân tâm học, một phương pháp lâm sàng để điều
**Lý thuyết xã hội** là các khung phân tích, hay các mô hình, được sử dụng để nghiên cứu và giải thích các hiện tượng xã hội. Vốn là một công cụ được sử dụng
**Lý thuyết số** là một ngành của toán học lý thuyết nghiên cứu về tính chất của số nói chung và số nguyên nói riêng, cũng như những lớp rộng hơn các bài toán mà
**Lý thuyết phát hiện tín hiệu** (_Detection theory_ hay **signal detection theory**), là một phương tiện để xác định khả năng nhận diện giữa tín hiệu và nhiễu. Nó có ứng dụng trong nhiều lĩnh
thumb|right|Một [[sơ đồ Venn mô phỏng phép giao của hai tập hợp.]] **Lý thuyết tập hợp** (tiếng Anh: _set theory_) là ngành toán học nghiên cứu về tập hợp. Mặc dù bất kỳ đối tượng
**Lý thuyết cân bằng tổng thể** là một nhánh của kinh tế học lý thuyết, được xem là thuộc kinh tế vi mô. Lý thuyết này tìm cách giải thích cung, cầu và giá của
liên_kết=https://en.wikipedia.org/wiki/File:The_Cultivation_Process.jpg|nhỏ|349x349px|Sơ đồ tóm tắt quá trình lý thuyết gieo cấy truyền thông theo quan điểm tâm lý học. **Lý thuyết gieo cấy truyền thông** là một lý thuyết xã hội học và truyền thông để
nhỏ|Số dư ổn định. Trong toán học, **lý thuyết ổn định **tập trung nghiên cứu về sự ổn định của các lời giải của phương trình vi phân và quỹ đạo của các hệ thống
Trong lý thuyết điều khiển tự động, một **bộ điều khiển** là một thiết bị giám sát và tác động vào các điều kiện làm việc của một hệ động học cho trước. Các điều
**Lý thuyết thông tin** là một nhánh của toán học ứng dụng và kĩ thuật điện nghiên cứu về đo đạc lượng thông tin. Lý thuyết thông tin được xây dựng bởi Claude E. Shannon
Khái niệm của vòng phản hồi dùng để điều khiển hành vi động lực của hệ thống: đây là phản hồi âm, vì giá trị cảm biến (sensor) bị trừ đi từ giá trị mong
**Lý thuyết thông tin thuật toán** là một lĩnh vực của lý thuyết thông tin và khoa học máy tính liên quan đến mối quan hệ giữa tính toán và thông tin. Theo Gregory Chaitin,
thumb|Lý thuyết về dự định hành vi **Lý thuyết hành vi có kế hoạch hay lý thuyết hành vi hoạch định** (Tiếng Anh: **The Theory of Planning Behaviour**) là một lý thuyết thể hiện mối
**Lý thuyết dòng chảy đa bước trong truyền thông** chỉ ra rằng thông tin từ phương tiện truyền thông đại chúng đến những người dẫn dắt ý kiến trước đến cộng đồng và dòng chảy
**Lý thuyết dây** là một thuyết hấp dẫn lượng tử, được xây dựng với mục đích thống nhất tất cả các hạt cơ bản cùng các lực cơ bản của tự nhiên, ngay cả lực
**Lý thuyết độ phức tạp tính toán** (tiếng Anh: _computational complexity theory_) là một nhánh của lý thuyết tính toán trong lý thuyết khoa học máy tính và toán học tập trung vào phân loại
**Lý thuyết về ràng buộc** (TOC) là một mô hình quản lý mà quan sát bất kỳ hệ thống quản lý nào bị giới hạn trong việc đạt được nhiều mục tiêu hơn bởi một
**Lý thuyết dòng chảy hai bước trong truyền thông** chỉ ra rằng hầu hết mọi người hình thành quan điểm của họ dưới sự ảnh hưởng của những người dẫn dắt ý kiến (opinion leaders).
nhỏ|Lý thuyết biểu diễn nghiên cứu cách các cấu trúc đại số "biến đổi" các đối tượng toán học. Ví dụ đơn giản nhất là cách [[Nhóm nhị diện|nhóm đối xứng của các đa giác
**Lý thuyết mã hóa** là nghiên cứu về các đặc tính của mã và khả năng thích ứng với các ứng dụng cụ thể của chúng. Mã được sử dụng cho nén dữ liệu, mật
**Lý thuyết mã kép** là một lý thuyết về trí nhớ và nhận thức của Allan Paivio. Lý thuyết này có liên quan rất nhiều đến các mô hình trí nhớ nhận thức và được
Trong hình học đại số và vật lý lý thuyết, **đối xứng gương** là mối quan hệ giữa các vật thể hình học được gọi là những đa tạp Calabi-Yau. Các đa tạp này có
thumb|220x124px | right | Một thông tin được mã hoá bởi các dòng mã (code) **Tin học** hay **khoa học thông tin** (gọi tắt là **tin**) (, ) là một ngành khoa học chuyên nghiên
**Lý thuyết chu kỳ kinh tế thực (lý thuyết RBC)** là một loại mô hình kinh tế vĩ mô tân cổ điển, trong đó các biến động của chu kỳ kinh doanh được tính bằng
**Khoa học máy tính lý thuyết** () là một tập hợp con của khoa học máy tính và toán học tập trung vào nhiều chủ đề toán học hơn của điện toán và bao gồm
**Các lý thuyết về nguyên nhân của sự nghèo đói** là nền tảng cho các chiến lược xóa đói giảm nghèo. Trong khi ở các quốc gia phát triển, sự nghèo đói thường bị coi
thumb|**[[Phép tính lambda** là một hệ thống hình thức để định nghĩa hàm, ứng dụng hàm và đệ quy được Alonzo Church đề xuất vào những năm 193x.]] **Lý thuyết ngôn ngữ lập trình** (thường
Ký hiệu điều khiển học **Điều khiển học** (tiếng Anh: _cybernetics_) là khoa học về việc điều khiển, thu thập, truyền và xử lý thông tin, thường bao gồm liên hệ điều chỉnh ngược trong
:_Bài này chỉ viết về các định nghĩa cơ bản. Để hiểu rộng hơn, xin xem lý thuyết đồ thị. Về ý nghĩa biểu diễn hàm số trên hệ tọa độ, xem đồ thị hàm
**Lí thuyết** là một loại chiêm nghiệm và hợp lí của cái gì đó trừu tượng hoặc khái quát hóa của suy nghĩ về một hiện tượng, hoặc kết quả của suy nghĩ như vậy.
nhỏ|400x400px| Truyền tín hiệu sử dụng xử lý tín hiệu điện tử. [[Bộ chuyển đổi chuyển đổi tín hiệu từ vật lý khác dạng sóng để điện hiện tại hoặc điện áp dạng sóng, mà
**Lý thuyết quyền biến** (tiếng Anh: _Contingency theory_) là một lý thuyết về tổ chức tuyên bố rằng không có cách tốt nhất để tổ chức, lãnh đạo một công ty hoặc đưa ra quyết
**Lý thuyết xác suất** là ngành toán học chuyên nghiên cứu xác suất. Các nhà toán học coi xác suất là các số trong khoảng , được gán tương ứng với một _biến cố_ mà
nhỏ|Một con thiên nga đen (_Cygnus atratus_) ở Úc **Lý thuyết thiên nga đen** hoặc **lý thuyết về các sự kiện thiên nga đen** là một phép ẩn dụ mô tả một sự kiện gây
**Lý thuyết Chủng tộc Phê phán** (, **CRT**) là một tổ chức học thuật pháp lý và một phong trào học thuật của các học giả và nhà hoạt động dân quyền ở Hoa Kỳ
**Lý thuyết quyết định**, hay còn được gọi là **Lý thuyết quyết định thống kê**, là một lý thuyết của lĩnh vực thống kê. Lý thuyết bao gồm các phương pháp giải quyết vấn đề
Trong tội phạm học, **lý thuyết kiểm soát xã hội** đề xuất rằng việc khai thác quá trình xã hội hóa và học tập xã hội sẽ xây dựng sự tự kiểm soát và làm
[[Tập tin:Heckscher-Ohlin 4.svg|thumb|Có hai quốc gia A và B với các yếu tố sản xuất khác nhau. Trước khi có thương mại, Nước A sản xuất tiêu dùng tại điểm còn nước B tại
**Hamilton **của lý thuyết điều khiển tối ưu được phát triển bởi Lev Pontryagin như là một phần của nguyên lý cực đại của ông. Nó được lấy cảm hứng từ, nhưng là khác biệt
nhỏ|300x300px|Sơ đồ khối của một [[Negative feedback|hệ thống phản hồi âm được sử dụng để duy trì một điểm đặt với sự có mặt của một nhiễu, sử dụng quy tắc điều khiển sai số.
**Hệ thống thông tin quản lý** là hệ thống cung cấp thông tin cho công tác quản lý của tổ chức. Hệ thống bao gồm con người, thiết bị và quy trình thu thập, phân
**Liên đoàn Xử lý Thông tin Quốc tế** hay **Liên đoàn Quốc tế về Xử lý Thông tin**, viết tắt **IFIP** (International Federation for Information Processing) là một _tổ chức phi chính phủ quốc tế_
**Đại học Vật lý Kỹ thuật Moskva (MIPT,** tiếng Nga: Московский Физико-Технический институт), còn được biết đến với tên gọi **Phystech** - là trường đại học hàng đầu của Nga, chuyên đào tạo các chuyên