User:Jshflynn/The Structure/Formal

Formal Sciences

Logic (Outline)

• Mathematical logic
  • Set theory
  • Proof theory
  • Model theory
  • Recursion theory
  • Modal logic
  • Intuitionistic logic

• Philosophical logic
  • Logical reasoning
  • Modal logic
    • Deontic logic
    • Doxastic logic

• Logic in computer science
  • Programming language semantics
  • Formal methods (Formal verification)
  • Type theory
  • Logic programming
  • Multi-valued logic
    • Fuzzy logic

Statistics (Outline)

• Computational statistics
  • Data mining
  • Regression
  • Simulation
    • Bootstrap (statistics)
• Design of experiments
  • Block design and Analysis of variance
  • Response surface methodology
• Sample Survey
  • Sampling theory

• Statistical modelling
  • Biostatistics
    • Epidemiology
  • Multivariate analysis
    • Structural equation model
    • Time series
  • Reliability theory
  • Quality control
• Statistical theory
  • Decision theory
  • Mathematical statistics
    • Probability (outline)
  • Survey methodology

System Sciences

• Complex systems
• Cybernetics
• Control theory
  • Control engineering
  • Control systems
  • Dynamical systems
• Operations research

• Systems dynamics
• Systems engineering
  • Systems analysis
• Systems theory
  • Developmental systems theory
  • General systems theory
  • Mathematical system theory

Computer Sciences

• Theory of computation
  • Automata theory (Formal languages)
  • Computability theory
  • Computational complexity theory
  • Concurrency theory
• VLSI design
• Operating systems
• Algorithms
  • Randomized algorithms
  • Distributed algorithms
  • Parallel algorithms
  • Computational geometry
• Data structures
• Computer architecture

• Computer communications (networks)
  • Information theory
  • Internet, World wide web
  • Wireless computing (Mobile computing)
  • Ubiquitous computing
  • Cloud computing
• Computer security and reliability
  • Cryptography
  • Fault-tolerant computing
• Distributed computing
  • Grid computing
• Parallel computing
  • High-performance computing
• Quantum computing
• Computer graphics
  • Image processing
  • Scientific visualization
• Software engineering
  • Formal methods (Formal verification)
• Programming languages
  • Programming paradigms
    • Imperative programming
    • Object-oriented programming
    • Functional programming
    • Logic programming
    • Concurrent programming
  • Program semantics
  • Type theory
  • Compilers
• Human-computer interaction

• Information science
  • Data management
  • Data mining
  • Database (outline)
    • Relational database
    • Distributed database
    • Object database
  • Information retrieval
  • Information management
  • Knowledge management
  • Multimedia, hypermedia
    • Sound and music computing
• Artificial intelligence (outline)
  • Cognitive science
    • Automated reasoning
    • Machine learning
      • Artificial neural network
      • Support vector machine
    • Natural language processing (Computational linguistics)
    • Computer vision
  • Expert systems
  • Robotics (outline)
• Computing in Mathematics, Natural sciences, Engineering and Medicine
  • Numerical analysis
  • Algebraic (symbolic) computation
  • Computational number theory
  • Computational mathematics
  • Scientific computing (Computational science)
  • Computational biology (bioinformatics)
  • Computational physics
  • Computational chemistry
  • Computational neuroscience
  • Computer-aided engineering
    • Finite element analysis
    • Computational fluid dynamics
• Computing in Social sciences, Arts and Humanities, Professions
  • Computational economics
  • Computational sociology
  • Computational finance
  • Digital Humanities (Humanities computing)
  • History of computer hardware
  • History of computer science (outline)
  • Humanistic informatics
  • Community informatics