23 kapcsolatok: Arisztotelész, Derivált, Egyenletes folytonosság, Euler, Függvény (matematika), Formális nyelv, George Boole, Gottlob Frege, Halmazelmélet, Integrálszámítás, Ismeretelmélet, John Venn, Logika, Matematika, Metafizika, Nyelvtudomány, Organon (Arisztotelész), Peano, Szókratész, Tarski, Természetes nyelv, Tradicionális logika, Univerzális kvantifikáció.
Arisztotelész
Arisztotelész (ógörögül); (Sztageira, Kr. e. 384 – Khalkisz, Kr. e. 322. március 7.) görög tudós és filozófus, a modern európai tudomány atyja és előfutára.
Új!!: Kvantor (logika) és Arisztotelész · Többet látni »
Derivált
A derivált a függvénygörbe érintőjének meredeksége, azaz az érintő ''x'' tengellyel bezárt szögének tangense. Minél jobban nő a függvény egy adott szakaszon, annál nagyobb a derivált. A matematikában a derivált (vagy differenciálhányados) a matematikai analízis egyik legalapvetőbb fogalma.
Új!!: Kvantor (logika) és Derivált · Többet látni »
Egyenletes folytonosság
#ÁTIRÁNYÍTÁS Egyenletesen folytonos függvény.
Új!!: Kvantor (logika) és Egyenletes folytonosság · Többet látni »
Euler
#ÁTIRÁNYÍTÁS Leonhard_Euler.
Új!!: Kvantor (logika) és Euler · Többet látni »
Függvény (matematika)
intervallumon értelmezett valós függvény grafikonja a koordinátasíkon ábrázolva. f: -4;1,5 → '''R'''; ''x''↦ex(x2-x) A függvény vagy más néven parciális (részleges) leképezés a matematika egy olyan absztrakt fogalma, mely a geometriai leképezések, elemi algebrai műveletek, folytonosan változó mennyiségek és hasonló, bemeneti értékekből egyetlen kimeneti értéket produkáló fogalmak általános leírására szolgál.
Új!!: Kvantor (logika) és Függvény (matematika) · Többet látni »
Formális nyelv
A formális nyelv a matematika, a logika és az informatika számára egy véges ábécéből generálható, véges hosszúságú szavak (például karakterstringek, jelsorozatok) halmaza, amelyekkel a formális nyelvek elmélete foglalkozik.
Új!!: Kvantor (logika) és Formális nyelv · Többet látni »
George Boole
George Boole (Lincoln, Anglia, 1815. november 2. – Ballintemple, Írország, 1864. december 8.) angol matematikus és filozófus.
Új!!: Kvantor (logika) és George Boole · Többet látni »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, Mecklenburg-Schwerin, 1848. november 8. – Bad Kleinen, 1925. július 26.) német matematikus, logikatudós, filozófus, a modern matematikai logika és analitikus filozófia megalapítója, művelője.
Új!!: Kvantor (logika) és Gottlob Frege · Többet látni »
Halmazelmélet
A halmazelmélet - a matematikai logikával együtt - a matematika legalapvetőbb tudományága, mely a halmaz fogalmát tanulmányozza.
Új!!: Kvantor (logika) és Halmazelmélet · Többet látni »
Integrálszámítás
#ÁTIRÁNYÍTÁS Integrál.
Új!!: Kvantor (logika) és Integrálszámítás · Többet látni »
Ismeretelmélet
Az ismeretelmélet, vagy más néven episztemológia (a görög ἐπιστήμη episztémé – tudás és a λογος logosz – elmélet szavakból), valamint gnoszeológia (a görög γνῶσις gnószisz – ismeret és a λογος logosz – elmélet szavakból) a filozófia egyik ága és tudománya, amely a megismerés feltételeivel, határaival foglalkozik.
Új!!: Kvantor (logika) és Ismeretelmélet · Többet látni »
John Venn
Az emlékezetére létrehozott üvegablak a Venn-diagramokat szemlélteti a Gonville és Caius College-ban(felirata: JOHN VENN; FELLOW 1857–1923; PRESIDENT 1903–1923) John Venn (Kingston upon Hull, 1834. augusztus 4. – Cambridge, 1923. április 4.) brit matematikus.
Új!!: Kvantor (logika) és John Venn · Többet látni »
Logika
A logika az érvényes következtetések és bizonyítások, illetve az ezzel összefüggő filozófiai, matematikai, nyelvészeti és tudományos módszertani kérdések tudománya.
Új!!: Kvantor (logika) és Logika · Többet látni »
Matematika
Pszeudoszféra Marosvásárhelyen, a Bolyai téren Euklidész: ''Elemek'' c. híres geometria-tankönyvéhez (Franciaország, XIV. szd. első évtizedei) A matematika tárgyát és módszereit tekintve, sajátos tudomány, mely részben a többi tudomány által vizsgált, részben pedig a matematika „belső” fejlődéséből adódóan létrejött (felfedezett, ill. feltalált) rendszereket, struktúrákat, azok absztrakt, közösen meglévő tulajdonságait vizsgálja.
Új!!: Kvantor (logika) és Matematika · Többet látni »
Metafizika
Etikával földi létezőkre mutat.'' A metafizika jelentése a filozófiában kétféle: egyrészt filozófiai rendszer, másrészt filozófiai módszer.
Új!!: Kvantor (logika) és Metafizika · Többet látni »
Nyelvtudomány
#ÁTIRÁNYÍTÁS Nyelvészet.
Új!!: Kvantor (logika) és Nyelvtudomány · Többet látni »
Organon (Arisztotelész)
Az Organon (+¸Óργανον görög szó, magyarul „segédeszköz”, „szerszám”) a logika tudományát megalapozó ókori görög filozófus, Arisztotelész bizonyos logikai írásainak gyűjteménye.
Új!!: Kvantor (logika) és Organon (Arisztotelész) · Többet látni »
Peano
#ÁTIRÁNYÍTÁS Giuseppe_Peano.
Új!!: Kvantor (logika) és Peano · Többet látni »
Szókratész
Szókratész, (Alópeké démosz, ókori Görögország, i. e. 469 eleje – Athén, i. e. 399. február 15. vagy május) ókori görög filozófus.
Új!!: Kvantor (logika) és Szókratész · Többet látni »
Tarski
#ÁTIRÁNYÍTÁS Alfred Tarski.
Új!!: Kvantor (logika) és Tarski · Többet látni »
Természetes nyelv
Természetes nyelvnek (a mesterséges nyelvekkel szemben) az emberek által használt olyan nyelvet nevezzük, amely egy közösség (törzs vagy nemzet) életében nemzedékről nemzedékre spontán vagy tudatos folyamatok (például nyelvújítás) során szabadon fejlődik, változik.
Új!!: Kvantor (logika) és Természetes nyelv · Többet látni »
Tradicionális logika
A tradicionális logika nagyjából a logika késő középkori és újkori létezési formáját jelenti, mely az arisztotelészi és skolasztikus logikából alakult ki, és időszaka egészen a 17. század közepéig tartott; sokan a skolasztikusokat is ide értik.
Új!!: Kvantor (logika) és Tradicionális logika · Többet látni »
Univerzális kvantifikáció
Az univerzális kvantifikáció az a logikai operátor (speciális kvantor), mely a „minden”, „bármely”, „összes” természetes nyelvi szavaknak feleltethető meg valamely formális nyelven belül.
Új!!: Kvantor (logika) és Univerzális kvantifikáció · Többet látni »