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