Ero sivun ”Malliteoria” versioiden välillä
Siirry navigaatioon
Siirry hakuun
| [arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
sisältö vastaamaan logiikan osa-aluetta |
p r2.7.1) (Botti lisäsi: ja:モデル理論 |
||
| Rivi 9: | Rivi 9: | ||
[[bg:Теория на моделите]] |
[[bg:Теория на моделите]] |
||
[[ca:Teoria de models]] |
[[ca:Teoria de models]] |
||
| ⚫ | |||
[[cs:Teorie modelů]] |
[[cs:Teorie modelů]] |
||
[[de:Modelltheorie]] |
[[de:Modelltheorie]] |
||
[[el:Θεωρία μοντέλων]] |
[[el:Θεωρία μοντέλων]] |
||
[[en:Model theory]] |
[[en:Model theory]] |
||
| ⚫ | |||
[[es:Teoría de modelos]] |
[[es:Teoría de modelos]] |
||
| ⚫ | |||
[[fa:نظریه مدل]] |
[[fa:نظریه مدل]] |
||
[[fr:Théorie des modèles]] |
[[fr:Théorie des modèles]] |
||
| Rivi 21: | Rivi 20: | ||
[[ia:Theoria de modellos]] |
[[ia:Theoria de modellos]] |
||
[[it:Teoria dei modelli]] |
[[it:Teoria dei modelli]] |
||
| ⚫ | |||
[[nl:Modeltheorie]] |
[[nl:Modeltheorie]] |
||
[[ja:モデル理論]] |
|||
[[pms:Teorìa dij modej]] |
[[pms:Teorìa dij modej]] |
||
[[pl:Teoria modeli]] |
[[pl:Teoria modeli]] |
||
Versio 31. lokakuuta 2011 kello 17.21
Malliteoria on logiikan osa-alue, joka tutkii matemaattisia struktuureita kuten ryhmiä, graafeja ja kuntia. Malli eli struktuuri koostuu perusjoukosta ja tämän alkioiden välisiä suhteita kuvaavista funktioista.