Ajutor
Categorie: Teoria modelelor
De la Wikipedia, enciclopedia liberă.
Salt la navigare
Salt la căutare
Pagini din categoria "Teoria modelului"
Această categorie conține următoarele 7 pagini, dintr-un total de 7.
Teoria modelului
ȘI
Echivalența elementară
G.
Joc de Ehrenfeucht-Fraïssé
M.
Model (logică matematică)
S.
Semantica modelului stabil
Structură (matematică)
U
Ultraprodus
Categorie
:
Logica matematică