teorie modelů
Logika, teorie zabývající se studiem modelů axiomatických teorií, prolíná se s obecnou algebrou a obecnou teorií struktur. Je uplatňována v metateorii rozhodnutelnosti, v teorii her nebo při zkoumání základů geometrie.
Vytvořeno:
14. 3. 2000
Aktualizováno:
6. 10. 2006
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!