https://lem12.uksw.edu.pl/index.php?action=history&feed=atom&title=Projekt_LEM 2026-04-03T23:55:01Z Historia wersji tej strony wiki MediaWiki 1.23.8 https://lem12.uksw.edu.pl/index.php?title=Projekt_LEM&diff=19&oldid=prev 2013-02-03T00:29:09Z

<p></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 00:29, 3 lut 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>Projekt LEM ma wiele wspólnego z projektem SpecVer.</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>Projekt LEM ma wiele wspólnego z projektem SpecVer.</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>Wyraża <del class="diffchange diffchange-inline">sie </del>to między innymi poprzez</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>Wyraża <ins class="diffchange diffchange-inline">się </ins>to między innymi poprzez</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>* włączanie do programu modułów '''specification''', oprócz modułów interface.</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>* włączanie do programu modułów '''specification''', oprócz modułów <ins class="diffchange diffchange-inline">'''</ins>interface<ins class="diffchange diffchange-inline">'''</ins>.</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>* wykorzystywanie biblioteki wiedzy o danej strukturze danych, np. podczas opracowywania nowego algorytmu ''delete''w strukturze drzew BST&#160; może się okazać przydatna wiedza uzyskana wcześniej podczas analizy algorytmu ''insert''.</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>* wykorzystywanie biblioteki wiedzy o danej strukturze danych, np. podczas opracowywania<ins class="diffchange diffchange-inline">. </ins>nowego algorytmu ''delete'' w strukturze drzew BST<ins class="diffchange diffchange-inline">, </ins> może się okazać przydatna wiedza uzyskana wcześniej podczas analizy algorytmu ''insert''<ins class="diffchange diffchange-inline">. Biblioteka wiedzy może gromadzić lematy i twierdzenia</ins>.</div></td></tr> </table>

AndrzejSalwicki https://lem12.uksw.edu.pl/index.php?title=Projekt_LEM&diff=18&oldid=prev 2013-02-03T00:26:39Z

<p>Utworzył nową stronę „Projekt LEM ma wiele wspólnego z projektem SpecVer. Wyraża sie to między innymi poprzez * włączanie do programu modułów &#039;&#039;&#039;specification&#039;&#039;&#039;, oprócz modułów...”</p> <p><b>Nowa strona</b></p><div>Projekt LEM ma wiele wspólnego z projektem SpecVer.<br /> Wyraża sie to między innymi poprzez<br /> * włączanie do programu modułów '''specification''', oprócz modułów interface.<br /> * wykorzystywanie biblioteki wiedzy o danej strukturze danych, np. podczas opracowywania nowego algorytmu ''delete''w strukturze drzew BST może się okazać przydatna wiedza uzyskana wcześniej podczas analizy algorytmu ''insert''.</div>

AndrzejSalwicki