Slide 1

Slide 1 text

Jak na mě vyskočila MATEMATIKA David Majda Praha, 6.5.2015

Slide 2

Slide 2 text

INTRO

Slide 3

Slide 3 text

No content

Slide 4

Slide 4 text

No content

Slide 5

Slide 5 text

No content

Slide 6

Slide 6 text

{ time: "2015-05-03T09:29:15.000Z" space: "default", source_type: "metric", name: "response_time", value: 134.675 }

Slide 7

Slide 7 text

read … | ( batch :5 seconds: | reduce max('value') by host | @timechart; keep time, value | @logger )

Slide 8

Slide 8 text

read … | ( batch :5 seconds: | reduce max('value') by host | @timechart; keep time, value | @logger ) read @timechart batch reduce keep @logger

Slide 9

Slide 9 text

DEMO

Slide 10

Slide 10 text

LOGIKA ALGEBRA I ALGEBRA II ALGEBRA III ANALÝZA TEORIE RELATIVITY

Slide 11

Slide 11 text

LOGIKA

Slide 12

Slide 12 text

read status = 500

Slide 13

Slide 13 text

read status = 500 or (status = 404 and url !~ …)

Slide 14

Slide 14 text

read status = 500 or (status = 404 and url !~ …)

Slide 15

Slide 15 text

Konjunktivní normální forma

Slide 16

Slide 16 text

(a 1,1 ∨ … ∨ a 1,m(1) ) ∧ … ∧ (a n,1 ∨ … ∨ a n,m(n) )

Slide 17

Slide 17 text

read status = 500 or (status = 404 and url !~ …)

Slide 18

Slide 18 text

read (status = 500 or status = 404) and (status = 500 or url !~ …)

Slide 19

Slide 19 text

read (status = 500 or status = 404) and (status = 500 or url !~ …)

Slide 20

Slide 20 text

ALGEBRA I

Slide 21

Slide 21 text

read … | reduce c = count(x) s = sum(x) m = max(x)

Slide 22

Slide 22 text

{ c: 3, s: 6, m: 3 } read … | reduce c = count(x) s = sum(x) m = max(x) { x: 1 } { x: 2 } { x: 3 }

Slide 23

Slide 23 text

{ c: 2, s: 3, m: 2 } read … | reduce c = count(x) s = sum(x) m = max(x) { x: 1 } { x: 2 }

Slide 24

Slide 24 text

{ c: 1, s: 1, m: 1 } read … | reduce c = count(x) s = sum(x) m = max(x) { x: 1 }

Slide 25

Slide 25 text

{ c: ?, s: ?, m: ? } read … | reduce c = count(x) s = sum(x) m = max(x) (nic)

Slide 26

Slide 26 text

{ c: 0, s: ?, m: ? } read … | reduce c = count(x) s = sum(x) m = max(x) (nic)

Slide 27

Slide 27 text

{ c: 0, s: ?, m: ? } read … | reduce c = count(x) s = sum(x) m = max(x) (nic)

Slide 28

Slide 28 text

{ c: 0, s: 0, m: ? } read … | reduce c = count(x) s = sum(x) m = max(x) (nic)

Slide 29

Slide 29 text

{ c: 0, s: 0, m: ? } read … | reduce c = count(x) s = sum(x) m = max(x) (nic)

Slide 30

Slide 30 text

{ c: 0, s: 0, m: undefined } read … | reduce c = count(x) s = sum(x) m = max(x) (nic)

Slide 31

Slide 31 text

{ c: 0, s: 0, m: undefined } read … | reduce c = count(x) s = sum(x) m = max(x) (nic)

Slide 32

Slide 32 text

Neutrální prvek

Slide 33

Slide 33 text

e: ∀a(e ⊕ a = a ⊕ e = a)

Slide 34

Slide 34 text

No content

Slide 35

Slide 35 text

No content

Slide 36

Slide 36 text

No content

Slide 37

Slide 37 text

{ c: 0, s: 0, m: -Infinity } read … | reduce c = count(x) s = sum(x) m = max(x) (nic)

Slide 38

Slide 38 text

ALGEBRA II

Slide 39

Slide 39 text

read … value > 0.95 | reduce c = count()

Slide 40

Slide 40 text

Elasticsearch Cassandra read … value > 0.95 | reduce c = count()

Slide 41

Slide 41 text

Elasticsearch Cassandra read … value > 0.95 | reduce c = count()

Slide 42

Slide 42 text

Asociativita

Slide 43

Slide 43 text

(a ⊕ b) ⊕ c = a ⊕ (b ⊕ c)

Slide 44

Slide 44 text

count count_unique sum avg min max first last pluck percentile sigma

Slide 45

Slide 45 text

count count_unique sum avg min max first last pluck percentile sigma

Slide 46

Slide 46 text

No content

Slide 47

Slide 47 text

No content

Slide 48

Slide 48 text

Monoid

Slide 49

Slide 49 text

Množina S, operace ⊕ : S ⨉ S → S ⊕ je asociativní na prvcích S V S existuje neutrální prvek vůči ⊕

Slide 50

Slide 50 text

ALGEBRA III

Slide 51

Slide 51 text

read time < :2015-04-01:

Slide 52

Slide 52 text

Moment Duration :2015-04-01T20:05:27.034: :now: :3 weeks and 1 day ago: :20:05:27.034: :3s: :1 hour and 23 minutes:

