La Classification Mathématique par matières 2000
Mathematics subject Classification 2000

Retour aux chapitres de la classification

68-XX Computer science [For papers involving machine computations and programs in a specific mathematical area, see Section -04 in that area]

• 68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
• 68-01 Instructional exposition (textbooks, tutorial papers, etc.)
• 68-02 Research exposition (monographs, survey articles)
• 68-03 Historical (must also be assigned at least one classification number from Section 01)
• 68-04 Explicit machine computation and programs (not the theory of computation or programming)
• 68-06 Proceedings, conferences, collections, etc.
• 68-99 Computer science (not classified at a more specific level)
• 68Mxx Computer system organization
• 68Nxx Software
• 68Pxx Theory of data
• 68Qxx Theory of computing
  • 68Q01 General [Nouveau code MSC 2000]
    • Codes MSC1991 affiliés : 68Q99, 68Qxx
  • 68Q05 Models of computation (Turing machines, etc.) [See also 03D10, 81P68]
  • 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) [See also 68Q85]
  • 68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.) [See also 03D15, 68Q17, 68Q19]
  • 68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [See also 68Q15] [Nouveau code MSC 2000]
    • Codes MSC1991 affiliés : 68Q25, 68Q15
  • 68Q19 Descriptive complexity and finite models [See also 03C13] [Nouveau code MSC 2000]
    • Code MSC1991 affilié : 03C13
  • 68Q25 Analysis of algorithms and problem complexity [See also 68W40]
  • 68Q30 Algorithmic information theory (Kolmogorov complexity, etc.)
  • 68Q32 Computational learning theory [See also 68T05] [Nouveau code MSC 2000]
    • Codes MSC1991 affiliés : 68T05, 68Q99
  • 68Q42 Grammars and rewriting systems
  • 68Q45 Formal languages and automata [See also 03D05, 68Q70, 94A45]
  • 68Q55 Semantics [See also 03B70, 06B35, 18C50]
  • 68Q60 Specification and verification (program logics, model checking, etc.) [See also 03B70]
  • 68Q65 Abstract data types; algebraic specification [See also 18C50]
  • 68Q70 Algebraic theory of languages and automata [See also 18B20, 20M35]
  • 68Q80 Cellular automata [See also 37B15]
  • 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [Nouveau code MSC 2000]
    • Code MSC1991 affilié : 68Q10
  • 68Q99 None of the above, but in this section
• 68Rxx Discrete mathematics in relation to computer science
• 68Txx Artificial intelligence
• 68Uxx Computing methodologies and applications
• 68Wxx Algorithms [For numerical algorithms, see 65-XX; for combinatorics and graph theory, see 68Rxx]

Retour à la page Classification Mathématique par Matières (version 2000)