http://lem12.uksw.edu.pl/api.php?hideminor=1&hidebots=1&days=30&limit=50&action=feedrecentchanges&feedformat=atom
Lem - Ostatnie zmiany [pl]
2024-03-29T14:09:58Z
Obserwuj najświeższe zmiany w tej wiki.
MediaWiki 1.23.8
http://lem12.uksw.edu.pl/index.php?title=%D0%93%D0%BE%D0%BB%D0%BE%D0%B2%D0%BD%D0%B0_%D1%81%D1%82%D0%BE%D1%80%D1%96%D0%BD%D0%BA%D0%B0&diff=2957&oldid=2950
Головна сторінка
2024-03-06T21:56:29Z
<p>Tłumaczenie Pytań</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 21:56, 6 mar 2024</td>
</tr><tr><td colspan="2" class="diff-lineno">Linia 3:</td>
<td colspan="2" class="diff-lineno">Linia 3:</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;"></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;"></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;"></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;"></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>Лотар  [[Коллатц]] (<small> у 1937 році</small>) мав рацію !</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"> </ins>Лотар  [[Коллатц]] (<small> у 1937 році</small>) мав рацію !</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;"></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;"></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>-------</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>-------</div></td></tr>
<tr><td colspan="2" class="diff-lineno">Linia 49:</td>
<td colspan="2" class="diff-lineno">Linia 49:</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># Придумати спосіб збирання та поширення знань. Чи це має бути щось на кшталт математично-алгоритмічної пошукової системи Google?</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># Придумати спосіб збирання та поширення знань. Чи це має бути щось на кшталт математично-алгоритмічної пошукової системи Google?</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>|}</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>|}</div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;">== Питання ==</ins></div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;">Про функціональне програмування і тому подібне.</ins></div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;"># Не розумію: мене переконують перейти на функціональне програмування. Що я від цього отримаю? Кажуть, у функціональному програмуванні відсутні побічні ефекти та операції присвоєння. І що з того? Чи існують інструменти для вираження властивостей, таких як: <br />  a) Обчислення буде закінчене, <br /> b) Набір визначень не містить протиріч, <br /> c) Результати будуть правильними,  itp.</ins></div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;"># У 1943 році Стівен Коул Кліні довів, що будь-яку рекурсивну функцію в розумінні Гьоделя-Гербранда можна виразити оператором мінімуму ефективного <math>\mu</math>. Чи це не означає, що в області натуральних (цілих) чисел функціональне програмування та програмування за допомогою операцій while i ін. визначають один і той самий набір обчислюваних функцій?</ins></div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;"># Чи можна у функціональному програмуванні описати синтаксис такого класу програм, що обчислення будуть закінчені? Для ітераційного програмування (тобто структурного) такий критерій існує.</ins></div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;"># Я прочитав такий вислів: ''Якби який-небуть тиран заборонив використання процедур та функцій, тоді вся інформатика зазнала б краху. Вони настільки важливі, що важко уявити програмування без використання процедур та функцій.'' Як це стосується теореми Кліні? тези Черча-Тюрінга?</ins></div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;"># Вартість? Розглянемо послідовність Фібоначчі. Яка найкраща вартість обчислення n-го виразу цієї послідовності?  </ins></div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;">Щодо керування пам'яттю (збір сміття, висячі референції).</ins></div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;"># Чи варто довільно вирішувати про відкидання інструкції, яка видаляє об'єкт?</ins></div></td></tr>
</table>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf
Plik:UlotkaLogikaAlgorytmiczna.pdf
2024-03-05T23:43:58Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> usunął stronę <a href="/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf" title="Plik:UlotkaLogikaAlgorytmiczna.pdf">Plik:UlotkaLogikaAlgorytmiczna.pdf</a> Usunięto poprzednie wersje 20240305234333!UlotkaLogikaAlgorytmiczna.pdf</p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf
Plik:UlotkaLogikaAlgorytmiczna.pdf
2024-03-05T23:43:33Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> przesłano nową wersję pliku „<a href="/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf" title="Plik:UlotkaLogikaAlgorytmiczna.pdf">Plik:UlotkaLogikaAlgorytmiczna.pdf</a>“</p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:UlotkaLoglan.pdf
Plik:UlotkaLoglan.pdf
2024-03-05T23:40:32Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> usunął stronę <a href="/wiki/Plik:UlotkaLoglan.pdf" title="Plik:UlotkaLoglan.pdf">Plik:UlotkaLoglan.pdf</a> Usunięto poprzednie wersje 20240305234018!UlotkaLoglan.pdf: Kopia już istniejącego pliku</p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:UlotkaLoglan.pdf
Plik:UlotkaLoglan.pdf
2024-03-05T23:40:18Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> przesłano nową wersję pliku „<a href="/wiki/Plik:UlotkaLoglan.pdf" title="Plik:UlotkaLoglan.pdf">Plik:UlotkaLoglan.pdf</a>“</p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:UlotkaLoglan.pdf
Plik:UlotkaLoglan.pdf
2024-03-05T23:36:49Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> przesłano nową wersję pliku „<a href="/wiki/Plik:UlotkaLoglan.pdf" title="Plik:UlotkaLoglan.pdf">Plik:UlotkaLoglan.pdf</a>“</p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf
Plik:UlotkaLogikaAlgorytmiczna.pdf
2024-03-05T23:35:55Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> usunął stronę <a href="/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf" title="Plik:UlotkaLogikaAlgorytmiczna.pdf">Plik:UlotkaLogikaAlgorytmiczna.pdf</a> Usunięto poprzednie wersje 20240305233542!UlotkaLogikaAlgorytmiczna.pdf</p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf
Plik:UlotkaLogikaAlgorytmiczna.pdf
2024-03-05T23:35:42Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> przesłano nową wersję pliku „<a href="/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf" title="Plik:UlotkaLogikaAlgorytmiczna.pdf">Plik:UlotkaLogikaAlgorytmiczna.pdf</a>“ Przywrócono wersję z 09:45, 5 sty 2016</p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf
Plik:UlotkaLogikaAlgorytmiczna.pdf
2024-03-05T23:32:45Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> usunął stronę <a href="/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf" title="Plik:UlotkaLogikaAlgorytmiczna.pdf">Plik:UlotkaLogikaAlgorytmiczna.pdf</a> Usunięto poprzednie wersje 20240305233228!UlotkaLogikaAlgorytmiczna.pdf</p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf
Plik:UlotkaLogikaAlgorytmiczna.pdf
2024-03-05T23:32:28Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> przesłano nową wersję pliku „<a href="/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf" title="Plik:UlotkaLogikaAlgorytmiczna.pdf">Plik:UlotkaLogikaAlgorytmiczna.pdf</a>“ Przywrócono wersję z 09:45, 5 sty 2016</p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf
Plik:UlotkaLogikaAlgorytmiczna.pdf
2024-03-05T23:31:00Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> przesłano nową wersję pliku „<a href="/wiki/Plik:UlotkaLogikaAlgorytmiczna.pdf" title="Plik:UlotkaLogikaAlgorytmiczna.pdf">Plik:UlotkaLogikaAlgorytmiczna.pdf</a>“</p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/index.php?title=%D0%93%D0%BE%D0%BB%D0%BE%D0%B2%D0%BD%D0%B0_%D1%81%D1%82%D0%BE%D1%80%D1%96%D0%BD%D0%BA%D0%B0&diff=2950&oldid=2944
Головна сторінка
2024-03-04T23:55:49Z
<p>Tłumaczenie 'Wizja przyszłości'</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 23:55, 4 mar 2024</td>
</tr><tr><td colspan='4' style='text-align: center;' class='diff-multi'>(Nie pokazano 5 pośrednich wersji utworzonych przez tego samego użytkownika)</td></tr><tr><td colspan="2" class="diff-lineno">Linia 3:</td>
<td colspan="2" class="diff-lineno">Linia 3:</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;"></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;"></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;"></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;"></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>Лотар  [[Коллатц]] (<small>у 1937 році</small>) мав рацію !</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>Лотар  [[Коллатц]] (<small> у 1937 році</small>) мав рацію !</div></td></tr>
<tr><td colspan="2"> </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>-------</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>-------</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;"></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;"></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>== <del class="diffchange diffchange-inline">Мапа </del>==</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">Карта </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>На цих сторінках ми представляємо чотири дослідницькі <del class="diffchange diffchange-inline">проекти</del>: <del class="diffchange diffchange-inline">Algorithmic Logic</del>(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012).</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">проєкти</ins>: <ins class="diffchange diffchange-inline">Алгоритмічна логіка</ins>(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012).</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>Перші два <del class="diffchange diffchange-inline">проекти </del>дали багато результатів і будуть використовуватися ще багато років.<br /></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">проєкти </ins>дали багато результатів і будуть використовуватися ще багато років.<br /></div></td></tr>
<tr><td colspan="2"> </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 colspan="2"> </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 colspan="2"> </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">{|  class="wikitable"</ins></div></td></tr>
<tr><td colspan="2"> </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">|- </ins></div></td></tr>
<tr><td colspan="2"> </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">|♥ Дослідницький проєкт '''"Алгоритмічна логіка"''' займається відкриттям законів [[рахунок програм |рахунку програм]] і знаходить застосування у верифікації програм, тобто у доведенні істинності таких властивостей програм, як [[коректність]], відсутність циклів тощо. Мова алгоритмічної логіки дозволяє не лише виражати властивості алгоритмів (програм), а й забезпечує аксіоматизацію багатьох структур даних. Це стосується як відомих і необхідних в алгоритміці структур даних (наприклад, стеки, бінарні дерева пошуку, купи і т. д.), так і багатьох структур, що вивчаються в математиці. Можна вважати, що математика займається дослідженням, чи є дана формула <math> \alpha </math> істинною у даній структурі <math> \mathbb{A} </math>. Однак більшість структур не можна описати за допомогою аксіом, записаних у логіці першого порядку! Прийняття мови алгоритмічної логіки (або коротше, алгоритмічної мови) дозволяє представити ...<br /></ins></div></td></tr>
<tr><td colspan="2"> </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">→ '''[[Алгоритмічна логіка]]''' <br /></ins></div></td></tr>
<tr><td colspan="2"> </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">→ '''[[Media:UlotkaLogikaAlgorytmiczna.pdf| Листівка з алгоритмічної логіки]]'''</ins></div></td></tr>
<tr><td colspan="2"> </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 colspan="2"> </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">|width="50% " | ♥ Дослідницький проєкт '''"Loglan'82"''' сприяв створенню однойменної об'єктно-орієнтованої та розподіленої мови програмування. Публікація мови та розповсюдження компілятора передували дослідженням різних проблем. </ins></div></td></tr>
<tr><td colspan="2"> </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">Наведемо кілька прикладів:<br /></ins></div></td></tr>
<tr><td colspan="2"> </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 colspan="2"> </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">• Вирішення проблеми безпечного та ефективного вивільнення надлишкових об'єктів. <br /> </ins></div></td></tr>
<tr><td colspan="2"> </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">• Вирішення проблеми (статичної) семантики, яка виникає, коли модулі класів можуть бути вкладеними (внутрішні класи) та розширеними (успадкування).<br /> </ins></div></td></tr>
<tr><td colspan="2"> </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">• Оригінальний протокол взаємодії об'єктів процесів, які програміст може виділити в комп'ютерній мережі (alien call protocol).<br /> </ins></div></td></tr>
<tr><td colspan="2"> </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">Мова Loglan була створена багато років до мов програмування C++ (1986) та Java (1995). Ці дві (та інші) мови програмування не узяли на озброєння рішень, відомих у Loglan протягом понад 30 років. Ознайомлення з Loglan може повністю змінити вашу думку про інженерію програмного забезпечення. Використовуючи знання та навички, які пропонує Loglan, ви можете значно підвищити свою кваліфікацію.  <br /></ins></div></td></tr>
<tr><td colspan="2"> </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">→ '''[[Lоglan'82]]'''<br /></ins></div></td></tr>
<tr><td colspan="2"> </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">→ '''[[Media:UlotkaLoglan.pdf|Листівка Loglan'82]]'''<br /></ins></div></td></tr>
<tr><td colspan="2"> </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 colspan="2"> </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">|-</ins></div></td></tr>
<tr><td colspan="2"> </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">|♥ ''LEM'' - це назва нового дослідницького проєкту.</ins></div></td></tr>
<tr><td colspan="2"> </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">Метою цього проєкту є вивчення можливості створення мови програмування з певними визначеними характеристиками (див. [[специфікація LEM]]).</ins></div></td></tr>
<tr><td colspan="2"> </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">Мова LEM має ґрунтуватися на досягненнях проекту Loglan'82 та використовувати найкращі аспекти об'єктно-орієнтованих мов програмування новіших поколінь: Java, C++, C#, Python і т.д.<br /></ins></div></td></tr>
<tr><td colspan="2"> </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">→ '''[[LЕM]]'''</ins></div></td></tr>
<tr><td colspan="2"> </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">|♥ Проєкт ''SpecVer'' має на меті підтвердити корисність застосування законів алгоритмічної логіки в інженерії програмного забезпечення. Мова LEM може виявитися корисною в роботі проєкту SpеcVer.<br /></ins></div></td></tr>
<tr><td colspan="2"> </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">→ '''[[SpеcVer]]'''</ins></div></td></tr>
<tr><td colspan="2"> </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">|}</ins></div></td></tr>
<tr><td colspan="2"> </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 colspan="2"> </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">{|  class="wikitable"</ins></div></td></tr>
<tr><td colspan="2"> </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">|- </ins></div></td></tr>
<tr><td colspan="2"> </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">|♥ Бібліотека класів і математичних знань, корисних для програмістів. <br /></ins></div></td></tr>
<tr><td colspan="2"> </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"> Візія майбутнього (ще один проєкт на роки роботи для багатьох людей).</ins></div></td></tr>
<tr><td colspan="2"> </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 colspan="2"> </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">Давайте почнемо з кількох питань: Чи можна вмістити математичні знання в комп'ютері? Чи можна вмістити інформатичні знання в комп'ютері? Дональд Кнут  70-х роках XX століття мав таку амбіцію, розпочинаючи створення своєї книги ''Мистецтво програмування''. Сьогодні, через майже 50 років, комп'ютерні знання зросли і здається неможливим, що їх можна вмістити в комп'ютері. Але, по-перше, комп'ютери тепер значно більші і швидші, ніж колись, а по-друге, існує комп'ютерна мережа (Здійснилася візія С. Лема з 50-х років). Це дозволяє нам перейти до створення ескізу концепції. <br /></ins></div></td></tr>
<tr><td colspan="2"> </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">Необхідно було б : </ins></div></td></tr>
<tr><td colspan="2"> </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"># Створити сховище знань, якими користуються розробники програмного забезпечення.  Тут будуть знаходитися бібліотеки класів і методів, а також знання про структури даних, в яких проводяться обчислення. Це стосується як структур реляційних (алгебраїчних),  що розглядаються математиками, так і структур даних, визначених і використовуваних інженерами програмного забезпечення.</ins></div></td></tr>
<tr><td colspan="2"> </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"># Створити мову, якою розробники програмного забезпечення будуть писати свої аргументи для (друкованих, розповсюджуваних, ...) повідомлень. Така мова повинна бути зрозумілою для людей і достатньо формалізованою, щоб була можливість комп'ютерного аналізу передставлених доказів.</ins></div></td></tr>
<tr><td colspan="2"> </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">#  Інструмент для перевірки достовірності доказів. Буде потрібна програма proof checker, який суттєво відрізнятиметься від Mizara та йому подібних, оскільки докази будуть записані в рахунку програм (тобто в системі AL), який багатший за рахунок предикатів.</ins></div></td></tr>
<tr><td colspan="2"> </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"># Придумати спосіб збирання та поширення знань. Чи це має бути щось на кшталт математично-алгоритмічної пошукової системи Google?</ins></div></td></tr>
<tr><td colspan="2"> </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">|}</ins></div></td></tr>
</table>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/index.php?title=%D0%93%D0%BE%D0%BB%D0%BE%D0%B2%D0%BD%D0%B0_%D1%81%D1%82%D0%BE%D1%80%D1%96%D0%BD%D0%BA%D0%B0&diff=2944&oldid=0
Головна сторінка
2024-03-03T17:52:41Z
<p>Pierwsze elementy strony</p>
<p><b>Nowa strona</b></p><div><p style="text-align: left;">[[Plik:22px-English_language.svg.png]]<br />
[[Main page]] &nbsp;&nbsp;&nbsp; [[Plik:Flag of Poland.svg.png]][[ Strona główna]] </p><br />
<br />
<br />
Лотар [[Коллатц]] (<small>у 1937 році</small>) мав рацію !<br />
-------<br />
<br />
== Мапа ==<br />
На цих сторінках ми представляємо чотири дослідницькі проекти: Algorithmic Logic(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012).<br />
Перші два проекти дали багато результатів і будуть використовуватися ще багато років.<br /></div>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/wiki/Plik:Ukrainian_language.png
Plik:Ukrainian language.png
2024-03-03T17:18:07Z
<p><a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a> przesłał <a href="/wiki/Plik:Ukrainian_language.png" title="Plik:Ukrainian language.png">Plik:Ukrainian language.png</a></p>
AnastasiiaSadlovska
http://lem12.uksw.edu.pl/index.php?title=Collatz&diff=2936&oldid=2932
Collatz
2024-03-01T08:39:35Z
<p><span dir="auto"><span class="autocomment">Formuła stopu</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:39, 1 mar 2024</td>
</tr><tr><td colspan='4' style='text-align: center;' class='diff-multi'>(Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika)</td></tr><tr><td colspan="2" class="diff-lineno">Linia 34:</td>
<td colspan="2" class="diff-lineno">Linia 34:</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;"></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;"></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>==Formuła stopu==</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>==Formuła stopu==</div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;">czyli</ins></div></td></tr>
<tr><td colspan="2"> </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 style="font-weight: bold; text-decoration: none;">=== Warunek konieczny i wystarczający  na to by obliczenie było skończone===</ins></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>Należy zatem stworzyć formułę <math>\theta</math> (wyrażenie logiczne) taką, że przyjmuje ona wrtośc prawda wtedy i tylko wtedy gdy obliczenie programu <math>Cl</math> jest skończone. Takich formuł jest wiele w języku urachunku programów, tj. logiki algorytmicznej.<br/></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>Należy zatem stworzyć formułę <math>\theta</math> (wyrażenie logiczne) taką, że przyjmuje ona wrtośc prawda wtedy i tylko wtedy gdy obliczenie programu <math>Cl</math> jest skończone. Takich formuł jest wiele w języku urachunku programów, tj. logiki algorytmicznej.<br/></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>,<math>\qquad \theta:\,\left\{\begin{array}{l}  \mathbf{while}\ n \neq 0 \ \mathbf{do} \\</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>,<math>\qquad \theta:\,\left\{\begin{array}{l}  \mathbf{while}\ n \neq 0 \ \mathbf{do} \\</div></td></tr>
</table>
AndrzejSalwicki
http://lem12.uksw.edu.pl/wiki/U%C5%BCytkownik:AnastasiiaSadlovska
Użytkownik:AnastasiiaSadlovska
2024-03-01T08:16:09Z
<p><a href="/index.php?title=U%C5%BCytkownik:AndrzejSalwicki&action=edit&redlink=1" class="new mw-userlink" title="Użytkownik:AndrzejSalwicki (strona nie istnieje)">AndrzejSalwicki</a> zmienił przynależność <a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska">Użytkownik:AnastasiiaSadlovska</a> do grup (brak → administrator oraz biurokrata) nowa koleżanka</p>
AndrzejSalwicki
http://lem12.uksw.edu.pl/index.php?title=U%C5%BCytkownik:AnastasiiaSadlovska&diff=2934&oldid=0
Użytkownik:AnastasiiaSadlovska
2024-02-29T13:27:17Z
<p>nowy biurokrata</p>
<p><b>Nowa strona</b></p><div>Anastasiia Sadlovska</div>
AndrzejSalwicki
http://lem12.uksw.edu.pl/wiki/U%C5%BCytkownik:AnastasiiaSadlovska
Użytkownik:AnastasiiaSadlovska
2024-02-28T12:02:10Z
<p><a href="/index.php?title=U%C5%BCytkownik:AndrzejSalwicki&action=edit&redlink=1" class="new mw-userlink" title="Użytkownik:AndrzejSalwicki (strona nie istnieje)">AndrzejSalwicki</a> utworzył konto użytkownika <a href="/wiki/U%C5%BCytkownik:AnastasiiaSadlovska" title="Użytkownik:AnastasiiaSadlovska" class="mw-userlink">AnastasiiaSadlovska</a></p>
AndrzejSalwicki