Theoria de modellos

De Wikipedia, le encyclopedia libere
Saltar al navigation Saltar al recerca

In le mathematica, le theoria de modellos es le studio de (classes de) structuras mathematic como gruppos, corpores, graphos, o etiam universos del theoria de insimules, con le uso de instrumentos del logica mathematic. Un structura que da significantia al phrase de un linguage formal es appellate un modello pro le linguage. Si un modello pro un linguage satisface un phrase o theoria (insimul de phrases), illo es appellate un modello del phrase o theoria. Le theoria de modellos es fortemente ligate al algebra e al algebra universal.

Le theoria de modellos finite, que se concentra in structuras finite, diverge significativemente del studio de structuras infinite in le problemas studiate e le technicas usate. Le theoria de modellos in logicas de alte ordine o logicas infinitari es obstruite per le facto que le completitude non es valide in general pro iste logicas. Comocunque, un grande studio ha essite facite in ille linguages.

Commons-logo.svg
Wikimedia Commons ha files multimedia de: Theoria de modellos
Nota