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 4 subcategories, out of 4 total.

F

Formal methods (3 C, 53 P)

L

Logic in computer science (9 C, 62 P)

N

Numerical analysis (11 C, 75 P)

S

Mathematical software (5 C, 15 P)

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

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

A

Actor model theory

F

L

Log probability

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