Kategori:Matematisk logikk

Fra Wikipedia, den frie encyklopedi

Hopp til navigering Hopp til søk

Hovedartikkelen for denne kategorien er Matematisk logikk.

Underkategorier

Denne kategorien har følgende 7 underkategorier, av totalt 7.

B

Boolsk algebra‎ (1 side)

L

Ligninger‎ (5 kategorier, 21 sider)
Logikk i informatikk‎ (1 kategori)

M

Mengdelære‎ (3 kategorier, 33 sider)

R

Rekursjon‎ (1 side)

T

Teorem i matematisk logikk‎ (1 side)
Typeteori‎ (1 kategori)

Sider i kategorien «Matematisk logikk»

Under vises 11 av totalt 11 sider som befinner seg i denne kategorien.

Metamatematikk

A

B

F

Fikspunktiterasjon

M

R

Rekursjon

Hentet fra «https://no.wikipedia.org/w/index.php?title=Kategori:Matematisk_logikk&oldid=21255840»