Jump to content

Category:Mathematics of computing

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Mike Peel (talk | contribs) at 19:57, 29 August 2020 (Change {{Commons}} to {{Commons category}}). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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