Malliteoria

Wikipedia
Loikkaa: valikkoon, hakuun

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.

Tämä tieteeseen liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.