Theoria de modellos

De Wikipedia, le encyclopedia libere

In le mathematica, le theoria de modellos[1] 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.

Referentias[modificar fonte]

  1. Derivation (in ordine alphabetic): (ca) Teoria de models || (de) Modelltheorie || (en) Model theory || (es) Teoría de modelos || (fr) Théorie des modèles || (it) Teoria dei modelli || (pt) Teoria dos modelos || (ro) || (ru) Теория моделей
Commons-logo.svg
Wikimedia Commons ha files multimedia de: Theoria de modellos
Nota