Logic in Computer Science

Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:1）Theoretical foundations and analysis 2）Use of computer technology to aid logicians 3）Use of concepts from logic for computer applicationsCovers all aspects of logic in computer science, including finite model theory, logics of programs, modal logic, and program verification. Programming language semantics should have Programming Languages as the primary subject area. Roughly includes material in ACM Subject Classes D.2.4, F.3.1, F.4.0, F.4.1, and F.4.2; some material in F.4.3 (formal languages) may also be appropriate here, although Computational Complexity is typically the more appropriate subject area.

相关学科： Programming LanguagesTemporal LogicComputational ComplexityFormal Languages and Automata TheoryAITranslationDiscrete MathematicsSymbolic ComputationTransformerSoftware Engineering

学科讨论

暂无讨论内容，你可以

学科管理组

暂无学科课代表，你可以申请成为课代表

重要学者

Aviv Regev

187898 被引用，720 篇论文

Herbert A. Simon

145136 被引用，873 篇论文

Lotfi A. Zadeh

128623 被引用，362 篇论文

George E. P. Box

99453 被引用，346 篇论文

R. A. Fisher

91438 被引用，271 篇论文

Erving Goffman

83180 被引用，99 篇论文

Arabella Martelli

81783 被引用，1410 篇论文

Reinhart Ahlrichs

72347 被引用，340 篇论文

Peter Hall

69330 被引用，1962 篇论文

Jeffrey D. Ullman

60661 被引用，412 篇论文