This HTML5 document contains 13 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
n13http://www.math.bme.hu/algebra/oktanyag/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://www.math.bme.hu/~andaia/matfiz/
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Modellelmélet
rdfs:label
Modellelmélet
owl:sameAs
freebase:m.04_lr
dct:subject
n10:Modellelmélet n10:Matematikai_logika
dbo:wikiPageID
697041
dbo:wikiPageRevisionID
23190681
dbo:wikiPageExternalLink
n12:logic.pdf n13:modell.pdf
dbo:abstract
A modellelmélet a matematikai logika egyik legfontosabb ága a mellett. A modellelmélet terminológiája a halmazelmélet és az univerzális algebra általánosításán alapul. A formális nyelven megadott állításokat formuláknak nevezik, a formulák egy tetszőleges halmazát pedig (formális) elméleteknek. A formulák, illetve elméletek a megfelelő kontextusba helyezve kapnak jelentést; modellelméleti szempontból az ilyen kontextusok a . Tehát a struktúra mintegy „értelmet ad” a formuláknak. Fontos, hogy különbséget kell tennünk véges és végtelen modellelmélet között, mivel az egyik véges struktúrákra koncentrál, lényegesen eltér a problémák tanulmányozásában és az alkalmazott technikákban. Ezek a jelsorozatok a struktúrák bizonyos tulajdonságait írják le, nem magukat a struktúrákat. A modellelmélet lényegében a struktúrák, és formulák közti kapcsolatokat vizsgálja (a legtermészetesebb ilyen kapcsolat, hogy adott formula, formulahalmaz mely struktúrákban igaz); eközben az olyan klasszikus struktúrák tudományát általánosítja, mint például a csoportok vagy a gráfok. A modellelméletben nevezzük az olyan formális elméleteket (nyelveket), melyekhez található a nyelv axiómáit teljesítő struktúra. Ha az L elsőrendű nyelv és az A struktúra típusa megegyezik, akkor röviden azt mondjuk, hogy A egy L-struktúra. A magyarországi modellelméleti kutatások fontos előzmények után Makkai Mihály, későbbiekben pedig Sági Gábor munkássága és világra szóló eredményei révén teljesedtek ki.
prov:wasDerivedFrom
wikipedia-hu:Modellelmélet?oldid=23190681&ns=0
dbo:wikiPageLength
22284
foaf:isPrimaryTopicOf
wikipedia-hu:Modellelmélet
Subject Item
wikipedia-hu:Modellelmélet
foaf:primaryTopic
dbpedia-hu:Modellelmélet