?

Log in

Userpic

ru_cs's Journal

Social capital

  • less than 10
Name:
Теоретическая информатика по-русски
Membership:
Moderated
Posting Access:
All Members
Сообщество предназначено для общения на темы теоретической информатики.

Теоретическая информатика — это часть математики, которая занимается задачами, пришедшими из информатики. Как и в математике, тут пользуются строгими формулировками и доказывают теоремы. Как и в математике, для решения конкретных задач тут нарабатывается абстрактный аппарат, который зачастую потом продолжает жить сам по себе. К информатике он отношения уже не имеет, но и математики такими вещами не занимаются. Это тоже теринформатика.

Чтобы выработать у потенциальных участников сообщества интуицию по поводу содержания этой науки, вот список некоторых областей теринформатики, in no order:

- теория вычислительной сложности, теория рекурсии;
- логическое программирование;
- теория категорий и семантика языков программирования;
- квантовые вычисления;
- теория баз данных;
- rewriting;
- формальная проверка алгоритмов и протоколов;
- автоматическое доказательство теорем,
- теория формальных языков.

сообщества-побратимы: ru_declarative, ru_algorithms
algorithms, automatic theorem proving, category theory, cell automata, coalgebras, coding theory, computational complexity, computational geometry, constraint logic programming, data types, decidability, domain theory, error correcting codes, formal languages, kolmogorov complexity, lambda calculus, linear logic, logic, modal logic, model checking, polymorphism, probabilistically checkable proofs, quantum computations, quantum cryptography, quantum information theory, rewriting, sheaves, temporal logics, theoretical computer science, tiling problems, topoi, turbo codes, type systems, universal algebra, автоматическое доказательство теорем, алгоритмы, вероятностно проверяемые доказательства, вычислимость, вычислительная геометрия, вычислительная сложность, квантовая криптография, квантовая теория информации, квантовые вычисления, клеточные автоматы, коалгебры, коды исправляющие ошибки, логика, модальная логика, монады, полиморфизм, пучки, системы типов, сложность по Колмогорову, теория доменов, теория категорий, теория кодирования, теория формальных языков, типы данных, топосы, турбо коды

Social capital

  • less than 10

Statistics