Tartalomjegyzék
44 kapcsolatok: Adat, Adattípus, Alapkifejezés, Algoritmus, Angol nyelv, Értelmező (informatika), Backtracking, Betűszó, Definíció, Egész számok, Elsőrendű logika, Erősen típusos programozási nyelv, Erlang (programozási nyelv), Francia nyelv, Helló, Világ!-program, Horn-klóz, Implikáció, Informatika, Kommunikáció, Konjunktív normálforma, Láncolt lista, Lebegőpontos számábrázolás, Lineáris és logikai következmény tétele, Logikai ekvivalencia, Magyarország, Matematikai logika, Mesterséges intelligencia, Metafora, Negáció, Nyelvész, Objektum (informatika), Operációs rendszer, PDF, PostScript, Programozási nyelv, Programozási nyelvek kategóriák szerint, Rendezett pár, Sorozat (matematika), Számítógép, Számítógépes nyelvészet, Univerzális kvantifikáció, Változó (matematika), Változó (számítástechnika), 2004.
Adat
Az adat az információ, a közlés, a hír, az értesülés, azaz elemi ismeret.
Megnézni Prolog és Adat
Adattípus
Python 3 adattípus-hierarchiája A számítástechnikában és a számítógépes programozásban az adattípus (vagy egyszerűen típus) adatértékek gyűjteménye vagy csoportosítása, amelyet általában a lehetséges értékek halmaza, az ezeken az értékeken végzett megengedett műveletek halmaza és/vagy ezen értékek megjelenítése határoz meg.
Megnézni Prolog és Adattípus
Alapkifejezés
Alapkifejezésnek (angolul ground expression) a matematikai logikában egy logikai nyelv azon kifejezéseit (termjeit és formuláit) nevezzük, melyek nem tartalmaznak logikai változókat.
Megnézni Prolog és Alapkifejezés
Algoritmus
Ibn Músza al-Hvárizmi abakusza, a „középkor számológépe” Az algoritmus szó és fogalom a matematikából ered, de a számítástechnikai kultúra elterjedése, népszerűsödése ültette át a köznyelvbe.
Megnézni Prolog és Algoritmus
Angol nyelv
Az angol nyelv (angolul: the English language) az indoeurópai nyelvcsalád nyugati germán nyelvek ágába tartozó nyelv.
Megnézni Prolog és Angol nyelv
Értelmező (informatika)
Az értelmező (angolul interpreter) olyan program (ritkábban beépített hardver), ami képes arra, hogy egy meghatározott nyelven megírt utasításokat bemenő adatként kezelje, és a futtató gép saját utasításkészletének megfelelő utasítások sorozatává alakítsa át, majd ezeket az utasítássorozatokat azonnal futtassa is.
Megnézni Prolog és Értelmező (informatika)
Backtracking
#ÁTIRÁNYÍTÁS Visszalépéses keresés.
Megnézni Prolog és Backtracking
Betűszó
A nyelvészetben a betűszó egyik típusa a mozaikszónak.
Megnézni Prolog és Betűszó
Definíció
Definíciónak nevezzük általában egy fogalomnak vagy egy jel (például egy nyelvi kifejezés) jelentésének meghatározását.
Megnézni Prolog és Definíció
Egész számok
Az egész számok szimbóluma Egész számoknak nevezzük a 0,1,2, … és −1,−2, … számokat.
Megnézni Prolog és Egész számok
Elsőrendű logika
Az elsőrendű logika a matematikai logikának az elsőrendű nyelvekkel foglalkozó ága.
Megnézni Prolog és Elsőrendű logika
Erősen típusos programozási nyelv
Erősen vagy szigorúan típusos programozási nyelveknek nevezzük azokat a nyelveket, melyekben minden kifejezés és részkifejezés típusa fordítási időben ismert.
Megnézni Prolog és Erősen típusos programozási nyelv
Erlang (programozási nyelv)
Az Erlang (Ericsson language) egy általános célú, párhuzamos, funkcionális, magas szintű programozási nyelv és egy szemétgyűjtő mechanizmussal rendelkező futtatókörnyezet.
Megnézni Prolog és Erlang (programozási nyelv)
Francia nyelv
A francia nyelv (franciául la langue française vagy le français) az indoeurópai nyelvcsalád újlatin nyelvcsaládjának tagja, mégpedig ennek nyugati ágához tartozó galloromán csoportbeli oïl nyelvek egyike.
Megnézni Prolog és Francia nyelv
Helló, Világ!-program
#ÁTIRÁNYÍTÁS „Helló, világ!” program.
Megnézni Prolog és Helló, Világ!-program
Horn-klóz
Horn-klóz a matematikai logikában, konkrétan a nulladrendű (vagy ítélet-) és az elsőrendű (vagy predikátum-) logikában olyan zárt klóz, azaz véges sok negálatlan vagy negált zárt atomi formulából (literálból) diszjunkció által összetett formula, mely legfeljebb egy negálatlan, azaz pozitív atomot tartalmaz; a többi tagja viszont negált.
Megnézni Prolog és Horn-klóz
Implikáció
B Az implikáció, kondicionális vagy szubjunkció logikai művelet, használjuk a matematikai logikában, informatikában.
Megnézni Prolog és Implikáció
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.
Megnézni Prolog és Informatika
Kommunikáció
A kommunikáció az információcsere folyamata általában egy közös jelrendszer segítségével.
Megnézni Prolog és Kommunikáció
Konjunktív normálforma
A konjunktív normálforma, röviden KNF a matematikai logika egy területén, a nulladrendű logikán belül definiálható fogalom, egy logikai műveletet leíró olyan ítéletlogikai formulát jelent, mely a művelet változóinak vagy negáltjainak diszjunkcióinak konjunkciója: \bigwedge_i \bigvee_j (\neg)x_.
Megnézni Prolog és Konjunktív normálforma
Láncolt lista
A láncolt lista egyike a számítógép-programozásban használatos legegyszerűbb adatszerkezeteknek.
Megnézni Prolog és Láncolt lista
Lebegőpontos számábrázolás
A számítástechnikában a lebegőpontos számábrázolás lehetővé teszi a valós számok kezelését véges tárhely esetében, széles skálát fedvén le a számhalmazon belül.
Megnézni Prolog és Lebegőpontos számábrázolás
Lineáris és logikai következmény tétele
A cx \leq \gamma logikai következménye a Qx \leq b-nek, ha az egyenlőtlenségrendszer minden megoldása az egyenlőtlenségnek is megoldása.
Megnézni Prolog és Lineáris és logikai következmény tétele
Logikai ekvivalencia
A matematikai logikában két formulát logikailag ekvivalensnek nevezünk, ha a bennük szereplő változók bármilyen kiértékelése esetén megegyezik a logikai értékük, azaz az igazságtáblázatuk azonos minden modellben.
Megnézni Prolog és Logikai ekvivalencia
Magyarország
Magyarország állam Közép-Európában, a Kárpát-medence közepén. 1989 óta parlamentáris köztársaság. Északról Szlovákia, északkeletről Ukrajna, keletről és délkeletről Románia, délről Szerbia, délnyugatról Horvátország és Szlovénia, nyugatról pedig Ausztria határolja.
Megnézni Prolog és Magyarország
Matematikai logika
A matematikai logika a matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat matematikai módszerekkel vizsgálja.
Megnézni Prolog és Matematikai logika
Mesterséges intelligencia
Mesterséges intelligenciának (MI vagy AI – az angol artificial intelligence-ből) egy gép, program vagy mesterségesen létrehozott tudat által megnyilvánuló intelligenciát nevezzük.
Megnézni Prolog és Mesterséges intelligencia
Metafora
A metafora (ógörög: μεταφορά – átvitel) egyike a költői képeknek; összevont, egybecsúsztatott hasonlat, két fogalom, tulajdonság tartalmi-hangulati hasonlóságán alapuló szókép (ebben különbözik a metonímiától, amely inkább kapcsolódáson alapul).
Megnézni Prolog és Metafora
Negáció
A negáció ("tagadás, visszautasítás") olyan logikai művelet, amely egy állítás igazságértékét az ellenkezőjére váltja.
Megnézni Prolog és Negáció
Nyelvész
#ÁTIRÁNYÍTÁS Nyelvészet.
Megnézni Prolog és Nyelvész
Objektum (informatika)
Az objektum informatikai értelmezése a valóság mintájára tulajdonságokkal és viselkedésekkel felruházott egység, amit programozási szempontból tekinthetünk a hagyományos változó kibővített változatának – mintha összecsomagolva tartalmazná az érintett valóságban megjelenő tárgy számítógépes leírásához szükséges változók és alprogramok (viselkedések) összességét.
Megnézni Prolog és Objektum (informatika)
Operációs rendszer
A CP/M az első tömegtermelésű operációs rendszerek között volt, 1974-től Operációs rendszernek (röviden OS az angol operating system alapján) nevezzük a számítástechnikában a számítógépeknek azt az alapprogramját, mely közvetlenül kezeli a hardvert, és egy egységes környezetet biztosít a számítógépen futtatandó alkalmazásoknak (például szövegszerkesztők, játékok stb.).
Megnézni Prolog és Operációs rendszer
#ÁTIRÁNYÍTÁS Portable Document Format.
Megnézni Prolog és PDF
PostScript
A PostScript egy gyakori, többé-kevésbé operációs rendszer független lapleíró nyelv, amelyben az elemek között vannak vonalak, karakterek, különböző alakzatok és ábrák is.
Megnézni Prolog és PostScript
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.
Megnézni Prolog és Programozási nyelv
Programozási nyelvek kategóriák szerint
A programozási nyelvek kategóriái Léteznek általános célú és szakterület-specifikus programozási nyelvek.
Megnézni Prolog és Programozási nyelvek kategóriák szerint
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.
Megnézni Prolog és Rendezett pár
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.
Megnézni Prolog és Sorozat (matematika)
Számítógép
30000 mechanikus alkatrészt tartalmaz, de mégis egy programozható digitális számítógép, amely lebegőpontos számítások végzésére is képes. A gépet, Zuse házával együtt, a Szövetségesek lebombázták a II.
Megnézni Prolog és Számítógép
Számítógépes nyelvészet
A számítógépes nyelvészet olyan műszaki tudomány, amely a természetes nyelvű szövegek számítógépes feldolgozásával foglalkozik, de minden olyan elméleti és gyakorlati tevékenység ide tartozik, amely kapcsolatban van a természetes nyelvekkel.
Megnézni Prolog és Számítógépes nyelvészet
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.
Megnézni Prolog és Univerzális kvantifikáció
Változó (matematika)
A számítógép-tudományban és a matematikában a változó egy mennyiség vagy egy objektum szimbolikus jelölése.
Megnézni Prolog és Változó (matematika)
Változó (számítástechnika)
A programozásban a változó egy absztrakt tárolóhely, amelyet egy szimbolikus névvel társítanak, amelyben bizonyos ismert vagy ismeretlen mennyiségű adat van tárolva.
Megnézni Prolog és Változó (számítástechnika)
2004
* A technológia nemzetközi éve.
Megnézni Prolog és 2004