Verze z 11. 11. 2006, 21:56 editovat Glivi (diskuse \| příspěvky) 3 556 editací dokončno ← Přejít na předchozí porovnání		Verze z 4. 12. 2006, 05:06 editovat zrušit editaci Dinybot (diskuse \| příspěvky) 42 548 editací m robot: stylistické, typografické a kódové korekce a náhrady přesměrování podle specifikace Přejít na další porovnání →
Řádek 1: '''Model''' (také '''struktura''') je [[matematika\|matematický]] pojem z oblasti [[matematická logika\|matematickologické]] sémantiky. Je to seskupení objektů, na němž jsou definovány nějaké vztahy (relace) a přiřazení ([[funkce]]) tak, že vytváří ~~"realizaci"~~„realizaci“ nějaké formální [[teorie]]. == Definice ==

Model (logika): Porovnání verzí