Gyorsabb hozzáférés, mint a böngésző!
55 kapcsolatok: A logika története, Alfred Tarski, Alonzo Church, Angol nyelv, Bertrand Russell, Bijektív függvény, Didaktika, Dimenzió, Eötvös Loránd Tudományegyetem, Elsőrendű logika, Euklideszi geometria, Függvény (matematika), Filozófia, Filozófus, Formális nyelv, Geometria, Giuseppe Peano, Gottlob Frege, Halmaz (matematika), Halmazelmélet, Halmazrendszer, Informatika, Karakterisztikus függvény, Kurt Gödel, Kvantor, Kvantor (logika), Leon Henkin, Logikai művelet, Matematika, Matematikai logika, Matematikai struktúra, Művelet, Műveleti jel, Modellelmélet, Nyelvbázis, Partíció (halmazelmélet), Prenex-formula, Programozási nyelv, Rekurzió, Reláció, Rendezett pár, Rudolf Carnap, Ruzsa Imre, Sorozat (matematika), Számítógéptudomány, Szimbólum, Természetes számok, Unió (halmazelmélet), Végtelen, Zárójel, ..., 1983, 1988, 1994, 1999, 2003. Bővíteni index (5 több) »
A logika története
A logikával foglalkozó első dokumentumok egyike a Dissoi Logoi (kb. „ellentétes szavak”.
Új!!: Elsőrendű nyelv és A logika története · Többet látni »
Alfred Tarski
Alfred Tarski (eredeti neve: Teitelbaum,; Varsó, 1901. január 14. – Berkeley, Kalifornia, 1983. október 26.) lengyel matematikus, a varsói matematikai iskola kiemelkedő alakja, akit a négy legnagyobb logikus közé sorolnak Arisztotelész, Frege és Gödel mellett.
Új!!: Elsőrendű nyelv és Alfred Tarski · Többet látni »
Alonzo Church
Alonzo Church (Washington, 1903. június 14. – Hudson, Ohio, 1995. augusztus 11.) amerikai matematikus és logikus, akit a számítástechnika elméletének egyik megalapozójának tartanak.
Új!!: Elsőrendű nyelv és Alonzo Church · Többet látni »
Angol nyelv
Az angol nyelv (angolul: the English language) az indoeurópai nyelvcsalád nyugati germán nyelvek ágába tartozó nyelv.
Új!!: Elsőrendű nyelv és Angol nyelv · Többet látni »
Bertrand Russell
Bertrand Russell (Ravenscroft (Monmouthshire), Wales, 1872. május 18. – Penrhyndeudraeth, Wales, 1970. február 2.) irodalmi Nobel-díjas angol matematikus, logikatudós, filozófus és szociológus, Kingston III.
Új!!: Elsőrendű nyelv és Bertrand Russell · Többet látni »
Bijektív függvény
#ÁTIRÁNYÍTÁS Bijekció.
Új!!: Elsőrendű nyelv és Bijektív függvény · Többet látni »
Didaktika
A didaktika vagy oktatástan (görög διδάσκειν.
Új!!: Elsőrendű nyelv és Didaktika · Többet látni »
Dimenzió
A dimenzió a latin „kimér” (dimētior) igéből ered, szokásos magyar fordításai: méret, kiterjedés.
Új!!: Elsőrendű nyelv és Dimenzió · Többet látni »
Eötvös Loránd Tudományegyetem
Az Eötvös Loránd Tudományegyetem (rövidítve: ELTE, latin nevén: Universitas Budapestinensis de Rolando Eötvös nominata) Magyarország leghosszabb ideje folyamatosan működő egyeteme, egyike az ország legnagyobb és legtekintélyesebb felsőoktatási intézményeinek.
Új!!: Elsőrendű nyelv és Eötvös Loránd Tudományegyetem · Többet látni »
Elsőrendű logika
Az elsőrendű logika a matematikai logikának az elsőrendű nyelvekkel foglalkozó ága.
Új!!: Elsőrendű nyelv és Elsőrendű logika · Többet látni »
Euklideszi geometria
A görög tudósok az egyiptomi geométerek – földmérők – tapasztalatainak rendszerezésével olyan tudományt alkottak, amelyet ma geometriának nevezünk.
Új!!: Elsőrendű nyelv és Euklideszi geometria · 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!!: Elsőrendű nyelv és Függvény (matematika) · Többet látni »
Filozófia
Raffaello: ''Az athéni iskola'' (1509. Vatikán, Stanza della Segnatura) 20 neves ókori filozófus (J. W. Cook metszete, 1825) A filozófia, régebben magyarítva bölcselet a világegyetem, a természet, az élet okával és céljával, a történelemben érvényesülő rendezőelvvel, a tudás és megismerés lehetőségével, a szépség, művészet és nyelv mibenlétével, a jogi-politikai normák természetével, a cselekedetek helyes vagy helytelen mivoltával, Isten és a transzcendencia létével foglalkozó tudományág.
Új!!: Elsőrendű nyelv és Filozófia · Többet látni »
Filozófus
#ÁTIRÁNYÍTÁS Filozófia.
Új!!: Elsőrendű nyelv és Filozófus · 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!!: Elsőrendű nyelv és Formális nyelv · Többet látni »
Geometria
Geometria tanítása a középkori Franciaországban (1300-as évek eleje) Cyclopaediában.'' A geometria vagy mértan a matematika térbeli törvényszerűségek, összefüggések leírásából kialakult ága, melynek a tér mennyiségi viszonyainak leírása még ma is fontos alkalmazása.
Új!!: Elsőrendű nyelv és Geometria · Többet látni »
Giuseppe Peano
Giuseppe Peano (Cuneo, Piemont, Olaszország, 1858. augusztus 27. – Torino, Olaszország, 1932. április 20.) olasz matematikus, logikatudós, nyelvész, a matematika axiómarendszereinek egyik megalapítója.
Új!!: Elsőrendű nyelv és Giuseppe Peano · 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!!: Elsőrendű nyelv és Gottlob Frege · Többet látni »
Halmaz (matematika)
A halmaz a matematika egyik legalapvetőbb fogalma, melyet leginkább az „összesség”, „sokaság” szavakkal tudunk körülírni (egy Georg Cantor által adott körülírását ld. lentebb); de mivel igazából alapfogalom, így nem tartjuk definiálandónak.
Új!!: Elsőrendű nyelv és Halmaz (matematika) · 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!!: Elsőrendű nyelv és Halmazelmélet · Többet látni »
Halmazrendszer
Halmazrendszeren a matematikában többféle, de sok tekintetben hasonló dolgot érthetünk.
Új!!: Elsőrendű nyelv és Halmazrendszer · Többet látni »
Informatika
Az informatika önálló tudományág, amely a különböző eszközökkel – de különösen a számítógéppel – megvalósított információkezeléssel, azaz az információ megszerzésével, (gyűjtésével), feldolgozásával, tárolásával, sokszorosításával és továbbításával foglalkozik.
Új!!: Elsőrendű nyelv és Informatika · Többet látni »
Karakterisztikus függvény
A matematikában a karakterisztikus függvény (vagy ritkábban: indikátorfüggvény) olyan függvény, amely azt jelzi, hogy értelmezési tartományának pontjai elemei-e egy halmaznak.
Új!!: Elsőrendű nyelv és Karakterisztikus függvény · Többet látni »
Kurt Gödel
Kurt Gödel (Brünn, 1906. április 28. – Princeton, New Jersey, 1978. január 14.) osztrák matematikus, logikus és tudományfilozófus.
Új!!: Elsőrendű nyelv és Kurt Gödel · Többet látni »
Kvantor
#ÁTIRÁNYÍTÁS Kvantor (egyértelműsítő lap).
Új!!: Elsőrendű nyelv és Kvantor · Többet látni »
Kvantor (logika)
Egy tipikus kvantoros következtetés ábrázolása Venn-diagramon. Mivel az ''emberek'' és ''halandók'' közös részét jelentő tartományban van létezési jel, ezért igaz a következtetés A kvantorok elmélete a „minden” és „létezik” szavak használatát kívánja vizsgálni speciális, logikai szempontból.
Új!!: Elsőrendű nyelv és Kvantor (logika) · Többet látni »
Leon Henkin
Leon Albert Henkin (Brooklyn, New York, 1921. április 19. – Oakland, Kalifornia, 2006. november 1.) amerikai matematikus.
Új!!: Elsőrendű nyelv és Leon Henkin · Többet látni »
Logikai művelet
Logikai műveletek alatt az ítéletkalkulus ítéletein definiált műveleteket értünk, amelyek segítségével az ítéletekből újabb, összetett ítéleteket alkothatunk.
Új!!: Elsőrendű nyelv és Logikai művelet · 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!!: Elsőrendű nyelv és Matematika · Többet látni »
Matematikai logika
A matematikai logika a matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat matematikai módszerekkel vizsgálja.
Új!!: Elsőrendű nyelv és Matematikai logika · Többet látni »
Matematikai struktúra
A matematikai struktúra a modern, huszadik századi matematika egyik legfontosabb fogalma a halmaz fogalma mellett, melyek teljesen átalakították a matematikát.
Új!!: Elsőrendű nyelv és Matematikai struktúra · Többet látni »
Művelet
A művelet a matematikában általában speciális függvényt jelent, mely esetében adott halmaz néhány eleméhez (azaz elemek rendezett véges sorozataihoz) rendelünk ugyanebbe a halmazba eső elemeket.
Új!!: Elsőrendű nyelv és Művelet · Többet látni »
Műveleti jel
A műveleti jelek (idegen szóval: operátorok) a matematikai műveletek jelölésére használt szimbólumok.
Új!!: Elsőrendű nyelv és Műveleti jel · Többet látni »
Modellelmélet
A modellelmélet a matematikai logika egyik legfontosabb ága a rekurzióelmélet mellett.
Új!!: Elsőrendű nyelv és Modellelmélet · Többet látni »
Nyelvbázis
A nyelvbázis fogalma elsősorban a formális nyelvekkel foglalkozó tudományok – tehát a matematika, a szemiotika, az analitikus filozófia és informatika – számára fontos.
Új!!: Elsőrendű nyelv és Nyelvbázis · Többet látni »
Partíció (halmazelmélet)
#ÁTIRÁNYÍTÁS Osztályfelbontás.
Új!!: Elsőrendű nyelv és Partíció (halmazelmélet) · Többet látni »
Prenex-formula
Egy formula prenex-alakúvá tételéhez először változó-tiszta alakra kell hozni a formulát.
Új!!: Elsőrendű nyelv és Prenex-formula · Többet látni »
Programozási nyelv
A programozási nyelv a számítástechnikában használt olyan, ember által is értelmezhető utasítások sorozata, amivel közvetlenül, vagy közvetve (például: gépi kódra fordítás után) közölhetjük a számítógéppel egy adott feladat elvégzésének módját.
Új!!: Elsőrendű nyelv és Programozási nyelv · Többet látni »
Rekurzió
Rekurzívan egymásba ágyazott ismétlődő kép A rekurzió a matematikában, valamint a számítástudományban egy olyan művelet, amely végrehajtásakor a saját maga által definiált műveletet, vagy műveletsort hajtja végre, ezáltal önmagát ismétli; a rekurzió ezáltal egy adott absztrakt objektum sokszorozása önhasonló módon.
Új!!: Elsőrendű nyelv és Rekurzió · Többet látni »
Reláció
A reláció dolgok viszonyát jelenti; és hasonló jelentéssel bír a matematikában is.
Új!!: Elsőrendű nyelv és Reláció · Többet látni »
Rendezett pár
A rendezett pár matematikai fogalom, két dolog együttesét (párosát) akkor nevezzük rendezett párnak, ha a két dolog sorrendje is lényeges, szemben a rendezetlen párral, amely esetén csak az elemek egy párba tartozása számít; de az nem, hogy melyik az első és melyik a második elem.
Új!!: Elsőrendű nyelv és Rendezett pár · Többet látni »
Rudolf Carnap
Rudolf Carnap (Ronsdorf, Németország, 1891. május 18. – Santa Monica, Kalifornia, 1970. szeptember 14.) német-amerikai filozófus.
Új!!: Elsőrendű nyelv és Rudolf Carnap · Többet látni »
Ruzsa Imre
Ruzsa Imre (Budapest, 1921. május 12. – Budapest, 2008. július 2.) Széchenyi-díjas filozófus.
Új!!: Elsőrendű nyelv és Ruzsa Imre · Többet látni »
Sorozat (matematika)
Formális definíció szerint véges sorozaton a természetes számok egy véges részhalmazán értelmezett, végtelen sorozaton (régiesen: haladványon) pedig a természetes számok halmazán (általában Z+-on) értelmezett függvényt értünk.
Új!!: Elsőrendű nyelv és Sorozat (matematika) · Többet látni »
Számítógéptudomány
#ÁTIRÁNYÍTÁS Számítástudomány.
Új!!: Elsőrendű nyelv és Számítógéptudomány · Többet látni »
Szimbólum
Az Európai Unió szimbóluma, a 12 ötágú csillag az óralap számaival azonos pozícióban A szimbólum a legáltalánosabb értelemben vett jel, amelyhez egy jelentés kapcsolódik.
Új!!: Elsőrendű nyelv és Szimbólum · Többet látni »
Természetes számok
Természetes számoknak nevezik.
Új!!: Elsőrendű nyelv és Természetes számok · Többet látni »
Unió (halmazelmélet)
Az unió a halmazelmélet egy művelete, ami két vagy több halmazból úgy képez egy új halmazt, hogy az így létrejövő halmaz az eredeti halmazok összes elemét tartalmazza és más elemet ne tartalmazzon.
Új!!: Elsőrendű nyelv és Unió (halmazelmélet) · Többet látni »
Végtelen
A végtelen jele különböző betűtípusokkal A végtelen kifejezés több elkülöníthető, a teológiában, filozófiában és a matematikában előforduló fogalomra utal.
Új!!: Elsőrendű nyelv és Végtelen · Többet látni »
Zárójel
A zárójel páros írásjel; elsősorban a kevésbé fontosnak tartott, illetve a főszövegtől más okból elkülönített, közbevetésszerű szövegrészek elkülönítésére szolgál.
Új!!: Elsőrendű nyelv és Zárójel · Többet látni »
1983
Nincs leírás.
Új!!: Elsőrendű nyelv és 1983 · Többet látni »
1988
Nincs leírás.
Új!!: Elsőrendű nyelv és 1988 · Többet látni »
1994
Nincs leírás.
Új!!: Elsőrendű nyelv és 1994 · Többet látni »
1999
Nincs leírás.
Új!!: Elsőrendű nyelv és 1999 · Többet látni »
2003
* A friss víz nemzetközi éve.
Új!!: Elsőrendű nyelv és 2003 · Többet látni »
