Участник:StasFomin/Bookmarks/Algorithms — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Добавлена закладка Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018) — Кафедра дискретной математики)
(Добавлена закладка Hoare: Hoare Logic, Part I)
Строка 2: Строка 2:
 
=== 2020-07 ===
 
=== 2020-07 ===
  
 +
* 2020-07-08, 10:38:47: [https://softwarefoundations.cis.upenn.edu/plf-current/Hoare.html?fbclid=IwAR0bL5qyR-u0sVD_ztmgSGXZbOVGIdMaxTP7lOrlXGZsnoc56ebkTRNz-i0 Hoare: Hoare Logic, Part I]
 
* 2020-07-03, 10:27:44: [https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018) — Кафедра дискретной математики]
 
* 2020-07-03, 10:27:44: [https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018) — Кафедра дискретной математики]
 
*: <html><h1 class="title">Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018)</h1>      <div style="position:absolute;bottom:-3px;right:0px">      <!--noindex--> <div id="page-export-controls"> <a href="https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php?wd_export=Y" title="Версия для печати" id="page-export-controls-print" rel="nofollow" target="_blank">Печать</a> <a href="https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php?wd_export=Y&amp;doc=Y" title="Сохранить в MS Word (DOC)" id="page-export-controls-doc" rel="nofollow" target="_blank">DOC</a> <a href="https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php?wd_export=Y&amp;pdf=Y" title="Сохранить в PDF" id="page-export-controls-pdf" rel="nofollow" target="_blank">PDF</a> <div id="page-export-clear"></div> </div> <!--/noindex--> </div>  Лектор - доц. Д.В. Мусатов<br> <br> Спецкурс проходит <b>по четвергам в 16:00 в ШАД, Яндекс</b>. Начало - <b>13.09.2018</b>.<br>  <br> <ul> <li><a href="http://ru.discrete-mathematics.org/fall2018/elective/musatov/program.pdf">Программа курса</a></li></ul></html>
 
*: <html><h1 class="title">Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018)</h1>      <div style="position:absolute;bottom:-3px;right:0px">      <!--noindex--> <div id="page-export-controls"> <a href="https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php?wd_export=Y" title="Версия для печати" id="page-export-controls-print" rel="nofollow" target="_blank">Печать</a> <a href="https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php?wd_export=Y&amp;doc=Y" title="Сохранить в MS Word (DOC)" id="page-export-controls-doc" rel="nofollow" target="_blank">DOC</a> <a href="https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php?wd_export=Y&amp;pdf=Y" title="Сохранить в PDF" id="page-export-controls-pdf" rel="nofollow" target="_blank">PDF</a> <div id="page-export-clear"></div> </div> <!--/noindex--> </div>  Лектор - доц. Д.В. Мусатов<br> <br> Спецкурс проходит <b>по четвергам в 16:00 в ШАД, Яндекс</b>. Начало - <b>13.09.2018</b>.<br>  <br> <ul> <li><a href="http://ru.discrete-mathematics.org/fall2018/elective/musatov/program.pdf">Программа курса</a></li></ul></html>

Версия 07:38, 8 июля 2020

2020

2020-07