http://lem12.uksw.edu.pl/index.php?title=Proof-checker&feed=atom&action=history
Proof-checker - Historia wersji
2024-03-28T14:20:15Z
Historia wersji tej strony wiki
MediaWiki 1.23.8
http://lem12.uksw.edu.pl/index.php?title=Proof-checker&diff=515&oldid=prev
AndrzejSalwicki: /* Uwagi nt. proof-checkera. */
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'> </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'> </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'> </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'> </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<sup>A</sup>T<sub>E</sub>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<sup>A</sup>T<sub>E</sub>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'> </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'> </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
http://lem12.uksw.edu.pl/index.php?title=Proof-checker&diff=514&oldid=prev
AndrzejSalwicki: 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...”
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<sup>A</sup>T<sub>E</sub>X-owy lub podobny?<br />
# Tekst służy organizowaniu dowodu w strukturę drzewa.<br />
#</div>
AndrzejSalwicki