Rychlejší přístup než prohlížeči!
60 vztahy: Alfred North Whitehead, Alfred Tarski, Algebra, Angličané, Aristotelés, Úplnost, Axiom, Begriffsschrift, Bertrand Russell, Booleova logika, Charles Sanders Peirce, Disertační práce, Disjunkce, Ekvivalence (logika), Eukleidés, Exaktní, Exaktní věda, Existenční kvantifikátor, Formální jazyk, Funkce (matematika), George Boole, Gottfried Wilhelm Leibniz, Gottlob Frege, Hilbertovský kalkulus, Implikace, Jazyk (lingvistika), John Venn, Konjunkce (astronomie), Konotace, Konzistence, Kurt Gödel, Leonhard Euler, Logika, Matematická logika, Matematická věta, Matematika, Množina, Model (logika), Obecný kvantifikátor, Ontologie (informatika), Přirozené číslo, Predikátová logika prvního řádu, Principia Mathematica, Relace, Russellův paradox, Sloveso, Stoicismus, Sylogismus, Tautologie, Výroková logika, ..., Věda, Veličina, Základy (kniha), 1768, 1879, 19. století, 1905, 1910, 1930, 4. století př. n. l.. Rozbalte index (10 více) »
Alfred North Whitehead
Alfred North Whitehead (15. února 1861 Ramsgate, Kent, Spojené království – 30. prosince 1947 Cambridge, Massachusetts, USA) byl filozof, fyzik a matematik, který se zabýval logikou, matematikou, filozofií vědy a metafyzikou.
Nový!!: Predikátová logika a Alfred North Whitehead · Vidět víc »
Alfred Tarski
Alfred Tarski (14. ledna 1901, Varšava, Ruskem ovládaná část Polska – 26. října 1983, Berkeley, Kalifornie, USA) byl polský logik a matematik, který téměř 40 let žil a pracoval v USA.
Nový!!: Predikátová logika a Alfred Tarski · Vidět víc »
Algebra
Za zakladatele algebry je považován Al-Chorezmí (stránka z jeho spisu) Algebra je odvětví matematiky zabývající se abstrakcí pojmů a vlastností elementárních matematických objektů, jako jsou čísla, polynomy, matice, apod.
Nový!!: Predikátová logika a Algebra · Vidět víc »
Angličané
Angličané jsou základní germánskou etnickou složkou v Anglii, jednou ze zemí Spojeného království.
Nový!!: Predikátová logika a Angličané · Vidět víc »
Aristotelés
Lysippos: Aristotelés (římská kopie) Aristotelés ze Stageiry (též Aristoteles) byl filosof vrcholného období řecké filosofie, nejvýznamnější žák Platonův a vychovatel Alexandra Makedonského.
Nový!!: Predikátová logika a Aristotelés · Vidět víc »
Úplnost
Úplnost v obecném smyslu znamená, že je něco úplné, celistvé, neporušené, dovršené, kompletní.
Nový!!: Predikátová logika a Úplnost · 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ý!!: Predikátová logika a Axiom · Vidět víc »
Begriffsschrift
Begriffsschrift, česky pojmové písmo, je název tenké knížky o logice od Gottloba Fregeho, vydané v roce 1879.
Nový!!: Predikátová logika a Begriffsschrift · Vidět víc »
Bertrand Russell
Bertrand Arthur William Russell (18. května 1872, Trelleck, Monmouthshire, Wales – 2. února 1970, Penrhyndeudraeth, Gwynedd (Merionethshire), Wales), třetí hrabě Russell, byl britský matematik, filosof, logik, sociální kritik a spisovatel, nositel Nobelovy ceny za literaturu za rok 1950.
Nový!!: Predikátová logika a Bertrand Russell · Vidět víc »
Booleova logika
16 booleovských funkcí dvou proměnných Booleova logika se zabývá logickými operacemi konjunkce (značená též "*", AND, "&" nebo \wedge), disjunkce (značena též "+", OR, "|", "." nebo \vee) a negace (značena též pruhem nad částí výrazu, NOT) na množině hodnot.
Nový!!: Predikátová logika a Booleova logika · Vidět víc »
Charles Sanders Peirce
Charles Sanders Peirce (//; dle angl. //), (10. září 1839 Cambridge, Massachusetts – 19. dubna 1914 Milford, Pensylvánie) byl americký vědec, matematik a logik, jeden z nejvýznamnějších amerických filozofů, zakladatel pragmatismu a moderní sémiotiky.
Nový!!: Predikátová logika a Charles Sanders Peirce · Vidět víc »
Disertační práce
Obálka knihy z roku 1721 zachycuje promoce doktorského stupně studia na Univerzitě v Leidenu, Nizozemí. Vlevo a vpravo jsou symboly jednotlivých tehdejších fakult univerzity: teologické,l filozofické, právnické a lékařské a dále symboly samotného města Leiden. Disertační práce (hovorově též disertačka, angl., či disertace, angl.) je typ školní práce, kterou obhajují studenti na univerzitních vysokých školách (univerzitách).
Nový!!: Predikátová logika a Disertační práce · Vidět víc »
Disjunkce
Disjunkce znamená odloučení, rozdělení, odloučené oblasti, sloučení oblastí, logický součet výroků, množinových prvků zařazených do jedné skupiny celku.
Nový!!: Predikátová logika a Disjunkce · Vidět víc »
Ekvivalence (logika)
Název ekvivalence je v logice používán pro binární logický operátor značený symbolem ⇔ (\Leftrightarrow \,\!). Významově odpovídá tento operátor větné konstrukci „právě tehdy, když“ (zastarale „tehdy a pouze tehdy, když“ a „tehdy a jen tehdy, když“) (anglicky if and only if, zkráceně iff) — ekvivalence tedy říká, že spojovaná tvrzení platí pouze zároveň (obě ano, nebo obě ne).
Nový!!: Predikátová logika a Ekvivalence (logika) · Vidět víc »
Eukleidés
Eukleidés též Euklides nebo Euklid (řecky Εὐκλείδης, žil asi 325 př. n. l. – asi 260 př. n. l.) byl řecký matematik a geometr.
Nový!!: Predikátová logika a Eukleidés · Vidět víc »
Exaktní
Exaktní (lat. exactus od exigó, vyžaduji, zkoumám, měřím) znamená přesný.
Nový!!: Predikátová logika a Exaktní · Vidět víc »
Exaktní věda
Exaktní věda (exaktní – z lat. vědecky přesný, přísně vědecký) je věda založená na metodě umožňující znalosti o reálném světě získávat a zapisovat (reprezentovat) tak, že jsou součástí světa exaktního, tak vědu matematizovat.
Nový!!: Predikátová logika a Exaktní věda · Vidět víc »
Existenční kvantifikátor
Existenční kvantifikátor (∃) (také malý kvantifikátor) je matematický symbol používaný nejčastěji v predikátové logice.
Nový!!: Predikátová logika a Existenční kvantifikátor · Vidět víc »
Formální jazyk
Formální jazyk je v matematice, logice a informatice libovolná množina konečných řetězců (tj. řetězců konečné délky) nad určitou abecedou.
Nový!!: Predikátová logika a Formální jazyk · 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ý!!: Predikátová logika a Funkce (matematika) · Vidět víc »
George Boole
George Boole (2. listopadu 1815 Lincoln – 8. prosince 1864 Ballintemple u Corku) byl britský matematik a filosof, známý jako objevitel základů moderní aritmetiky, nazvané později Booleovou algebrou.
Nový!!: Predikátová logika a George Boole · Vidět víc »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm von Leibniz (1. července 1646 Lipsko – 14. listopadu 1716 Hannover, jeho jméno se někdy uvádí jako Leibnitz) byl německý filosof, vědec, matematik a teolog píšící převážně v latině a francouzštině.
Nový!!: Predikátová logika a Gottfried Wilhelm Leibniz · Vidět víc »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (8. listopadu 1848, Wismar – 26. července 1925, Bad Kleinen) byl německý matematik, logik a filosof, dlouholetý profesor univerzity v Jeně.
Nový!!: Predikátová logika a Gottlob Frege · 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ý!!: Predikátová logika a Hilbertovský kalkulus · Vidět víc »
Implikace
Implikace (z lat. implicatio, propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí.
Nový!!: Predikátová logika a Implikace · Vidět víc »
Jazyk (lingvistika)
Jazyk a písmo pojí velmi těsný vztah Jazyk je abstraktní struktura (řád mezi vhodnými primitivy) schopná nést informaci, a tak ji uchovávat a přenášet – sdělovat.
Nový!!: Predikátová logika a Jazyk (lingvistika) · Vidět víc »
John Venn
John Venn (4. srpna 1834 Kingston upon Hull, Yorkshire – 4. dubna 1923 Cambridge) byl anglický matematik, logik a filosof – známý především jako tvůrce Vennových diagramů, které se používají v teorii množin, pravděpodobnosti, kombinatorice, statistice, logice a počítačových oborech.
Nový!!: Predikátová logika a John Venn · Vidět víc »
Konjunkce (astronomie)
350px Konjunkce je termín užívaný v poziční astronomii a astrologii.
Nový!!: Predikátová logika a Konjunkce (astronomie) · Vidět víc »
Konotace
Konotace znamená transformaci člověkem přijaté jazykové formy (slova, věty, tahy malířova štětce, architektonická skica, dendrologická struktura...) v informaci vytvořenou z ní v jeho psýše.
Nový!!: Predikátová logika a Konotace · Vidět víc »
Konzistence
Konzistence nebo konsistence (z lat. con-sisto, držím pohromadě) má více významů.
Nový!!: Predikátová logika a Konzistence · Vidět víc »
Kurt Gödel
Kurt Friedrich Gödel (28. dubna 1906 Brno – 14. ledna 1978 Princeton, New Jersey) byl rakousko-americký matematik, který se stal jedním z nejvýznamnějších logiků všech dob.
Nový!!: Predikátová logika a Kurt Gödel · Vidět víc »
Leonhard Euler
Leonhard Paul Euler (německá výslovnost: IPA:,; 15. dubna 1707 Basilej, Švýcarsko – 18. září 1783 Petrohrad, Rusko) byl průkopnický švýcarský matematik a fyzik.
Nový!!: Predikátová logika a Leonhard Euler · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Predikátová logika a Logika · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Predikátová logika a Matematická logika · Vidět víc »
Matematická věta
V matematice se jako věta označuje důležité netriviální a dostatečně obecné tvrzení neboli výrok.
Nový!!: Predikátová logika a Matematická věta · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Predikátová logika a Matematika · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Predikátová logika a Množina · Vidět víc »
Model (logika)
Model (také struktura) je matematický pojem z oblasti matematickologické sémantiky.
Nový!!: Predikátová logika a Model (logika) · Vidět víc »
Obecný kvantifikátor
Obecný kvantifikátor (∀) (také univerzální kvantifikátor či velký kvantifikátor) je matematický symbol používaný nejčastěji v predikátové logice.
Nový!!: Predikátová logika a Obecný kvantifikátor · Vidět víc »
Ontologie (informatika)
Ontologie je v informatice výslovný (explicitní) a formalizovaný popis určité problematiky.
Nový!!: Predikátová logika a Ontologie (informatika) · 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ý!!: Predikátová logika a Přirozené číslo · Vidět víc »
Predikátová logika prvního řádu
Predikátová logika prvního řádu je formální systém používaný v matematice, filozofii, lingvistice a informatice.
Nový!!: Predikátová logika a Predikátová logika prvního řádu · Vidět víc »
Principia Mathematica
Titulní strana zkráceného vydání ''Principií'' Principia Mathematica (PM) jsou třísvazkové dílo pojednávající o základech matematiky, napsané Alfredem Northem Whiteheadem a Bertrandem Russellem a vydané v letech 1910, 1912 a 1913.
Nový!!: Predikátová logika a Principia Mathematica · Vidět víc »
Relace
Označení relace (z latinského relatio – zpráva, vztah) se používá v následujících významech:;obecně.
Nový!!: Predikátová logika a Relace · Vidět víc »
Russellův paradox
Russellův paradox (též Russellova antinomie) je paradox, objevený v roce 1901 Bertrandem Russellem, který ukazuje, že Cantorova intuitivní teorie množin (naivní teorie množin) je vnitřně sporná.
Nový!!: Predikátová logika a Russellův paradox · Vidět víc »
Sloveso
Sloveso (lat. verbum) je ohebný slovní druh, který vyjadřuje činnost (jít), stav (ležet) nebo změnu stavu (zčervenat).
Nový!!: Predikátová logika a Sloveso · Vidět víc »
Stoicismus
Zénón z Kitia. Foto Paolo Monti, 1969 Stoicismus je filosofický směr, založený oficiálně Zénonem z Kitia počátkem 3.
Nový!!: Predikátová logika a Stoicismus · Vidět víc »
Sylogismus
Sylogismus (řecky: συλλογισμός – „rozhodnutí,“ „logický důsledek“; obvykle kategorický sylogismus) je druh logického tvrzení, ve kterém je jeden z výroků (závěr) odvozen z ostatních dvou předpokladů (premis) určité formy.
Nový!!: Predikátová logika a Sylogismus · Vidět víc »
Tautologie
Tautologie (z řeckého, tautologia, výpověď o témže) je v logice vždy pravdivý složený výrok. Je pravdivý vždy, bez ohledu na pravdivostní hodnotu jednotlivých částí takového výroku.
Nový!!: Predikátová logika a Tautologie · Vidět víc »
Výroková logika
V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky).
Nový!!: Predikátová logika a Výroková logika · Vidět víc »
Věda
Věda jako celek je systematický způsob racionálního a empirického poznávání skutečnosti zaměřený na spolehlivost výsledků a často i na možnosti predikce a aplikace (aplikované vědy).
Nový!!: Predikátová logika a Věda · Vidět víc »
Veličina
Veličina je vlastnost jevu, tělesa nebo látky, mající velikost, kterou lze vyjádřit číslem a referencí.
Nový!!: Predikátová logika a Veličina · Vidět víc »
Základy (kniha)
#PŘESMĚRUJ Eukleidovy Základy.
Nový!!: Predikátová logika a Základy (kniha) · Vidět víc »
1768
1768 (MDCCLXVIII) byl rok, který dle gregoriánského kalendáře započal pátkem.
Nový!!: Predikátová logika a 1768 · Vidět víc »
1879
1879 (MDCCCLXXIX) byl rok, který dle gregoriánského kalendáře započal středou.
Nový!!: Predikátová logika a 1879 · Vidět víc »
19. století
průmyslové revoluce a také 19. století Imperiální mocnosti kolem roku 1898 Devatenácté století je podle Gregoriánského kalendáře perioda mezi 1. lednem 1801 a 31. prosincem 1900.
Nový!!: Predikátová logika a 19. století · Vidět víc »
1905
1905 (MCMV) byl rok, který dle gregoriánského kalendáře započal nedělí.
Nový!!: Predikátová logika a 1905 · Vidět víc »
1910
1910 (MCMX) byl rok, který dle gregoriánského kalendáře započal sobotou.
Nový!!: Predikátová logika a 1910 · Vidět víc »
1930
1930 (MCMXXX) byl rok, který dle gregoriánského kalendáře započal středou.
Nový!!: Predikátová logika a 1930 · Vidět víc »
4. století př. n. l.
Hieroglyfy zapsané jméno Alexandra Velikého. Nápis pochází asi z roku 332 př. n. l. 4.
Nový!!: Predikátová logika a 4. století př. n. l. · Vidět víc »
Přesměrování zde:
Predikátový kalkul, Rozšíření predikátové teorie.
