19 vztahy: Axiom, Bijekce, Binární relace, Formální teorie, Formule (logika), Funkce, Funkce (matematika), Grupa, Jazyk (logika), Konstanta, Löwenheimova-Skolemova věta, Matematická logika, Matematika, Morleyova věta o kategoričnosti, Přirozené číslo, Peanova aritmetika, Relace (matematika), Teorie, Teorie modelů.
Axiom
Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné, a tudíž se nedokazuje.
Nový!!: Model (logika) a Axiom · Vidět víc »
Bijekce
Bijektivní funkceBijekce (bijektivní zobrazení, vzájemně jednoznačné zobrazení) je zobrazení, které je zároveň prosté i na.
Nový!!: Model (logika) a Bijekce · Vidět víc »
Binární relace
Binární relace je pojem z matematiky, vyjadřuje vztah (relaci) prvků jedné množiny k prvkům v množině druhé.
Nový!!: Model (logika) a Binární relace · Vidět víc »
Formální teorie
Formální teorie je jeden z nejdůležitějších pojmů matematickologické syntaxe.
Nový!!: Model (logika) a Formální teorie · Vidět víc »
Formule (logika)
Formule (také predikátová formule, srov. výroková formule) je v matematice a logice syntaktický pojem reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu.
Nový!!: Model (logika) a Formule (logika) · Vidět víc »
Funkce
Slovo funkce je užíváno ve více významech.
Nový!!: Model (logika) a Funkce · Vidět víc »
Funkce (matematika)
Zobrazení '''z''' množiny '''M''' (nahoře) resp. množiny '''D''' (dole) '''na''' množinu '''T''' (přerušovaná čára) resp. '''do''' množiny '''T''' (plná čára). Funkce je v matematice název pro zobrazení z množiny M na nebo do číselné množiny T (většinou reálných nebo komplexních čísel), či na nebo do vektorového prostoru T tvořeného uspořádanými n-ticemi čísel (vektorová funkce).
Nový!!: Model (logika) a Funkce (matematika) · Vidět víc »
Grupa
Rubikovy kostky tvoří grupu Grupa je v matematice algebraická struktura tvořená množinou spolu s binární operací, která je asociativní, má neutrální prvek a každý prvek má svou inverzi.
Nový!!: Model (logika) a Grupa · Vidět víc »
Jazyk (logika)
V matematické logice se pod pojmem jazyk rozumí pevně zvolená množina symbolů, pomocí nichž se vytvářejí formule.
Nový!!: Model (logika) a Jazyk (logika) · Vidět víc »
Konstanta
V matematice, fyzice a dalších přírodních a technických vědách se pojmem konstanta označuje nějaké pevně dané číslo (nebo neměnná veličina), jehož hodnota ovšem nemusí být známá.
Nový!!: Model (logika) a Konstanta · Vidět víc »
Löwenheimova-Skolemova věta
#PŘESMĚRUJ Löwenheimova–Skolemova věta.
Nový!!: Model (logika) a Löwenheimova-Skolemova věta · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Model (logika) a Matematická logika · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Model (logika) a Matematika · Vidět víc »
Morleyova věta o kategoričnosti
Morleyova věta o kategoričnosti je jednou z nejdůležitějších vět teorie modelů.
Nový!!: Model (logika) a Morleyova věta o kategoričnosti · Vidět víc »
Přirozené číslo
Přirozeným číslem se v matematice rozumí číslo, které je možné použít pro vyjádření počtu („na stole je šest mincí“) nebo pořadí („toto je třetí největší město“) prvků konečných množin.
Nový!!: Model (logika) a Přirozené číslo · Vidět víc »
Peanova aritmetika
Peanova aritmetika (PA) je jeden z axiomatických systémů formální teorie aritmetiky.
Nový!!: Model (logika) a Peanova aritmetika · Vidět víc »
Relace (matematika)
Jako relaci nebo n-ární relaci nazveme v matematice libovolný vztah mezi skupinou prvků jedné nebo více množin.
Nový!!: Model (logika) a Relace (matematika) · Vidět víc »
Teorie
Teorie je poznatek či soubor poznatků o nějakém předmětu, k nimž se dospělo pomocí uvažování.
Nový!!: Model (logika) a Teorie · Vidět víc »
Teorie modelů
Teorie modelů je matematická disciplína, která je jedním z podoborů matematické logiky.
Nový!!: Model (logika) a Teorie modelů · Vidět víc »
Přesměrování zde:
Isomorfismus modelů, Isomorfismus struktur, Izomorfismus modelů, Izomorfismus struktur, Model (matematika), Model jazyka, Model teorie, Ohodnocení proměnných, Struktura (logika), Tarského definice pravdy.