Kategória:Matematikai logika
A Wikipédiából, a szabad lexikonból.
Fő szócikk:
Matematikai logika
.
„Matematikai logika” kategóriába tartozó szócikkek
A kategória lenti listájában 21 szócikk található.
A
Alapkifejezés
Axióma
B
Boole-algebra
C
Curry paradoxonja
D
Diszjunktív normálforma
E
Elsőrendű logika
Elsőrendű nyelv
F
Fogalomírás
H
Herbrand-univerzum
Horn-klóz
I
Igazhalmaz
K
Konjunktív normálforma
Kvantor
L
Lambda-kalkulus
M
Matematikai logika
P
Prolog programozási nyelv
R
Rezolúció
Russell-paradoxon
S
Skolem-normálforma
Szabályos kifejezés
U
Univerzális kvantifikáció
Kategóriák
:
Logika
|
Matematika
Views
Kategória
Vitalap
Aktuális változat
Navigáció
Kezdőlap
Közösségi portál
Kiemelt szócikkek
Segítség
Adományok
Keresés
Más nyelveken
English
Български
Česky
Esperanto
Español
Français
עברית
Bahasa Indonesia
Íslenska
Italiano
日本語
한국어
Português
Русский
Slovenčina
ไทย
Українська
Tiếng Việt
中文