Jump to content

Category:Mathematics of computing

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Ruud Koot (talk | contribs) at 19:05, 25 November 2005. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

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, 104 P)

L

Logic in computer science (20 C, 103 P)

N

Numerical analysis (23 C, 235 P)

S

Mathematical software (17 C, 51 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=29228093"

Theoretical computer science