„Modellelmélet” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló
kit érdekelnek a bevezető kurzusok? egyetemi előadások gyorsírott változata helyett legyen lexikonosabb
1. sor:
A '''modellelmélet''' a [[matematikai logika]] egyik legfontosabb ága a [[rekurzióelmélet]] mellett. A modellelméletben más matematikai diszciplínákhoz képest hangsúlyos szerephez jut az axiomatikus halmazelmélet, és szoros kapcsolatban van az egyetemes algebrával. Fontos különbséget tennünk véges és végtelen modell elméletmodellelmé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. Magasabb rendű vagy végtelen logikák esetében akadály, hogy általában nem teljesek.
 
Egy bevezető kurzuson az első megállapítások között hangzik el, hogy egy elmélet csak is akkor nevezhető konzisztensnek, ha van struktúrája, így egy formális nyelv modellje értelmet ad a vele megfogalmazott mondatoknak. Ha az L [[elsőrendű nyelv]]<!--miért csak a sajtkészítők?n-edrendűekre nem?--> és az '''A''' struktúra típusa megegyezik, akkor röviden azt mondjuk, hogy '''A''' egy L-struktúra. A [[Matematika|matematikában]] a modellelmélet az olyan klasszikus matematikai struktúrák tudománya, mint például a [[csoport]]ok vagy a [[Gráf|gráfok]].
 
== Alapfogalmak ==