Wikipedia:Artykuły na Medal/zajawki/Teoria modeli
Wygląd
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/20/Omedal.svg/38px-Omedal.svg.png)
'''[[Teoria modeli]]''' (nazywana też czasem '''semantyką logiczną''') to dział [[Logika|logiki matematycznej]] zajmujący się badaniem własności [[Struktura matematyczna|modeli]] [[teoria (logika)|teorii aksjomatycznych]] i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z [[algebra|algebrą]] i [[teoria mnogości|teorią mnogości]], ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy. ''[[Teoria modeli|Czytaj więcej …]]''
Teoria modeli (nazywana też czasem semantyką logiczną) to dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z algebrą i teorią mnogości, ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy. Czytaj więcej …
Ostatnia ekspozycja: 2005-05-08
Poniżej w porządku chronologicznym widoczne są ekspozycje tej zajawki. Prosimy nie poprawiać ich z wyjątkiem aktualizacji linków po przenosinach artykułów.
2005-05-08
[edytuj | edytuj kod]Teoria modeli (nazywana też czasem semantyką logiczną) to dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z algebrą i teorią mnogości, ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy.