Please enable JavaScript.
Coggle requires JavaScript to display documents.
计算理论(theory of computation) (逻辑(logic) (逻辑与校验(logic and verification),…
计算理论(theory of computation)
形式语言与自动机理论(formal languages and automata theory)
形式论(formalisms)
代数语言理论(algebraic language theory)
重写系统(rewrite systems)
基于无限对象的自动机(automata over infinite objects)
语法与上下文无关语言(grammars and context-free languages)
树形语言(tree languages)
自动机扩展(automata extensions)
转换器(transducers)
定量(quantitative automata)
正则语言(regular languages)
逻辑(logic)
逻辑与校验(logic and verification)
模态逻辑和时间逻辑(modal and temporal logics)
自动推理(automated reasoning)
约束与逻辑编程(constraint and logic programming)
建构数学(constructive mathematics)
叙述逻辑(description logic)
公式化逻辑与重写(equational logic and rewriting)
有限模型理论(finite model theory)
高阶逻辑(higher order logic)
线性逻辑(linear logic)
编程逻辑(programming logic)
抽象(abstraction)
通过模型检查校验(verification by model checking)
类型理论(type theory)
霍尔逻辑(hoare logic)
分离逻辑(separation logic)
计算复杂度与加密(computational complexity and cryptography)
复杂度类别(complexity classess)
问题，简化与完备性(problems, reductions and completeness)
通信复杂度(communication complexity)
电路复杂度(circuit complexity)
神谕与决策树(oracles and decision trees)
代数复杂度模型(algebric compelxity theory)
量子复杂度理论(quantum complexity theory)
证明复杂度(proof complexity)
交互式证明系统(interactive proof systems)
复杂度理论与逻辑(complexity theory and logic)
密码原语(cryptographic primitives)
加密协议(cryptographic protocols)
计算模型(models of computation)
可计算性(computability)
lambda 算子(lambda calculus)
图灵机(turing machines)
递归函数(recursive functions)
概率计算(probabilistic computation)
量子计算理论(quantum computation theory)
量子复杂度理论(quantum complexity theory)
量子通信复杂度(quantum communication complexity)
量子查询复杂度(quantum query complexity)
量子信息理论(quantum information theory)
交互式计算(interactive computation)
流模型(streaming models)
并发(concurrency)
并行计算模型(parallel computing models)
分布式计算模型(distributed computing models)
进程演算(process caculus)
定时与混合模型(timed and hybrid models)
抽象机(abstract machines)
算法设计与分析(design and analysis of algorithm)
图算法分析(graph algorithm analysis)
网络流(network flows)
稀疏与扳手(sparsification and spanners)
最短路径(shortest paths)
动态图算法(dynamic graph algorithms)
近似算法分析(approximation algorithm analysis)
调度算法(scheduling algorithms)
包装与覆盖问题(packing and covering problems)
路由与网络设计问题(routing and network design problems)
设施选址与集群(facility location and clustering)
舍入技巧(rounding techniques)
随机近似(stochastic approximation)
数值逼近算法(numeric approximation algorithms)
数学优化(mathematical optimization)
数据结构设计与分析(data structures design and analysis)
在线算法(online algorithms)
参数化复杂度与精确算法(parameterized compelxity and exact algorithms)
流式、亚线性和近线性时间算法(streaming, sublinear and near linear time algorithms)
并行算法(parallel algorithms)
分布式算法(distributed algorithms)
算法设计技巧(algorithm design techniques)
并发算法(concurrent algorithms)
应用领域的理论与算法(theory and algorithms for application domains)
算法博弈论与机制设计(algorithmic game theory and mechanism design)
社交网络(social networks)
算法博弈论(algorithmic game theory)
算法机制设计(algorithmic mechanism design)
博弈论中解决方案的概念(solution concepts in game theory)
精确和近似的均衡计算(exact and approximate computation of equilibria)
均衡质量(quality of quilibria)
博弈中的融合与学习(covergence and learning in games)
市场均衡(market quilibria)
计算定价和拍卖(computational pricing and auctions)
博弈的表现形式及其复杂性(representations of games and their complexity)
网络博弈(network games)
网络形成(network formation)
计算广告理论(computational advertising theory)
数据库理论(database theory)
数据交换(data exchange)
数据来源(data provenance)
数据建模(data modeling)
数据库查询语言(原则) - database query languages (principles)
数据库约束理论(database constraints theory)
数据库互通性(database interoperability)
数据管理的数据结构与算法(data stractures and algorithms for data management)
数据库查询处理与优化(理论) - database query processing and optimization(theory)
数据集成(data integration)
逻辑与数据库(logic and databases)
数据库隐私与安全理论(theory of database privacy and security)
不完整，不一致和不确定的数据库(incomplete, inconsistent and uncertain databases)
机器学习理论(machine learning theory)
助推(boosting)
贝叶斯分析(bayesian analysis)
核方法(kernal methods)
支持向量机(support vector machine)
高斯随机过程(gaussian processes)
归纳推理(inductive inference)
无监督学习与聚类(unsupervised learning and clustering)
在线学习理论(online learning theory)
布尔函数学习(boolean function learning)
多主体学习(multi-agent learning)
样本复杂度与推广界限(sample complexity and generalization bounds)
学习模型(models of learning)
查询学习(query learning)
结构性预测(structured prediction)
强化学习(reinforment learning)
学徒式学习(appenticeship learning)
多主体强化学习(multi-agent reinforcement learning)
反向强化学习(reverse reinforcement learning)
对抗学习(adversarial learning)
顺序决策(sequential decision making)
主动学习(active learning)
半监督学习(semi-supervised learning)
马尔可夫决策过程(markov decision processes)
后悔界限(regret bounds)
随机搜索启发式理论(theory of randomized search heuristics)
语义与推理(semantics and reasoning)
程序语义(program semantics)
代数语义(algebraic semantics)
指称语义(denotational semantics)
操作语义(operational semantics)
公理语义(axiomatic semantics)
动作语义(action semantics)
范畴语义(categorical semantics)
程序推理(program reasoing)
恒定式(invariants)
程序规格(program specifications)
前置与后置条件(pre- and post-conditions)
程序验证(program verification)
程序分析(program analysis)
断言(assertions)
解析(parsing)
抽象(abstraction)
程序结构(program constructs)
控制原语(control primitives)
函数式结构(functional constructs)
面向对象结构(object oriented constructs)
程序图式(program schemes)
类型结构(type structures)
随机性，几何与离散结构(randomness, geometry and discrete structures)
扩展图与随机性提取器(expander graphs and randomness extractors)
随机漫步和马尔可夫链(random walks and markov chains)
纠错码(error-correcting codes)
生成随机组合结构(generating random combinatorial structures)
随机映射与度量嵌入(random projections and metric and embeddings)
计算几何(computational geometry)
随机网络模型(random network models)
伪随机数与去随机化(pseudorandomness and derandomization)
随机搜索启发式(random search heuristics)