teorie modelů
teorie modelů, log . 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.
teorie modelů, log . 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.
