Verzia z 18:02, 10. jún 2008 upraviť Izmaelt (diskusia \| príspevky) 7 044 editací urpava ← Predchádzajúca úprava		Verzia z 20:54, 10. jún 2008 upraviť vrátiť Bronto (diskusia \| príspevky) 131 809 editací Bez shrnutí editace Ďalšia úprava →
Riadok 1: '''Model''' môže byť: '''Model''' je určitý [[systém]] fyzikálnych alebo ideálnych objektov spĺňajúcich základné vzťahy, vlastnosti a zákony systému, ktorý je jeho prototypom (vzorom, originálom) a na lepšie poznanie ktorého sa zvyčajne vyberá či konštruuje. V [[logická sémantika\|logickej sémantike]] sa definuje model takto: Máme danú určitú triedu [[výrok]]ov nejakého [[kalkul]]u. Ak nahradíme všetky konštanty v týchto výrakoch premennými zodpovedajúcich typov, dostaneme triedu [[propozicionálna funkcia\|propozicionálnych funkcií]]. Akákoľvek množina predmetov, ktorá bude spĺňať každú propozicionálnu funkciu z tejto triedy, nazýva sa modelom danej triedy výrokov a príslušného kalkulu. Pomocou pojmu modelu kalkulu sa zavádza pojem [[interpretácia\|interpretácie]]. všeobecne: určitý systém fyzikálnych alebo ideálnych objektov spĺňajúcich základné vzťahy, vlastnosti a zákony systému, ktorý je jeho prototypom (vzorom, originálom) a na lepšie poznanie ktorého sa zvyčajne vyberá či konštruuje, najmä zmenšenina alebo napodobenina niečoho ako vzor alebo istá vedecká konštrukcia, zjednodušená schéma nejakého javu predloha, vzor najmä v móde a spotrebnom tovare: originálna vec, výrobok (slúžiaci ako vzor, napodobnenie); (odlišný) typ (napr. auta) muž, ktorý predvádza (seba alebo modely odevov) na módnych prehliadkach, pozri [[model (prehliadky)]] v umení: vec alebo osoba ako predloha pre umelecké spracovanie v logickej sémantike: pozri [[model (logická sémantika)]] v informatike: vyjadrenie, ktoré zachováva z hľadiska svojho cieľa podstatné črty originálu v hutníctve: verná podoba odliatku (na vyhotovenie formy), pozri [[model (hutníctvo)]] ~~== Externé odkazy ==~~ {{filit\|fvm/model_semantika_logicka.html}} * {{filit\|fvm/model.html}} {{disambig}} ~~[[Kategória:Logika]]~~ [[en:Model]]

Model: Rozdiel medzi revíziami