Slide 53

Slide 53 text

read time < :2015-04-01: - :1 day:

Slide 54

Slide 54 text

N * D → D D * N → D N / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 55

Slide 55 text

Afinní prostor

Slide 56

Slide 56 text

No content

Slide 57

Slide 57 text

No content

Slide 58

Slide 58 text

No content

Slide 59

Slide 59 text

No content

Slide 60

Slide 60 text

No content

Slide 61

Slide 61 text

m 1 m 2 m 2 t d 1 d 2

Slide 62

Slide 62 text

N * D → D D * N → D N / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 63

Slide 63 text

N * D → D D * N → D N / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 64

Slide 64 text

N * D → D D * N → D N / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 65

Slide 65 text

N * D → D D * N → D N / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 66

Slide 66 text

N * D → D D * N → D N / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 67

Slide 67 text

Dimenzionální analýza

Slide 68

Slide 68 text

v = s / t η = P výst / P vst

Slide 69

Slide 69 text

N * D → D D * N → D N / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 70

Slide 70 text

N * D → D D * N → D N / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 71

Slide 71 text

N * D → D D * N → D D / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 72

Slide 72 text

No content

Slide 73

Slide 73 text

N * D → D D * N → D D / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 74

Slide 74 text

N * D → D D * N → D D / D → N D / N → D D % N → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 75

Slide 75 text

N * D → D D * N → D D / D → N D / N → D D % D → D M + D → M D + M → M D + D → D M - M → D M - D → M D - D → D

Slide 76

Slide 76 text

No content

Slide 77

Slide 77 text

No content

Slide 78

Slide 78 text

ANALÝZA

Slide 79

Slide 79 text

emit -from 0 | batch 2 | reduce count() | batch 4 | reduce count()

Slide 80

Slide 80 text

emit … | batch 2 | reduce count() | batch 4 | reduce count() { time: 0 } { time: 1 } { time: 2 } { time: 3 } { time: 4 } { time: 5 } { time: 6 } { time: 7 } { time: 8 } { time: 2, count: 2 } { time: 4, count: 2 } { time: 6, count: 2 } { time: 8, count: 2 } { time: 4, count: 2 } { time: 8, count: 2 }

Slide 81

Slide 81 text

emit … | batch 2 | reduce count() | batch 4 | reduce count() { time: 0 } { time: 1 } { time: 2 } { time: 3 } { time: 4 } { time: 5 } { time: 6 } { time: 7 } { time: 8 } { time: 2, count: 2 } { time: 4, count: 2 } { time: 6, count: 2 } { time: 8, count: 2 } { time: 4, count: 2 } { time: 8, count: 2 } < 2 < 2 < 2 < 2 ≤ 4 ≤ 4

Slide 82

Slide 82 text

Infinitezimály

Slide 83

Slide 83 text

ε > 0 ∀x ∈ R, x > 0: ε < x

Slide 84

Slide 84 text

emit … | batch 2 | reduce count() | batch 4 | reduce count() { time: 0 } { time: 1 } { time: 2 } { time: 3 } { time: 4 } { time: 5 } { time: 6 } { time: 7 } { time: 8 } { time: 2, count: 2 } { time: 4, count: 2 } { time: 6, count: 2 } { time: 8, count: 2 } { time: 4, count: 2 } { time: 8, count: 2 } < 2 < 2 < 2 < 2 ≤ 4 ≤ 4

Slide 85

Slide 85 text

emit … | batch 2 | reduce count() | batch 4 | reduce count() { time: 0 } { time: 1 } { time: 2 } { time: 3 } { time: 4 } { time: 5 } { time: 6 } { time: 7 } { time: 8 } { time: 2 - ε, count: 2 } { time: 4 - ε, count: 2 } { time: 6 - ε, count: 2 } { time: 8 - ε, count: 2 } { time: 4 - ε, count: 2 } { time: 8 - ε, count: 2 } < 2 < 2 < 2 < 2 < 4 < 4

Slide 86

Slide 86 text

TEORIE RELATIVITY

Slide 87

Slide 87 text

No content

Slide 88

Slide 88 text

Minkowského metrika

Slide 89

Slide 89 text

ds2 = c2dt2 - dx2 - dy2 - dz2

Slide 90

Slide 90 text

ds2 = c2dt2 - dx2 - dy2 - dz2

Slide 91

Slide 91 text

No content

Slide 92

Slide 92 text

No content

Slide 93

Slide 93 text

ZÁVĚR

Slide 94

Slide 94 text

OTÁZKY?

Slide 95

Slide 95 text

KAM DÁL? http://en.wikipedia.org/wiki/Conjunctive_normal_form http://en.wikipedia.org/wiki/Disjunctive_normal_form http://en.wikipedia.org/wiki/Identity_element http://en.wikipedia.org/wiki/Associative_property http://en.wikipedia.org/wiki/Monoid http://en.wikipedia.org/wiki/Affine_space http://en.wikipedia.org/wiki/Dimensional_analysis http://en.wikipedia.org/wiki/Infinitesimal http://en.wikipedia.org/wiki/Minkowski_space

Slide 96

Slide 96 text

POUŽITÉ OBRÁZKY http://commons.wikimedia.org/wiki/File:Torus.png http://commons.wikimedia.org/wiki/File:World_line.svg