Category:Mathematics of computing

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

Template:Sister project

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, 6 P)
Domain theory (4 P)

F

Formal methods (6 C, 66 P)

L

Logic in computer science (13 C, 75 P)

N

Numerical analysis (15 C, 118 P)

S

Mathematical software (11 C, 19 P)

Script error: No such module "anchor".Pages in category "Mathematics of computing"

The following 8 pages are in this category, out of 8 total.

A

Actor model theory

C

Computational statistics

F

L

P

Postcondition

R

Recursively enumerable language

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Category:Mathematics_of_computing&oldid=2202723"

Theoretical computer science