https://lem12.uksw.edu.pl/index.php?action=history&feed=atom&title=Proof-checker 2026-04-04T04:02:34Z Historia wersji tej strony wiki MediaWiki 1.23.8 https://lem12.uksw.edu.pl/index.php?title=Proof-checker&diff=515&oldid=prev 2013-03-14T08:32:41Z

<p>‎<span dir="auto"><span class="autocomment">Uwagi nt. proof-checkera.</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← poprzednia wersja</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Wersja z 08:32, 14 mar 2013</td> </tr><tr><td colspan="2" class="diff-lineno">Linia 1:</td> <td colspan="2" class="diff-lineno">Linia 1:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Uwagi nt. proof-checkera. ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Uwagi nt. proof-checkera. ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Proof-checker powinien być zdolny do analizy tekstów przygotowanych przez edytor dowodów.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Proof-checker powinien być zdolny do analizy tekstów przygotowanych przez edytor dowodów.</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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># Analizowany dowód składa się z formuł algorytmicznych oddzielanych tekstem.</div></td><td class='diff-marker'>+</td><td style="color:black; 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># Analizowany dowód składa się z formuł <ins class="diffchange diffchange-inline">'''</ins>algorytmicznych<ins class="diffchange diffchange-inline">''' </ins>oddzielanych tekstem. Format L&lt;sup&gt;A&lt;/sup&gt;T&lt;sub&gt;E&lt;/sub&gt;X-owy lub podobny?</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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>Format L&lt;sup&gt;A&lt;/sup&gt;T&lt;sub&gt;E&lt;/sub&gt;X-owy lub podobny?</div></td><td class='diff-marker'>+</td><td style="color:black; 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></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Tekst służy organizowaniu dowodu w strukturę drzewa.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div># Tekst służy organizowaniu dowodu w strukturę drzewa.</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; 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>#</div></td><td class='diff-marker'>+</td><td style="color:black; 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># <ins class="diffchange diffchange-inline">W odróżnieniu od Mizara powinniśmy zacząć pracę od zebrania zbioru twierdzeń. Zbiór ten powinien mieć strukturę, np. twierdzenia odnoszące się do struktury liczb naturalnych, twierdzenia o stosach, o drzewach binarnych poszukiwań, etc.</ins></div></td></tr> </table>

AndrzejSalwicki https://lem12.uksw.edu.pl/index.php?title=Proof-checker&diff=514&oldid=prev 2013-03-14T08:27:06Z

<p>Utworzył nową stronę „== Uwagi nt. proof-checkera. == # Proof-checker powinien być zdolny do analizy tekstów przygotowanych przez edytor dowodów. # Analizowany dowód składa się z fo...”</p> <p><b>Nowa strona</b></p><div>== Uwagi nt. proof-checkera. ==<br /> # Proof-checker powinien być zdolny do analizy tekstów przygotowanych przez edytor dowodów.<br /> # Analizowany dowód składa się z formuł algorytmicznych oddzielanych tekstem.<br /> Format L&lt;sup&gt;A&lt;/sup&gt;T&lt;sub&gt;E&lt;/sub&gt;X-owy lub podobny?<br /> # Tekst służy organizowaniu dowodu w strukturę drzewa.<br /> #</div>

AndrzejSalwicki