Jump to content

Category:Mathematics of computing

From Wikipedia, the free encyclopedia

Wikimedia Commons has media related to Mathematics of computing.

In the ACM Computing Classification System, Mathematics of Computing is one of the high-level categories. It includes such topics as: Numerical Analysis, Discrete Mathematics, Probability and Statistics, Mathematical Software.

Subcategories

This category has the following 6 subcategories, out of 6 total.

D

Denotational semantics (1 C, 7 P)
Domain theory (6 P)

F

Formal methods (18 C, 102 P)

L

Logic in computer science (20 C, 101 P)

N

Numerical analysis (23 C, 236 P)

S

Mathematical software (17 C, 50 P)

Pages in category "Mathematics of computing"

The following 8 pages are in this category, out of 8 total. This list may not reflect recent changes.

A

Actor model theory

C

Computational statistics

F

L

P

Postcondition

R

Recursively enumerable language

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Mathematics_of_computing&oldid=975671903"

Theoretical computer science

Hidden category:

Commons category link from Wikidata