Kategorija:Matematična logika

Iz Wikipedije, proste enciklopedije

Jump to navigation Jump to search

Glavni članek te kategorije je matematična logika.

Wikimedijina zbirka ponuja več predstavnostnega gradiva o temi: Matematična logika

Podkategorije

Ta del kategorije ima 6 naslednjih podkategorij, od skupno 6.

A

► Aksiomi‎ (8 S)

D

► Matematični dokazi‎ (8 S)

R

► Logika v računalništvu‎ (1 K, 1 S)

T

► Teorija množic‎ (4 K, 36 S)
► Teorija modelov‎ (1 K, 1 S)
► Teorija tipov‎ (1 K, 1 S)

Strani v kategoriji »Matematična logika«

Ta del kategorije vsebuje 7 naslednjih strani, od skupno 7.

Matematična logika

A

Algoritem

I

Izjavna forma

M

Matematični dokaz

P

Protislovje

S

Surrealno število

T

Teorija množic

Vzpostavljeno iz »https://sl.wikipedia.org/w/index.php?title=Kategorija:Matematična_logika&oldid=5251572«