https://enciklopedija.cc/index.php?action=history&feed=atom&title=Superkombinator 2026-09-02T02:54:38Z Povijest promjena ove stranice na wikiju MediaWiki 1.42.3 https://enciklopedija.cc/index.php?title=Superkombinator&diff=449698&oldid=prev 2022-03-25T03:48:02Z

<p>bnz</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="hr"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Starija inačica</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Inačica od 25. ožujak 2022. u 03:48</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Redak 1:</td> <td colspan="2" class="diff-lineno">Redak 1:</td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; 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 style="font-weight: bold; text-decoration: none;">&lt;!--'''Superkombinator'''--&gt;'''</del>Superkombinator''' je [[matematika|matematički]] [[matematički izraz|izraz]] koji je [[potpuno vezan]] i [[samosadržan]]. Može biti [[konstanta]] ili [[kombinator]] gdje su svi izrazi superkombinatori.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; 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>Superkombinator''' je [[matematika|matematički]] [[matematički izraz|izraz]] koji je [[potpuno vezan]] i [[samosadržan]]. Može biti [[konstanta]] ili [[kombinator]] gdje su svi izrazi superkombinatori.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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>Može biti definiran, u matematičkim terminima, na sljedeći način:</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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>Može biti definiran, u matematičkim terminima, na sljedeći način:</div></td></tr> </table>

WikiSysop https://enciklopedija.cc/index.php?title=Superkombinator&diff=49833&oldid=prev 2021-08-23T03:10:30Z

<p>Bot: Automatski unos stranica</p> <p><b>Nova stranica</b></p><div>&lt;!--&#039;&#039;&#039;Superkombinator&#039;&#039;&#039;--&gt;&#039;&#039;&#039;Superkombinator&#039;&#039;&#039; je [[matematika|matematički]] [[matematički izraz|izraz]] koji je [[potpuno vezan]] i [[samosadržan]]. Može biti [[konstanta]] ili [[kombinator]] gdje su svi izrazi superkombinatori.<br /> <br /> Može biti definiran, u matematičkim terminima, na sljedeći način:<br /> <br /> :Superkombinator $S mjesnosti n je [[lambda]] izraz oblika<br /> :λx&lt;sub&gt;1&lt;/sub&gt;.λx&lt;sub&gt;2&lt;/sub&gt;...λx&lt;sub&gt;n&lt;/sub&gt;.E<br /> :gdje &#039;&#039;E&#039;&#039; nije lambda apstrakcija, takva da:<br /> :# &#039;&#039;S&#039;&#039; nema slobodnih varijabli.<br /> :# bilo koja lambda apstrakcija u &#039;&#039;E&#039;&#039; je superkombinator.<br /> :# &#039;&#039;n&#039;&#039; ≥ 0, tako da lambde nisu zahtijevane.<br /> <br /> == Izvori ==<br /> *S. L. Peyton Jones, &#039;&#039;The Implementation of Functional Programming Languages&#039;&#039;. Prentice Hall, 1987.<br /> <br /> {{mrva-rač}}<br /> [[Kategorija:Formalni jezici]]</div>

WikiSysop