A keresés eredménye
Ugrás a navigációhoz
Ugrás a kereséshez
- * a [[#Szemantika|szemantika]] vizsgálja, hogy ha már a szimbólumok értelmesek, akkor mi lehet, mi legye * ''Ruzsa Imre:'' '''''Logikai szintaxis és szemantika I.'''''. Akadémiai Kiadó, Bp., [[1988]]. {{ISBN|963-05-4720-1}}. …5 KB (903 szó) - 2023. április 24., 12:06
- …Gottlob Frege|Frege, Gottlob]]: ''[[Függvény és fogalom]]''. In: ''Logika, szemantika, matematika'', Gondolat, Bp., 1980.; 109-110. o.</ref> …5 KB (808 szó) - 2024. február 27., 15:01
- == Bizonyításelméleti szemantika == == Modellelméleti szemantika == …19 KB (3 469 szó) - 2024. december 30., 18:01
- …ból ismert lehetséges világok szemantikája alapján '''S4'''-re a következő szemantika áll a rendelkezésünkre: A lehetséges világok különböző tudásállapotoknak fe …'' kalkulusnak két (adekvát) szemantikája is lehetséges, az egyik a Kripke-szemantika, a másik pedig a nulladrendű intuicionista logika. …21 KB (3 483 szó) - 2020. április 11., 22:49
- …f>Lásd például: Gyuris Beáta – Varasdi Károly – Maleczki Márta: ''Formális szemantika''. Bölcsész Konzorcium, 2006.</ref> az [[analitikus filozófia]]<ref>Lásd pé …t is jelentenek a [[Modális logika#Lehetséges világok szemantikája|modális szemantika]] formulái. A legegyszerűbb ilyen ún. ''normál keretben'', a <math>\scripts …12 KB (2 228 szó) - 2021. február 13., 13:54
- …show_news.html?id=3777&issue_id=457 Szakadát István: Reláció, szintaktika, szemantika] {{Wayback|url=http://tmt.omikk.bme.hu/show_news.html?id=3777&issue_id=457 == Formális-axiomatikus elmélet és szemantika == …25 KB (4 494 szó) - 2025. február 12., 09:47
- …ülönböztetése nélkül nem lehet semmilyen grammatikára ellentmondásmentes [[szemantika|szemantikát]] építeni.'' …az a nyelvi elemek (logikai grammatikai elemek) jelentésével – a [[logikai szemantika]] foglalkozik. Egy nyelvi elemnek többféle szemantikai érték adható: …22 KB (3 779 szó) - 2019. június 23., 12:36
- …-séma]] segítségével, amely az Alfred Tarski által kidolgozott elsőrendű [[szemantika]] definíciója, egy tetszőleges mondat igazságértékét ezután induktív módon …jteményét, ''D'' -től ''D'' -ig terjedő függvények gyűjteményét stb. E két szemantika kapcsolata fontos téma a magasabb rendű logikában. …31 KB (5 591 szó) - 2025. február 27., 21:31
- …mális rendszert, szabályrendszert értünk, amely pusztán szintaktikailag, [[szemantika]] nélkül ad meg egy következményrelációt. A logikai kalkulus tehát egy axió …a logikai konstansok fogalmáról, hogy az „igaz” és „hamis” szavak, azaz a szemantika segítségére szorulnánk. …39 KB (6 368 szó) - 2024. június 1., 11:52
- Az „elsőrendű” kifejezés általában egy [[#Szemantika|szemantikai]], de [[#Szintaxis|szintaktikus]] úton definiált tulajdonságra * A logikai nyelvek kutatásának egy részterülete, a '''''[[#Szemantika|szemantika]]''''' foglalkozik azzal, hogy hogyan lehet/kell egy adott nyelvet értelmez …51 KB (8 568 szó) - 2023. november 24., 14:40
- [[Kategória:Szemantika]] …9 KB (1 547 szó) - 2022. június 30., 14:17
- …tmt.omikk.bme.hu/show_news.html?id=3777&issue_id=457 Reláció, szintaktika, szemantika] {{Wayback|url=http://tmt.omikk.bme.hu/show_news.html?id=3777&issue_id=457 …9 KB (1 638 szó) - 2024. október 30., 11:01
- …tumoknak nevezzük (idegen szóval atoms vagy urelements). Létük a [[logikai szemantika]] szempontjából fontos. …9 KB (1 620 szó) - 2025. február 28., 11:18
- Az igény hogy, a [[szemantika]] leegyszerűsítve a ”szavak jelentése” a számítógép számára érthető legyen …iztosítják az az adatok könnyű cseréjét és az URI segítségével minimális [[szemantika]]i tudást is kapcsolhatunk ezekhez az elemekhez. Nyilván nem tudhatom, hogy …33 KB (5 659 szó) - 2023. október 16., 15:40
- …lmélet]]i értelmezést [[Tarski]] adott, amikor kidolgozta a modellelméleti szemantika tudományát. A kvantorok bizonyításelméleti jellemzését Gentzen adta meg. A …12 KB (2 165 szó) - 2020. január 5., 14:09
- …zempontjából legnagyobb jelentőségű a természetes nyelvek kifejezéseinek [[szemantika]]i problémáival foglalkozó ''Jelentés és jelölet'' című. Ebben a művében vá …12 KB (2 154 szó) - 2023. május 28., 08:11
- …ódon járult hozzá a [[Formális logika|szimbolikus logikához]], a [[Logikai szemantika|logikai szemantikához]] és a [[Nyelvfilozófia|nyelvfilozófiához]] azáltal, …11 KB (1 834 szó) - 2025. január 21., 15:21
- …(angolul: '''fuzzy logic''') a [[többértékű logika|többértékű]] [[logikai szemantika|logikai szemantikák]] egyike. Tulajdonképpen fuzzy logika név alatt egy egé …14 KB (2 448 szó) - 2024. augusztus 24., 16:54
- …onklúzió modalizáltja is.<ref>{{opcit|n=Ruzsa Imre |c=Logikai szintaxis és szemantika |k=2 |f=3 |o=292}}</ref> …vetkezőképpen képzeli el:<ref>{{opcit|n=Ruzsa Imre |c=Logikai szintaxis és szemantika |k=2 |f=3 |o=290}}</ref> …111 KB (18 742 szó) - 2024. április 17., 14:57
- …n a(z emberi) nyelv- vagy gondolkodás egyes jelenségei leírásának, tehát [[szemantika]]i irányultságúnak tekinthetjük, bár léteznek másféle, alkalmazás jellegű… …tankönyvektől eltérően elsődlegesnek és sorrendben az elsőnek tekintjük a szemantika, mégpedig a természetes emberi nyelvi szemantikai interpretációt; és amint …30 KB (5 722 szó) - 2023. április 24., 12:05