Logg inn eller registrer deg☞

Matematisk logikk

Fagansvarlig

Eyvind Martol Briseid

OsloMet – storbyuniversitetet

Redaktør

Anne Eilertsen

Inneholder 47 artikler:

A

  1. a fortiori
  2. aggregat – matematikk
  3. aksiom – matematikk
  4. antinomi – matematikk

B

  1. bevis – matematikk
  2. boolsk algebra

D

  1. deduksjon – matematikk
  2. demonstrasjon – matematikk
  3. den tomme mengde

E

  1. ekvivalens

F

  1. formel – matematikk
  2. formell – vitenskap
  3. formodning – matematikk
  4. fuzzy-logikk

I

  1. induksjon – matematikk
  2. intuisjonisme – matematikk

K

  1. kardinaltall
  2. klasse – matematikk
  3. kompleksitet – matematikk
  4. kompleksitetsklasser
  5. komplement – matematikk
  6. konnektiv – logikk
  7. konstruktivisme – matematikk
  8. kvantor – matematikk

M

  1. matematisk logikk
  2. mengde – matematikk
  3. mengdelære

P

  1. parentes – matematikk
  2. polsk notasjon

R

  1. Russells paradoks
  2. rekursjon
  3. relasjon – matematikk

S

  1. sats – matematikk
  2. snitt – matematikk
  3. symbol – matematikk

T

  1. tellbar
  2. teorem
  3. transfinite tall

U

  1. uendelig – matematikk
  2. uendelighetsaksiomet
  3. ufullstendighetsteoremene
  4. union – matematikk
  5. unær
  6. utvalgsaksiomet

V

  1. Venn-diagram
  2. velordnet mengde

Ø

  1. Ø – matematikk