Kategori:Matematisk logikk

Fra Wikisida.no

Sideversjon per 25. apr. 2024 kl. 19:51 av Wikisida (diskusjon | bidrag) (Én sideversjon ble importert)

(diff) ← Eldre sideversjon | Nåværende sideversjon (diff) | Nyere sideversjon → (diff)

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‎ (tom)

L

Ligninger‎ (5 S)
Logikk i informatikk‎ (1 K)

M

Mengdelære‎ (1 K, 4 S)

R

Rekursjon‎ (2 S)

T

Teorem i matematisk logikk‎ (1 S)
Typeteori‎ (tom)

Sider i kategorien «Matematisk logikk»

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

Metamatematikk

A

B

F

Fikspunktiterasjon

M

O

Oppregning

R

Rekursjon

Hentet fra «https://www.wikisida.no/index.php?title=Kategori:Matematisk_logikk&oldid=138155»