Kategoria:Logika matematikoa

Wikipedia, Entziklopedia askea

Wikimedia Commonsen badira fitxategi gehiago, gai hau dutenak: Logika matematikoa

Azpikategoriak

Kategoria honek barnean ditu jarraian ageri diren 15 azpikategoriak, eta guztira 15 dira.

A

Algoritmoak (5 kat, 34 or.)

E

Egia logikoa (1 kat, 1 or.)
Errekurtsioa (1 kat, 2 or.)

F

Frogaren teoria (4 or.)

K

Konputagarritasuna (1 kat, 4 or.)

M

Matematika kontzeptuak (9 kat, 2 or.)
Matematika-axiomak (4 or.)
Matematikaren oinarriei buruzko teoremak (3 or.)
Metalogika (3 kat, 1 or.)
Modeloen teoria (2 or.)
Multzo-teoria (2 kat, 48 or.)

P

Predikatuen logika (1 kat, 3 or.)
Proposizio logika (1 kat, 11 or.)

S

Sistema formalak (2 kat, 1 or.)

T

Teoremak (7 kat, 7 or.)

"Logika matematikoa" kategoriako artikuluak

Jarraian ageri diren 29 orriak kategoria honetan daude. Kategoria honetan, guztira, 29 orri daude.

"https://eu.wikipedia.org/w/index.php?title=Kategoria:Logika_matematikoa&oldid=9750849"(e)tik eskuratuta

Ezkutuko kategoriak: