Wikipedia:Artykuły na Medal/zajawki/Teoria modeli

Zajawka artykułu Teoria modeli

'''[[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

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.