# Symbols:Abbreviations/C

Previous  ... Next

## C

### c.d.f.

Cumulative distribution function.

Let $\struct {\Omega, \Sigma, \Pr}$ be a probability space.

Let $X$ be a random variable on $\struct {\Omega, \Sigma, \Pr}$.

The cumulative distribution function (or c.d.f.) of $X$ is denoted $\map F X$, and defined as:

$\forall x \in \R: \map {\map F X} x := \map \Pr {X \le x}$

### CNF

Conjunctive normal form.

Previous  ... Next
{"ft_lang_label":"__label__en","ft_lang_prob":0.5745833,"math_prob":0.9988876,"size":352,"snap":"2019-43-2019-47","text_gpt3_token_len":116,"char_repetition_ratio":0.10344828,"word_repetition_ratio":0.0,"special_character_ratio":0.3409091,"punctuation_ratio":0.20481928,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9995265,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-11-17T13:48:22Z\",\"WARC-Record-ID\":\"<urn:uuid:759cc346-8c55-47c1-bbef-67a4ec7aa63e>\",\"Content-Length\":\"30353\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:a9dd94e4-fb0d-49b6-a4f9-c34372a5eab7>\",\"WARC-Concurrent-To\":\"<urn:uuid:3d1d3faf-fcfc-41fb-b80e-de7e9f1f67b2>\",\"WARC-IP-Address\":\"104.27.169.113\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Symbols:Abbreviations/C\",\"WARC-Payload-Digest\":\"sha1:CEN3HTW3OD76SJS7RQEAN3L2JIXW3LAR\",\"WARC-Block-Digest\":\"sha1:KVEXKGNOPPPAIEUMTNFYTEM6GFENL6MW\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-47/CC-MAIN-2019-47_segments_1573496668954.85_warc_CC-MAIN-20191117115233-20191117143233-00448.warc.gz\"}"}