+Addition(+)
Well-known unsolved problems by discipline | |
|---|---|
| |
|---|---|
| Natural science | |
| Social science | |
| Related | |
| Fields |
| ||||||
|---|---|---|---|---|---|---|---|
| Concepts |
| ||||||
| Orientations | |||||||
| Models |
| ||||||
| Related fields | |||||||
| Data transformation |
|---|
| Concepts |
| Transformation languages |
| Techniques and transforms |
| Applications |
| Related |
Data compression methods | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Lossless type |
| ||||||||
| Lossy type |
| ||||||||
| Audio |
| ||||||||
| Image |
| ||||||||
| Video |
| ||||||||
| Theory | |||||||||
| Community | |||||||||
| People | |||||||||
| Theory | |
|---|---|
| Exchange sorts | |
| Selection sorts | |
| Insertion sorts | |
| Merge sorts | |
| Distribution sorts | |
| Concurrent sorts | |
| Hybrid sorts | |
| Other | |
| Impractical sorts | |
| Polymorphism |
|---|
| Ad hoc polymorphism |
| Parametric polymorphism |
| Subtyping |
| Evaluation strategies |
|---|
| Type systems |
|---|
| General concepts |
| Major categories |
|
| Minor categories |
| Uninterpreted | |
|---|---|
| Numeric | |
| Reference | |
| Text | |
| Composite | |
| Other | |
| Related topics | |
Semantically, a computer law is not a hard and fast law, but a rule of thumb, or axiom (postulation) |
| Part of a series on |
| Artificial intelligence (AI) |
|---|
| Glossary |
| Part of a series on |
| Machine learning and data mining |
|---|
|
Paradigms
|
|
Problems
|
|
Learning with humans |
|
Model diagnostics |
| Main Topics | |
|---|---|
| Algorithms |
|
| Related techniques | |
| Metaheuristic methods | |
| Related topics |
|
| Organizations | |
| Conferences | |
| Journals |
|
| Feature detection |
|---|
| Edge detection |
| Corner detection |
| Blob detection |
| Ridge detection |
| Hough transform |
| Structure tensor |
| Affine invariant feature detection |
| Feature description |
| Scale space |
| Categories | |||
|---|---|---|---|
| Technologies | |||
| Applications |
| ||

