Вклад участника
Материал из DISCOPAL
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 11:35, 13 октября 2020 (разн. | история) . . (+1177) . . Coq
- 11:33, 13 октября 2020 (разн. | история) . . (+15) . . Coq
- 11:33, 13 октября 2020 (разн. | история) . . (+177) . . Н Coq (Новая страница: «<slideshow/> === Ссылки === * «[https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY Введение в верификацию пр…»)
- 11:31, 13 октября 2020 (разн. | история) . . (+405) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.)
- 11:10, 13 октября 2020 (разн. | история) . . (+86) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка The Science of Deep Specification)
- 11:06, 13 октября 2020 (разн. | история) . . (+237) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка engineering-sw-hw-model-checking-letures/Lecture1.pdf at master · vasil-sd/engineering-sw-hw-model-checking-letures)
- 11:00, 13 октября 2020 (разн. | история) . . (+173) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка «Введение в верификацию программ» - YouTube)
- 10:54, 13 октября 2020 (разн. | история) . . (+85) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка jsCoq – Use Coq in Your Browser)
- 23:45, 12 октября 2020 (разн. | история) . . (+262) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность, осень 2016)
- 23:40, 12 октября 2020 (разн. | история) . . (+192) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Введение в язык формальной верификации Coq, осень 2019)
- 23:35, 12 октября 2020 (разн. | история) . . (+172) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Алгоритмы: дополнительные главы, осень 2020)
- 23:33, 12 октября 2020 (разн. | история) . . (+141) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Fine-grained complexity, осень 2020)
- 23:33, 12 октября 2020 (разн. | история) . . (+235) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Эффективные алгоритмы и коммуникационная сложность, весна 2019)
- 23:32, 12 октября 2020 (разн. | история) . . (+169) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Вероятностные алгоритмы, весна 2020)
- 23:08, 12 октября 2020 (разн. | история) . . (+221) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Проблема останова лжеца Гёделя и брадобрея Кантора / Хабр)
- 22:01, 12 октября 2020 (разн. | история) . . (+306) . . Permission denied
- 21:59, 12 октября 2020 (разн. | история) . . (+10 737) . . Permission denied
- 20:58, 12 октября 2020 (разн. | история) . . (+547) . . Permission denied (→Теория вероятности)
- 20:54, 12 октября 2020 (разн. | история) . . (+64) . . Permission denied
- 20:51, 12 октября 2020 (разн. | история) . . (+1032) . . Permission denied (→Жадные алгоритмы)
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)