La Classification Mathématique par matières 2000
Mathematics subject Classification 2000
Question : CC = 68
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
- 68M01 General
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68M05
- 68M07 Mathematical problems of computer architecture
- 68M10 Network design and communication [See also 90B18, 68R10]
- 68M12 Network protocols
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68M10
- 68M14 Distributed systems
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68M10
- 68M15 Reliability, testing and fault tolerance [See also 94C12]
- 68M20 Performance evaluation; queueing; scheduling [See also 60K25, 90Bxx]
- 68M99 None of the above, but in this section
- 68Nxx Software
- 68N01 General
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68N05
- 68N15 Programming languages
- 68N17 Logic programming
- 68N18 Functional programming and lambda calculus [See also 03B40]
[Nouveau code MSC 2000]
- 68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.)
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68N99
- 68N20 Compilers and interpreters
- 68N25 Operating systems
- 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
[Nouveau code MSC 2000]
- 68N99 None of the above, but in this section
- 68Pxx Theory of data
- 68P01 General
[Nouveau code MSC 2000]
- 68P05 Data structures
- 68P10 Searching and sorting
- 68P15 Database theory
- 68P20 Information storage and retrieval
- 68P25 Data encryption [See also 94A60, 81P68]
- 68P30 Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) [See also 94Axx]
[Nouveau code MSC 2000]
- 68P99 None of the above, but in this section
- 68Qxx Theory of computing
- 68Q01 General
[Nouveau code MSC 2000]
- 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]
- 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]
- 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
- 68R01 General
[Nouveau code MSC 2000]
- 68R05 Combinatorics
- 68R10 Graph theory [See also 05Cxx, 90B10, 90C35]
- 68R15 Combinatorics on words
- 68R99 None of the above, but in this section
- 68Txx Artificial intelligence
- 68T01 General
- 68T05 Learning and adaptive systems [See also 68Q32, 91E40]
- 68T10 Pattern recognition, speech recognition [For cluster analysis, see 62H30]
- 68T15 Theorem proving (deduction, resolution, etc.) [See also 03B35]
- 68T20 Problem solving (heuristics, search strategies, etc.)
- 68T27 Logic in artificial intelligence
- 68T30 Knowledge representation
- 68T35 Languages and software systems (knowledge-based systems, expert systems, etc.)
- 68T37 Reasoning under uncertainty
[Nouveau code MSC 2000]
- 68T40 Robotics [See also 93C85]
[Nouveau code MSC 2000]
- 68T45 Machine vision and scene understanding
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68U10
- 68T50 Natural language processing [See also 03B65]
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68S05
- 68T99 None of the above, but in this section
- 68Uxx Computing methodologies and applications
- 68U01 General
[Nouveau code MSC 2000]
- 68U05 Computer graphics; computational geometry [See also 65D18]
- 68U07 Computer-aided design [See also 65D17]
- 68U10 Image processing
- 68U15 Text processing; mathematical typography
- 68U20 Simulation [See also 65Cxx]
- 68U35 Information systems (hypertext navigation, interfaces, decision support, etc.)
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68U99
- 68U99 None of the above, but in this section
- 68Wxx Algorithms [For numerical algorithms, see 65-XX; for combinatorics and graph theory, see 68Rxx]
- 68W01 General
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68Q20
- 68W05 Nonnumerical algorithms
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68Q20
- 68W10 Parallel algorithms
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68Q22
- 68W15 Distributed algorithms
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68Q22
- 68W20 Randomized algorithms
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68Q20
- 68W25 Approximation algorithms
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68Q20
- 68W30 Symbolic computation and algebraic computation [See also 11Yxx, 12Y05, 13Pxx, 14Qxx, 16Z05, 17-08, 33F10]
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68Q40
- 68W35 VLSI algorithms
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68Q35
- 68W40 Analysis of algorithms [See also 68Q25]
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68Q25
- 68W99 None of the above, but in this section
[Nouveau code MSC 2000]
- Code MSC1991 affilié :
68Q20
Retour à la page Classification Mathématique par Matières (version 2000)
|