30 vztahy: Abelovská grupa, Algebraicky uzavřené těleso, Algoritmus, Axiom, Bezesporná teorie, Booleova algebra, Celé číslo, Charakteristika (matematika), Formální teorie, Formule (logika), Gödelovy věty o neúplnosti, Hilbertovský kalkulus, Husté uspořádání, Jazyk (logika), Komutativita, Lagrangeova věta o čtyřech čtvercích, Lineární uspořádání, Matematická logika, Matematika, Množina, Model (logika), Obor integrity, Okruh (algebra), Přirozené číslo, Peanova aritmetika, Presburgerova aritmetika, Racionální číslo, Rekurzivní jazyk, Robinsonova aritmetika, Těleso (algebra).
Abelovská grupa
#PŘESMĚRUJ Abelova grupa.
Nový!!: Rozhodnutelnost a Abelovská grupa · Vidět víc »
Algebraicky uzavřené těleso
Matematický pojem algebraicky uzavřené těleso označuje takové těleso T, pro které platí, že každý mnohočlen stupně alespoň 1 s koeficienty z tělesa T má v T alespoň jeden kořen.
Nový!!: Rozhodnutelnost a Algebraicky uzavřené těleso · Vidět víc »
Algoritmus
Algoritmus je přesný návod či postup, kterým lze vyřešit daný typ úlohy.
Nový!!: Rozhodnutelnost a Algoritmus · Vidět víc »
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ý!!: Rozhodnutelnost a Axiom · Vidět víc »
Bezesporná teorie
Bezesporná teorie (také konzistentní teorie) je označení používané v matematické logice pro formální teorii, která neobsahuje spor; v opačném případě se používá označení sporná teorie.
Nový!!: Rozhodnutelnost a Bezesporná teorie · Vidět víc »
Booleova algebra
Booleova algebra je algebraická struktura se dvěma binárními a jednou unární operací, která zobecňuje vlastnosti množinových a logických operací.
Nový!!: Rozhodnutelnost a Booleova algebra · Vidět víc »
Celé číslo
Celá čísla se skládají z přirozených čísel (1, 2, 3, …), nuly (0) a záporných celých čísel (−1, −2, −3, …).
Nový!!: Rozhodnutelnost a Celé číslo · Vidět víc »
Charakteristika (matematika)
Charakteristika okruhu R (občas značena char(R)) je definována jako nejmenší počet sečtení jednotkového prvku (značeného obvykle 1) nutný k získání nulového prvku (obvykle značeného 0).
Nový!!: Rozhodnutelnost a Charakteristika (matematika) · Vidět víc »
Formální teorie
Formální teorie je jeden z nejdůležitějších pojmů matematickologické syntaxe.
Nový!!: Rozhodnutelnost 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ý!!: Rozhodnutelnost a Formule (logika) · Vidět víc »
Gödelovy věty o neúplnosti
Gödelovy věty o neúplnosti jsou dvě důležité matematické věty, které mají zcela výsadní postavení v celé moderní matematické logice.
Nový!!: Rozhodnutelnost a Gödelovy věty o neúplnosti · Vidět víc »
Hilbertovský kalkulus
Hilbertovský kalkulus (také hilbertovský klasický kalkulus) je jeden z logických kalkulů, kterými se zabývá logika.
Nový!!: Rozhodnutelnost a Hilbertovský kalkulus · Vidět víc »
Husté uspořádání
Husté uspořádání je matematický pojem z oboru teorie množin, konkrétněji z teorie uspořádání.
Nový!!: Rozhodnutelnost a Husté uspořádání · 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ý!!: Rozhodnutelnost a Jazyk (logika) · Vidět víc »
Komutativita
Komutativita je v matematice, zejména v algebře, vlastnost binární operace spočívající v tom, že u ní nezávisí na pořadí jejích operandů.
Nový!!: Rozhodnutelnost a Komutativita · Vidět víc »
Lagrangeova věta o čtyřech čtvercích
Lagrangeova věta o čtyřech čtvercích je tvrzení z oboru teorie čísel, které říká, že každé přirozené číslo lze zapsat jako součet čtyř čtverců.
Nový!!: Rozhodnutelnost a Lagrangeova věta o čtyřech čtvercích · Vidět víc »
Lineární uspořádání
Lineární uspořádání (někdy také úplné uspořádání) je pojem z teorie uspořádání, který formálně zachycuje intuitivní představu o prvcích množiny, které jsou seřazeny „jeden za druhým“.
Nový!!: Rozhodnutelnost a Lineární uspořádání · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Rozhodnutelnost a Matematická logika · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Rozhodnutelnost a Matematika · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Rozhodnutelnost a Množina · Vidět víc »
Model (logika)
Model (také struktura) je matematický pojem z oblasti matematickologické sémantiky.
Nový!!: Rozhodnutelnost a Model (logika) · Vidět víc »
Obor integrity
Obor integrity je komutativní okruh R s jednotkovým prvkem, pro který navíc platí axiom Oborem integrity je tedy každý komutativní okruh s jednotkovým prvkem, ve kterém nejsou netriviální dělitelé nuly.
Nový!!: Rozhodnutelnost a Obor integrity · Vidět víc »
Okruh (algebra)
Okruh je v matematice algebraická struktura s dvěma binárními operacemi běžně nazývanými sčítání a násobení.
Nový!!: Rozhodnutelnost a Okruh (algebra) · 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ý!!: Rozhodnutelnost 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ý!!: Rozhodnutelnost a Peanova aritmetika · Vidět víc »
Presburgerova aritmetika
Presburgerova aritmetika je jeden z axiomatických systémů formální teorie aritmetiky.
Nový!!: Rozhodnutelnost a Presburgerova aritmetika · Vidět víc »
Racionální číslo
Racionální číslo je číslo, které lze vyjádřit jako zlomek, tedy podíl dvou celých čísel, většinou zapsaný ve tvaru \frac nebo a/b, kde b není nula.
Nový!!: Rozhodnutelnost a Racionální číslo · Vidět víc »
Rekurzivní jazyk
Formální jazyk L je rekurzivní, pokud existuje Turingův stroj (dále TS), který akceptuje právě slova z tohoto jazyka, a jehož výpočet nad libovolným řetězcem skončí po konečném počtu kroků.
Nový!!: Rozhodnutelnost a Rekurzivní jazyk · Vidět víc »
Robinsonova aritmetika
Robinsonova aritmetika (také Robinsonova aritmetika Q nebo jen aritmetika Q) je jeden z axiomatických systémů formální teorie aritmetiky.
Nový!!: Rozhodnutelnost a Robinsonova aritmetika · Vidět víc »
Těleso (algebra)
Těleso (angl. division ring) je algebraická struktura, na které jsou definovány dvě binární operace.
Nový!!: Rozhodnutelnost a Těleso (algebra) · Vidět víc »
Přesměrování zde:
Nerozhodnutelnost, Nerozhodnutelná struktura, Nerozhodnutelná teorie, Rozhodnutelná teorie, Silně nerozhodnutelná struktura.