Thématique
| 68 | INFORMATIQUE | |
| N | Génie logiciel | |
| Q | Informatique Théorique | |
| R | Mathématiques discrètes pour l'informatique | |
| T | Intelligence Artificielle | |
|
et aussi...
|
||
| 93 | AUTOMATIQUE ET CONTROLE | |
| B | Contrôlabilité, observabilité et structure des systèmes | |
| E | Systèmes stochastiques et contrôle | |
|
et finalement
|
||
| 03 | LOGIQUE | |
| B | Logique générale | |
| D | Calculabilité et complexité | |
| F | Théorie de la démonstration | |
Thématique détaillée
(d'après Mathematics Subject Classification de Zentralblatt für Mathematik und ihre Grenzgebiete et Mathematical Reviews)68 COMPUTER SCIENCE
68N Software
68N05 General theory of
programming
68N15 Programming languages
68N17 Logic programming
68N20 Compilers and generators
68Q Theory of computing
68Q05 Models of computation
(abstract processors, Turing machines)
68Q10 Modes of computation (parallel, non-deterministic,...)
68Q15 Complexity classes
68Q22 Parallel and distributed algorithms
68Q42 Rewriting systems
68Q45 Formal languages
68Q50 Grammars
68Q55 Semantics
68Q60 Specification and verification of
programs
68Q65 Abstract data types; algebraic specification
68Q68 Automata theory
68Q90 Transition nets
68R Discrete mathematics
in relation to computer science
68R05 Combinatorics
68R10 Graph theory
68R15 Combinatorics on words
68T Artificial intelligence
68T05 Learning and adaptative systems
68T15 Theorem proving
68T25 AI languages
68T27 AI logics
68T30 Knowledge representation
68T35 AI software systems
93
SYSTEM THEORY AND CONTROL
93B Controlability observability
and system structure
93B03 Attainable sets
93B05 Controllability
93B07 Observability
93B11 System structure simplification
93B50 Synthesis
93E Stochastic systems
and control
93E10 Estimation and detection
93E12 System identification
93E15 Optimal stochastic control
03
LOGIC
03B General logic
03B10 Classical first-order logic
03B15 High order logic and type theory
03B20 Subsystems of classical logic
(including intuitionistic logic)
03B22 Abstract deductive systems
03B25 Decidability
03B35 Mechanization of proofs and logical
operations)
03B40 Combinatory logic and lambda calculus
03B45 Modal and tense logic
03B46 Relevance and entailment
03B48 Probability and inductive logic
03B65 Logic of natural languages
03B70 Logic of programming
03D Recursion theory
03D03 Thue and Post systems
03D05 Automata and formal languages
03D10 Turing machines and related notions
03D15 Complexity of computations
03F Proof theory and constructive
mathematics
03F05 Cut-elimination and normal form
theorem
03F07 Structure of proofs