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ó
A lap eredeti címe "http://hu.wikipedia.org../../../m/a/t/Kateg%C3%B3ria%7EMatematikai_logika_2acb.html"

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
Más nyelveken
  • English
  • Български
  • Česky
  • Esperanto
  • Español
  • Français
  • עברית
  • Bahasa Indonesia
  • Íslenska
  • Italiano
  • 日本語
  • 한국어
  • Português
  • Русский
  • Slovenčina
  • ไทย
  • Українська
  • Tiếng Việt
  • 中文
Powered by MediaWiki
Wikimedia Foundation
  • Ezt a lapot utoljára NyenyecBot Wikipédia felhasználó módosította 20:00, 2007. április 2. időpontban.. Based on work by Opa, Escarbot, YurikBot, Adam78 és Gubbubu Wikipédia felhasználó(k).
  • A lap szövege a GNU Free Documentation License feltételei szerint használható fel (lásd a Wikipédia:Felhasználási feltételek lapot).
    A Wikipedia® a Wikimedia Foundation, Inc. bejegyzett védjegye.
  • A Wikipédiáról
  • Jogi nyilatkozat