Special topics in mathematics for computer scientists. Sets, categories, topologies and measures
topologycompactnessmetric spacescategoriesmodal logicsmonadsseparationaxiom of choicecoalgebrasuniform spacescomputer sciencemeasurable spacesequivalents of the axiom of choicemeasures for probabilistic systems
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general topology (54-01) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Consistency and independence results (03E35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Eilenberg-Moore and Kleisli constructions for monads (18C20) Theory of computing (68Qxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to measure and integration (28-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
This page was built for publication: Special topics in mathematics for computer scientists. Sets, categories, topologies and measures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457680)