Kategorie:Matematická logika

Z Wikipedie, otevřené encyklopedie

Hlavní článek: Matematická logika


Podkategorie

Tato kategorie obsahuje 1 podkategorii.

T

  • Teorie rekurze

Články v kategorii „Matematická logika“

Tato kategorie obsahuje 23 článků.

*

  • Matematická logika

A

  • Aritmetická hierarchie
  • Axiom

B

  • Bezesporná teorie

E

  • Elementární vnoření

F

  • Formule (logika)
  • Formální teorie

G

  • Gödelova věta o úplnosti predikátové logiky
  • Gödelovy věty o neúplnosti

J

  • Jazyk (logika)

L

  • Lindenbaumova algebra
  • Löwenheim-Skolemova věta

M

  • Model (logika)
  • Morleyova věta o kategoričnosti

P

  • Peanova aritmetika

P pokrač.

  • Predikátová logika
  • Predikátová logika prvního řádu
  • Presburgerova aritmetika

R

  • Robinsonova aritmetika

T

  • Teorie modelů

V

  • Volná logika
  • Výroková logika
  • Věta o kompaktnosti
Citováno z „http://cs.wikipedia.org../../../m/a/t/Kategorie%7EMatematick%C3%A1_logika_8615.html“

Kategorie: Logika | Obory a disciplíny matematiky

Views
  • Kategorie
  • Diskuse
  • Aktuální verze
Navigace
  • Hlavní strana
  • Portál Wikipedie
  • Aktuality
  • Pod lípou
  • Nápověda
  • Podpořte Wikipedii
V jiných jazycích
  • Беларуская
  • Български
  • English
  • Esperanto
  • Español
  • Français
  • עברית
  • Magyar
  • Bahasa Indonesia
  • Íslenska
  • Italiano
  • 日本語
  • 한국어
  • Português
  • Русский
  • Slovenčina
  • ไทย
  • Українська
  • Tiếng Việt
  • 中文
Powered by MediaWiki
Wikimedia Foundation
  • Tuto stránku naposledy měnil uživatel Wikipedie Escarbot v 23:18, 26. 1. 2007. Do textu přispěli uživatel(é) Wikipedie JAnDbot a Glivi.
  • Veškerý text je dostupný za podmínek GNU Free Documentation License (vizte Autorské právo pro podrobnosti).
  • O Wikipedii
  • Vyloučení odpovědnosti