https://encyklopedie.soc.cas.cz/core/index.php?action=history&feed=atom&title=Formalizace
Formalizace - Historie editací
2026-04-21T21:25:08Z
Historie editací této stránky
MediaWiki 1.31.1
https://encyklopedie.soc.cas.cz/core/index.php?title=Formalizace&diff=5858&oldid=prev
Admin: finalizován tvar zápisu autorů hesel
2017-12-11T16:02:06Z
<p>finalizován tvar zápisu autorů hesel</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="cs">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Starší verze</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Verze z 11. 12. 2017, 16:02</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l10" >Řádek 10:</td>
<td colspan="2" class="diff-lineno">Řádek 10:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><span class="section_title">Literatura:</span> ''Berka, K.'' – ''Mleziva, E.'': Co je logika. Praha 1962; ''Church, A.'': Introduction to Mathematical Logic. Princeton, N.J. 1956; ''Kutschera, F. von'': Wissenschaftstheorie I., II. München 1972.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><span class="section_title">Literatura:</span> ''Berka, K.'' – ''Mleziva, E.'': Co je logika. Praha 1962; ''Church, A.'': Introduction to Mathematical Logic. Princeton, N.J. 1956; ''Kutschera, F. von'': Wissenschaftstheorie I., II. München 1972.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">-- </del>''[[:Kategorie:Aut: Čechák Vladimír|Vladimír Čechák]]''<br /></div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>''[[:Kategorie:Aut: Čechák Vladimír|Vladimír Čechák]]''<br /></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Aut: Čechák Vladimír]]</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Aut: Čechák Vladimír]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Metodologie/obecná metodologie a logika]]</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Metodologie/obecná metodologie a logika]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:VSgS]]</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:VSgS]]</div></td></tr>
</table>
Admin
https://encyklopedie.soc.cas.cz/core/index.php?title=Formalizace&diff=1090&oldid=prev
Admin: import na produkční server
2017-12-10T16:53:10Z
<p>import na produkční server</p>
<p><b>Nová stránka</b></p><div><span id="entry">formalizace</span> – (z lat forma = tvar, podoba) – tímto pojmem se v [[logika|logice]] rozumí výstavba formalizovaného jazyka, častější je ovšem volnější chápání ''f.'' jako vyjádření ve formálním jazyce. V prvním smyslu spočívá ''f.'' v těchto krocích: ''1.'' stanovení slovníku (proměnných, logických konstant, pomocných znaků); ''2.'' vymezení jednotlivých pojmů a vytvoření formulí; ''3.'' zavedení tzv. [[termín primitivní|primitivních termínů]] a ''axiómů''; ''4.'' příp. stanovení definičních a závěrových pravidel, která umožňují zavedení odvozených (definovaných) termínů a teorémů. Tím je vymezena syntaktická báze ''formalizovaného jazyka'', která je pak doplňována sémantickými pravidly, pomocí nichž se formalizovaný jazyk interpretuje, tj. stanovují se designáty nebo denotáty výrazům tohoto jazyka. ''F.'' ve volnějším smyslu bývá v s-gii spojována se zaváděním matem. modelů, resp. s převáděním spol. jevů na matem. veličiny a hledáním exaktně vyjádřených vztahů mezi nimi (viz [[exaktnost]]). Pokud jde o pouhý „překlad“ do formalizovaného jazyka, o jistý typ deskripce, bývá ''f.'' kritizována jako zbytečnost, příp. [[redukcionismus]].<br />
<br />
<div class="translations"><br />
<span lang="en">formalization</span><br />
<span lang="fr">formalisation</span><br />
<span lang="de">Formalisierung</span><br />
<span lang="it">formalizzazione</span><br />
</div><br />
<br />
<span class="section_title">Literatura:</span> ''Berka, K.'' – ''Mleziva, E.'': Co je logika. Praha 1962; ''Church, A.'': Introduction to Mathematical Logic. Princeton, N.J. 1956; ''Kutschera, F. von'': Wissenschaftstheorie I., II. München 1972.<br />
<br />
-- ''[[:Kategorie:Aut: Čechák Vladimír|Vladimír Čechák]]''<br /><br />
[[Kategorie:Aut: Čechák Vladimír]]<br />
[[Kategorie:Metodologie/obecná metodologie a logika]]<br />
[[Kategorie:VSgS]]</div>
Admin