Gyorsabb hozzáférés, mint a böngésző!
26 kapcsolatok: Alan Turing, Alfred Tarski, Alonzo Church, Bertrand Russell, David Hilbert, Elsőrendű nyelv, Fogalomírás, Formális nyelv, Frege-kalkulus, Gottlob Frege, Halmaz (matematika), Jan Łukasiewicz, Kurt Gödel, Leon Henkin, Logikai művelet, Matematikai logika, Matematikai struktúra, Művelet, Modellelmélet, Modus ponens, Nyelvbázis, Paradigma, Predikátumkalkulus, Számosság, Szimbólum, Szintaxis (programozási nyelvek).
Alan Turing
Alan Mathison Turing (IPA) (Maida Vale, London, 1912. június 23. – Wilmslow, Cheshire, Anglia, 1954. június 7.) angol matematikus, a modern számítógép-tudomány egyik atyja.
Új!!: Elsőrendű logika és Alan Turing · 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ű logika é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ű logika és Alonzo Church · 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ű logika és Bertrand Russell · Többet látni »
David Hilbert
David Hilbert (Königsberg, Poroszország, 1862. január 23. – Göttingen, Németország, 1943. február 14.) német matematikus.
Új!!: Elsőrendű logika és David Hilbert · Többet látni »
Elsőrendű nyelv
Az elsőrendű nyelvek (vagy másképpen elsőrendű logikai nyelvek) fogalma a matematikai logika egyik legalapvetőbb fogalma.
Új!!: Elsőrendű logika és Elsőrendű nyelv · Többet látni »
Fogalomírás
„Fogalomírásomnak az élet nyelvéhez való viszonyát, úgy vélem, azzal világíthatom meg a legjobban, ha a mikroszkópnak a szemhez való viszonyával vetem össze.
Új!!: Elsőrendű logika és Fogalomírás · 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ű logika és Formális nyelv · Többet látni »
Frege-kalkulus
A Frege-kalkulus egy matematikai logikai kalkulus (levezetőrendszer), azaz egy alapjelekből, axiómákból, levezetési szabályokból álló formális nyelv vagy elmélet, melyet Gottlob Frege jénai matematikus alkotott meg 1879-ben megjelent, Fogalomírás (Begriffsschrift) c. könyvében.
Új!!: Elsőrendű logika és Frege-kalkulus · 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ű logika é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ű logika és Halmaz (matematika) · Többet látni »
Jan Łukasiewicz
Jan Łukasiewicz (Lemberg, 1878. december 21. – Dublin, 1956. február 13.) lengyel matematikus, logikus és filozófus, a Varsói Egyetem egykori rektora, a varsói és a lwówi matematikai iskolák meghatározó alakja.
Új!!: Elsőrendű logika és Jan Łukasiewicz · 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ű logika és Kurt Gödel · 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ű logika é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ű logika és Logikai művelet · 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ű logika é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ű logika é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ű logika és Művelet · Többet látni »
Modellelmélet
A modellelmélet a matematikai logika egyik legfontosabb ága a rekurzióelmélet mellett.
Új!!: Elsőrendű logika és Modellelmélet · Többet látni »
Modus ponens
A modus ponens, más néven a leválasztás szabálya a matematikában egy egyszerű bizonyítási módszer.
Új!!: Elsőrendű logika és Modus ponens · 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ű logika és Nyelvbázis · Többet látni »
Paradigma
A paradigma szó jellemzően négy fő jelentésben használatos.
Új!!: Elsőrendű logika és Paradigma · Többet látni »
Predikátumkalkulus
#ÁTIRÁNYÍTÁS Elsőrendű logika Kategória:Matematikai logika.
Új!!: Elsőrendű logika és Predikátumkalkulus · Többet látni »
Számosság
A halmazelméletben a számosság fogalma a „halmazok elemszámának” az általánosítása a véges (azaz véges számosságú) halmazokról a végtelen (azaz végtelen számosságú) halmazokra.
Új!!: Elsőrendű logika és Számosság · 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ű logika és Szimbólum · Többet látni »
Szintaxis (programozási nyelvek)
A számítástechnikában a számítógépes nyelv szintaxisa az a szabálykészlet, amely szimbólumokkal megadott kombinációkat határoz meg, amiket az adott nyelven helyesen felépített dokumentumnak vagy töredéknek tekinthetünk.
Új!!: Elsőrendű logika és Szintaxis (programozási nyelvek) · Többet látni »
