Community Profile
Join
Watch
Add Note
Post
Track
Send V-Gift
ru_cs's Journal
Created on 2005-10-07 12:29:57 (#8482397), last updated 2009-11-28
143 comments received
Basic Account [Gift]
71 Journal Entries, 0 Tags, 0 Memories, 0 Virtual Gifts, 0 Userpics
Basic Info| Name: | Теоретическая информатика по-русски |
|---|---|
| Membership: | Moderated |
| Posting Access: | All Members |
AboutСообщество предназначено для общения на темы теоретической информатики.
Теоретическая информатика — это часть математики, которая занимается задачами, пришедшими из информатики. Как и в математике, тут пользуются строгими формулировками и доказывают теоремы. Как и в математике, для решения конкретных задач тут нарабатывается абстрактный аппарат, который зачастую потом продолжает жить сам по себе. К информатике он отношения уже не имеет, но и математики такими вещами не занимаются. Это тоже теринформатика.
Чтобы выработать у потенциальных участников сообщества интуицию по поводу содержания этой науки, вот список некоторых областей теринформатики, in no order:
- теория вычислительной сложности, теория рекурсии;
- логическое программирование;
- теория категорий и семантика языков программирования;
- квантовые вычисления;
- теория баз данных;
- rewriting;
- формальная проверка алгоритмов и протоколов;
- автоматическое доказательство теорем,
- теория формальных языков.
сообщества-побратимы:![[info]](http://l-stat.livejournal.com/img/community.gif)
ru_declarative, ru_algorithms
Теоретическая информатика — это часть математики, которая занимается задачами, пришедшими из информатики. Как и в математике, тут пользуются строгими формулировками и доказывают теоремы. Как и в математике, для решения конкретных задач тут нарабатывается абстрактный аппарат, который зачастую потом продолжает жить сам по себе. К информатике он отношения уже не имеет, но и математики такими вещами не занимаются. Это тоже теринформатика.
Чтобы выработать у потенциальных участников сообщества интуицию по поводу содержания этой науки, вот список некоторых областей теринформатики, in no order:
- теория вычислительной сложности, теория рекурсии;
- логическое программирование;
- теория категорий и семантика языков программирования;
- квантовые вычисления;
- теория баз данных;
- rewriting;
- формальная проверка алгоритмов и протоколов;
- автоматическое доказательство теорем,
- теория формальных языков.
сообщества-побратимы:
ru_declarative, ru_algorithms ConnectInterests (60):
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, автоматическое доказательство теорем, алгоритмы, вероятностно проверяемые доказательства, вычислимость, вычислительная геометрия, вычислительная сложность, квантовая криптография, квантовая теория информации, квантовые вычисления, клеточные автоматы, коалгебры, коды исправляющие ошибки, логика, модальная логика, монады, полиморфизм, пучки, системы типов, сложность по Колмогорову, теория доменов, теория категорий, теория кодирования, теория формальных языков, типы данных, топосы, турбо коды
Administrators
Maintainers (1):
Members [View Entries]
Members (221):
38irtimd, 6pack, __ronin__, _beg_, _navi_, _orlov_, _pine_, abraham1901, abrikosovalena, aen_hen_ichaer, agent_twc, agmt, ahrid, akfikxfw, akuklev, aleksijb, alenalapushkina, alex_ratushnyak, alexclear, alexey_rouban, alexott, alf_kadett, algebraic_brain, alno87, amfitra, amyust, anashist, anna_frid, antilamer, arcannt, archernikov, arhangelsky, aristk, avsmal, avysk, azmiol, azzazzello, bacel, berdan, bez_kistochek, biobusinhudoc, biopassed2e, biostuffcarls, bniwredyc, bolatkoja, bortengineer, braintrace, bvn_mai, captain_solo, cattusnocturnus, chep0lin0, codedot, codimartinez3, concolor, cremsplace, cstaeh3athe, cvetikchmo, cwpltlev, cyrqpgkremnv, d43m0n, d_m_, danniehoffman, dashhh, dejavit, deni_ok, dfhyfwjqd, diam_2003, dimascii, dmarsentev, dmitri83, dmvo, doctor_teo, dtim, ebnrohtolg6, edwardahirsch, emotweetousle, emoveo, ex_annutka256, ex_croco667, farshemet, fauuualpkas, gabriel_irk, garconnumeroun, garik_lizura, gemelen, geniepro, georgialawson, golosptic, grandmag, gri_ch, happy_mystx, helvegr, homunculu, igde, ilysenkov, imephistopheles, in_effect, inannoyeflowe, indaysdrew, innominabilis, irwpqksa, iteacher, jtootf, juri_jurta, jvcuwxekuca, k0wax, kamenyar, kirpich_spb, krtximbbdbwu, kucheryavenko, kva, kzn, lacertacalerens, lcxvkbxxk, leozub, life_peter, lisnake, little_arhat, ljan, lsp, lwyslteghwaq, mafi0zi0, maratknz, marcelleblass, matholimp, max630, maxim, megaserg, megathuramos, metaprobabili, metathis31, meykio, mibori, microplay31, microthis2y, microtweet, min_head, mindshock, mkchngmw, mm_kalkin, mnvyy, monco83, mopiserwsorg, mospehraict, ms_patty, msh777, muchandr, mw_citizen, mythteria, nanomoviwilke, nealar, neatfires, neoplaylstuar, netsquire, nivanych, noxyu3m, overhomeroth, oxyum, palm_mute, pashelper, perkov, pilot_pirx, plasto, polter, pornouniander, postlaugdavis, posttestyay31, potan, pphantom, ps_ttf, pseudosorry, qowcjfizvt, quantez, questi, qwsdcv, rasterjasha, rexy_craxy, rrxucbdxltx, rssh, runixonline, satmech, sergey_shandar, shannar, soundwell, srgjjoohdi, stassats, statecouncillor, sub0zero, subcheckrey, svintusoid, swan_and_spring, syzane, terricola, teufelsjunge, travmaturg, ttys, txgwytlkkqx, ukez, ulysses4ever, unaaahhhroche, vag_vagoff, vanja_y, vkgkoykbzg, vladifi, vrode, waqur, wronskiy, ximaera, xtrbtlvmu, yamadharma, yantoga, ygam, ykchhrvn, yuggalo, yury_lifshits, yyyckqwfrde, zam0th, zerthurd, zhiva_the_magen, zlep, zwksoomjfrxh
Watched by (238):
0x0badf00d, 1a1, 314159265, 3abor, 444b, 6pack, __ronin__, _adept_, _beg_, _glav_, _lothar_, _navi_, _pine_, _traut_, abraham1901, abrikosovalena, abstract0r, adb, afonia, agent_twc, agmt, ahrid, akpc806a, akuklev, albedo072, aleksijb, alenalapushkina, alex_ks, alex_ratushnyak, alexclear, alexott, alf_kadett, algebraic_brain, alno87, amfitra, amyust, anashist, andy128k, anna_frid, antilamer, arcannt, archernikov, arhangelsky, aristk, arnold3, avsmal, avysk, azmiol, bacel, bez_kistochek, blackfather, blak_n_wait, bniwredyc, bolatkoja, bortengineer, brainslugs.blogspot.com, braintrace, break_pointer, bvn_mai, bylany, caliban_upon, captain_solo, cattusnocturnus, cewes, chep0lin0, colesov, concolor, cremsplace, d43m0n, d_m_, darth_beleg, dashhh, datjko, dddre, dejavit, deni_ok, denimih, diam_2003, dimascii, djoa, dmarsentev, dmvo, doctor_teo, dottedmag, drgr, dtim, e14, edwardahirsch, emoveo, erius, farshemet, fazenen, fester_ua, gabriel_irk, garconnumeroun, garik_lizura, gds, gemelen, geniepro, gertzog, ghbdtn, golosptic, grandmag, gri_ch, griffon, grundik, guman0id, happy_mystx, helvegr, homunculu, igde, igorsereda, ilysenkov, imephistopheles, in_effect, innominabilis, insb, intensio, invcoder, iteacher, itsuart, ivri, jafar, jj_s, jtootf, juri_jurta, kgeorgiy, kirpich_spb, kolokolca, korbian, kucheryavenko, kzn, lacertacalerens, leaf_fading, lelf, leozub, life_peter, liquidee, lisnake, little_arhat, ljan, lmdlp, lomeo, lsp, mafi0zi0, maratknz, master [lj.rossia.org], mathreader, max630, megaserg, ...