| |||||||||
Each category of languages, except those marked by a *, is a proper subset of the category directly above it. Any language in each category is generated by a grammar and by an automaton in the category in the same line. | |||||||||
Metasyntax notations | |
|---|---|
| Semantics | ||||||||
|---|---|---|---|---|---|---|---|---|
|
||||||||
|
Semantics of programming languages | ||||||||
|
||||||||
| Part of a series on |
| Linguistics |
|---|
|
General linguistics |
|
Applied linguistics
|
|
Topics |
|
|
| Top-down | |
|---|---|
| Bottom-up | |
| Mixed, other |
|
| Related topics | |
Types of computer language | |
|---|---|
| Types | |
| See also | |
| Level | |
|---|---|
| Generation | |
| Imperative |
| ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Declarative |
| ||||||||
| Concurrent, parallel |
| ||||||||
| Metaprogramming | |||||||||
| Separation of concerns | |||||||||
| Comparisons/Lists | |||||||||
| Level | |
|---|---|
| Generation | |
| Programming language lists |
|---|
| Program execution |
|---|
| General concepts |
| Types of code |
| Compilation strategies |
| Notable runtimes |
|
| Notable compilers & toolchains |
|
| Algorithms |
|
|---|---|
| Linux | |
| Other | |
| Turing machines |
|---|
| Machine |
| Variants |
|
| Science |
| Machine code |
|---|
| General concepts |
| Instructions |
| Decimal | Binary | ||||||
|---|---|---|---|---|---|---|---|
| Value | SI | Value | IEC | JEDEC | |||
| 1000 | k | kilo | 1024 | Ki | kibi | K | kilo |
| 10002 | M | mega | 10242 | Mi | mebi | M | mega |
| 10003 | G | giga | 10243 | Gi | gibi | G | giga |
| 10004 | T | tera | 10244 | Ti | tebi | T | tera |
| 10005 | P | peta | 10245 | Pi | pebi | — | |
| 10006 | E | exa | 10246 | Ei | exbi | — | |
| 10007 | Z | zetta | 10247 | Zi | zebi | — | |
| 10008 | Y | yotta | 10248 | Yi | yobi | — | |
| 10009 | R | ronna | 10249 | Ri | robi | — | |
| 100010 | Q | quetta | 102410 | Qi | quebi | — | |
| Platform-independent units | |
|---|---|
| Platform-dependent units | |
| Metric bit units | |
| Metric byte units | |
| Computer architecture bit widths |
|---|
| Bit |
| Application |
| Binary floating-point precision |
| Decimal floating-point precision |
| Models | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Architecture | |||||||||||||
| Instruction set architectures |
| ||||||||||||
| Execution |
| ||||||||||||
| Parallelism |
| ||||||||||||
| Processor performance |
| ||||||||||||
| Types |
| ||||||||||||
| Word size | |||||||||||||
| Core count | |||||||||||||
| Components |
| ||||||||||||
| Power management | |||||||||||||
| Related | |||||||||||||
| General | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Theorems | |||||||||
| Quantum communication |
| ||||||||
| Quantum algorithms | |||||||||
| Quantum complexity theory | |||||||||
| Quantum processor benchmarks | |||||||||
| Quantum computing models | |||||||||
| Quantum error correction | |||||||||
| Physical implementations |
| ||||||||
| Quantum programming | |||||||||
This template follows roughly the 2012 ACM Computing Classification System | |||||
| Hardware | |||||
| Systems organization | |||||
| Networks | |||||
| Software organization | |||||
| Software notations, tools | |||||
| Software development | |||||
| Theory of computing | |||||
| Algorithms | |||||
| Mathematics of computing | |||||
| Information systems | |||||
| Security | |||||
| Human- centered computing | |||||
| Concurrency | |||||
| Artificial intelligence |
| ||||
| Graphics | |||||
| Applied computing |
| ||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| |||||||||||||||||||||||
| Semiconductor devices |
| ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Voltage regulators | |||||||||||
| Vacuum tubes |
| ||||||||||
| Gas-filled tubes | |||||||||||
| Adjustable | |||||||||||
| Passive | |||||||||||
| Reactive | |||||||||||
| Other devices | |||||||||||
Major mathematics areas | |
|---|---|
| Foundations | |
| Algebra | |
| Analysis | |
| Discrete | |
| Geometry | |
| Number theory | |
| Topology | |
| Applied | |
| Computational | |
| Related topics | |
|
| General | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Theorems (list), paradoxes | |||||||||
| Logics |
| ||||||||
| Set theory |
| ||||||||
| Formal systems (list), language, syntax |
| ||||||||
| Proof theory | |||||||||
| Model theory | |||||||||
| Computability theory | |||||||||
| Related | |||||||||
| Major fields |
| ||||
|---|---|---|---|---|---|
| Foundations | |||||
| Lists |
| ||||
| Transformation rules |
|---|
| Propositional calculus |
| Rules of inference (List) |
|
| Rules of replacement |
| Predicate logic |
| Rules of inference |
Common logical connectives | ||
|---|---|---|
| Overview | ||
|---|---|---|
| Axioms | ||
| Operations |
| |
| ||
| Set types | ||
| Theories | ||
| ||
| Set theorists | ||
Terms in graph theory | |
|---|---|
| Types of graphs | |
| Graph elements | |
| Graph attributes | |
| ||||||||||||||||||
| ||||||||||||||||||
| Fields |
|
|---|---|
| Key concepts | |
| Advanced concepts | |
Classes of natural numbers | |||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| Arithmetic operations | |||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||
| Areas | |
|---|---|
| Basic concepts | |
| Algebraic structures | |
| Linear and multilinear algebra | |
| Algebraic maps | |
| Algebraic constructions | |
| Topic lists | |
| Glossaries | |
| Linear equations | ||
|---|---|---|
| Matrices |
| |
| Matrix decompositions | ||
| Relations and computations | ||
| Vector spaces |
| |
| Structures | ||
| Multilinear algebra | ||
| Affine and projective | ||
| Numerical linear algebra | ||
| Precalculus | |||||
|---|---|---|---|---|---|
| Limits | |||||
| Differential calculus |
| ||||
| Integral calculus | |||||
| Vector calculus |
| ||||
| Multivariable calculus | |||||
| Sequences and series |
| ||||
| Special functions and numbers | |||||
| History of calculus | |||||
| Lists |
| ||||
| Miscellaneous topics |
| ||||
| |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
| Concepts |
| |||||||
|---|---|---|---|---|---|---|---|---|
| Theoretical branches | ||||||||
| Chaotic maps (list) |
| |||||||
| Physical systems | ||||||||
| Chaos theorists |
| |||||||
| Related articles | ||||||||
| |||||||||||||||||||
| |||||||||||||||||||
| |||||||||||||||||||
| |||||||||||||||||||
| |||||||||||||||||||
| Complementarity Problems | |
|---|---|
| Basis-exchange algorithms | |
| ||||||||||||||||||
| ||||||||||||||||||
| ||||||||||||||||||
| ||||||||||||||||||
| Considered feasible | |
|---|---|
| Suspected infeasible | |
| Considered infeasible | |
| Other complexity classes | |
| Class hierarchies | |
| Families of classes | |
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.