Вклад участника
Материал из DISCOPAL
(новейшие | старейшие) Просмотреть (250 более новых | 250 более старых) (20 | 50 | 100 | 250 | 500)
- 12:32, 16 декабря 2020 (разн. | история) . . (+23) . . Permission denied (→dumprog-3-ball)
- 12:31, 16 декабря 2020 (разн. | история) . . (+24) . . Permission denied (→dumprog-3-ball)
- 12:30, 16 декабря 2020 (разн. | история) . . (+61) . . Permission denied
- 12:29, 16 декабря 2020 (разн. | история) . . (-64) . . Permission denied (→dumprog-3-ball)
- 12:27, 16 декабря 2020 (разн. | история) . . (-84) . . Permission denied (→dumprog-3-ball)
- 12:27, 16 декабря 2020 (разн. | история) . . (+15) . . Permission denied (→dumprog-3-ball)
- 12:26, 16 декабря 2020 (разн. | история) . . (+8) . . Permission denied (→dumprog-3-ball)
- 12:24, 16 декабря 2020 (разн. | история) . . (0) . . Н Файл:Nopython-solution.svg (текущая)
- 12:24, 16 декабря 2020 (разн. | история) . . (+37) . . Н Шаблон:Nps (Новая страница: «* 48px») (текущая)
- 12:23, 16 декабря 2020 (разн. | история) . . (+17) . . Permission denied (→dumprog-3-ball)
- 12:20, 16 декабря 2020 (разн. | история) . . (+24) . . Permission denied (→dumprog-3-ball)
- 12:19, 16 декабря 2020 (разн. | история) . . (+24) . . Permission denied (→dumprog-3-ball)
- 12:18, 16 декабря 2020 (разн. | история) . . (+2) . . Шаблон:Python-solution (текущая)
- 12:17, 16 декабря 2020 (разн. | история) . . (+19) . . Н Шаблон:Ps (Новая страница: «{{python-solution}}») (текущая)
- 12:16, 16 декабря 2020 (разн. | история) . . (-13) . . Permission denied (→dumprog-3-ball)
- 12:09, 16 декабря 2020 (разн. | история) . . (0) . . Шаблон:Python-solution
- 12:08, 16 декабря 2020 (разн. | история) . . (0) . . Н Файл:Python-logo-notext.svg (текущая)
- 12:08, 16 декабря 2020 (разн. | история) . . (+36) . . Н Шаблон:Python-solution (Новая страница: «64px»)
- 12:06, 16 декабря 2020 (разн. | история) . . (+9) . . Permission denied (→dumprog-3-ball)
- 12:06, 16 декабря 2020 (разн. | история) . . (+88) . . Permission denied (→dumprog-3-ball)
- 18:12, 15 декабря 2020 (разн. | история) . . (+342) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Как попадает товар в магазины «Леруа Мерлен» с точки зрения математики заказа / Блог компании Леруа Мерлен / Хабр)
- 18:09, 15 декабря 2020 (разн. | история) . . (+237) . . Участник:StasFomin/Bookmarks/SeminarAssembler (Добавлена закладка Видео трансляция с OvenMediaEngine, до свидания nginx-rtmp-module / Хабр)
- 18:09, 15 декабря 2020 (разн. | история) . . (+237) . . Участник:StasFomin/Bookmarks/0x1 (Добавлена закладка Видео трансляция с OvenMediaEngine, до свидания nginx-rtmp-module / Хабр)
- 12:26, 15 декабря 2020 (разн. | история) . . (+76) . . Permission denied (→dumprog-3-ball)
- 12:07, 15 декабря 2020 (разн. | история) . . (+339) . . Permission denied (→Динамическое программирование)
- 12:04, 15 декабря 2020 (разн. | история) . . (+451) . . Permission denied
- 09:02, 15 декабря 2020 (разн. | история) . . (+76) . . Permission denied (→Динамическое программирование)
- 08:59, 15 декабря 2020 (разн. | история) . . (+75) . . Permission denied
- 01:39, 15 декабря 2020 (разн. | история) . . (+94) . . Участник:StasFomin/Bookmarks/Home/Appartment (Добавлена закладка Пить можно)
- 01:05, 15 декабря 2020 (разн. | история) . . (+147) . . Участник:StasFomin/Bookmarks/Home/Appartment (Добавлена закладка webp (Изображение WEBP, 1600 × 900 пикселов))
- 01:00, 14 декабря 2020 (разн. | история) . . (+1094) . . Участник:StasFomin/Bookmarks/Home/Appartment (Добавлена закладка РАФИНИРОВАННЫЕ УГЛЕВОДЫ vs ЦЕЛЬНОЗЕРНОВЫЕ: znatok_ne — ЖЖ)
- 22:11, 13 декабря 2020 (разн. | история) . . (+60) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка kopy - IEfQ9)
- 08:47, 9 декабря 2020 (разн. | история) . . (+291) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Monkey Patching в Python: объяснение с примерами - Еще один блог веб-разработчика)
- 16:04, 2 декабря 2020 (разн. | история) . . (0) . . Permission denied
- 12:39, 2 декабря 2020 (разн. | история) . . (+55) . . Blog:Advanced Algorithms/2020-12-01 Feedback (текущая)
- 12:32, 2 декабря 2020 (разн. | история) . . (-1) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 12:31, 2 декабря 2020 (разн. | история) . . (+2) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 12:31, 2 декабря 2020 (разн. | история) . . (-2) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 12:31, 2 декабря 2020 (разн. | история) . . (+50) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 12:14, 2 декабря 2020 (разн. | история) . . (0) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 12:13, 2 декабря 2020 (разн. | история) . . (+73) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 12:13, 2 декабря 2020 (разн. | история) . . (0) . . Н Файл:2020-12-01 Feedback 2020-12-02 15-13-15 image0.png (MsUpload) (текущая)
- 11:50, 2 декабря 2020 (разн. | история) . . (-75) . . Permission denied (→Жадные алгоритмы)
- 11:49, 2 декабря 2020 (разн. | история) . . (+76) . . Permission denied (→Жадные алгоритмы)
- 11:46, 2 декабря 2020 (разн. | история) . . (+39) . . Permission denied
- 11:29, 2 декабря 2020 (разн. | история) . . (+194) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 11:27, 2 декабря 2020 (разн. | история) . . (+218) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 11:21, 2 декабря 2020 (разн. | история) . . (+92) . . Permission denied (→dynprog-1-ball)
- 11:15, 2 декабря 2020 (разн. | история) . . (+156) . . Permission denied (→dynprog-1-ball)
- 11:13, 2 декабря 2020 (разн. | история) . . (+345) . . Permission denied (→dynprog-2-ball)
- 11:02, 2 декабря 2020 (разн. | история) . . (+87) . . Permission denied
- 10:58, 2 декабря 2020 (разн. | история) . . (+495) . . Permission denied (→dumprog-3-ball)
- 10:10, 2 декабря 2020 (разн. | история) . . (-254) . . Permission denied (→dumprog-3-ball)
- 10:06, 2 декабря 2020 (разн. | история) . . (+91) . . Permission denied
- 09:49, 2 декабря 2020 (разн. | история) . . (+72) . . Permission denied (→Сортировки)
- 09:47, 2 декабря 2020 (разн. | история) . . (+481) . . Permission denied (→Сортировки)
- 09:29, 2 декабря 2020 (разн. | история) . . (+245) . . Permission denied (→Теория чисел)
- 09:17, 2 декабря 2020 (разн. | история) . . (+84) . . Permission denied (→Теория чисел)
- 07:56, 2 декабря 2020 (разн. | история) . . (+27) . . Permission denied (→Теория чисел)
- 23:43, 1 декабря 2020 (разн. | история) . . (+166) . . Permission denied (→Графы)
- 22:43, 1 декабря 2020 (разн. | история) . . (+784) . . Permission denied (→Теория вероятности)
- 22:39, 1 декабря 2020 (разн. | история) . . (+33) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 22:37, 1 декабря 2020 (разн. | история) . . (+81) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 22:33, 1 декабря 2020 (разн. | история) . . (+87) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 22:29, 1 декабря 2020 (разн. | история) . . (-32) . . Permission denied (Массовая правка: удаление Категория:Problem)
- 22:29, 1 декабря 2020 (разн. | история) . . (-32) . . Permission denied (Массовая правка: удаление Категория:Problem)
- 22:29, 1 декабря 2020 (разн. | история) . . (-32) . . Permission denied (Массовая правка: удаление Категория:Problem)
- 22:29, 1 декабря 2020 (разн. | история) . . (-32) . . Permission denied (Массовая правка: удаление Категория:Problem)
- 22:29, 1 декабря 2020 (разн. | история) . . (-32) . . Permission denied (Массовая правка: удаление Категория:Problem)
- 22:29, 1 декабря 2020 (разн. | история) . . (-32) . . Permission denied (Массовая правка: удаление Категория:Problem)
- 22:29, 1 декабря 2020 (разн. | история) . . (-32) . . Permission denied (Массовая правка: удаление Категория:Problem)
- 22:29, 1 декабря 2020 (разн. | история) . . (-32) . . Permission denied (Массовая правка: удаление Категория:Problem)
- 22:29, 1 декабря 2020 (разн. | история) . . (-32) . . Permission denied (Массовая правка: удаление Категория:Problem)
- 22:29, 1 декабря 2020 (разн. | история) . . (+101) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 22:19, 1 декабря 2020 (разн. | история) . . (-50) . . Курс лекций «Эффективные алгоритмы»
- 22:18, 1 декабря 2020 (разн. | история) . . (+8) . . Курс лекций «Эффективные алгоритмы»
- 22:15, 1 декабря 2020 (разн. | история) . . (+176) . . Blog:Advanced Algorithms/2020-12-01 Feedback
- 22:05, 1 декабря 2020 (разн. | история) . . (+372) . . Н Blog:Advanced Algorithms/2020-12-01 Feedback (Новая страница: «Проблемы * Трудно определимый код (Rusal) ** Участник:Rusal/Bird-planet ** Участник:Rusal/BCAKE * Завис…»)
- 21:55, 1 декабря 2020 (разн. | история) . . (+321) . . Н Advanced Algorithms/2020-12-01 Feedback (Новая страница: «Проблемы * Трудно определимый код (Rusal) ** Участник:Rusal/Bird-planet ** Участник:Rusal/BCAKE * Завис…») (текущая)
- 21:44, 1 декабря 2020 (разн. | история) . . (+75) . . Permission denied (→Динамическое программирование)
- 21:42, 1 декабря 2020 (разн. | история) . . (+427) . . Permission denied (→Динамическое программирование)
- 21:41, 1 декабря 2020 (разн. | история) . . (+159) . . Permission denied
- 21:38, 1 декабря 2020 (разн. | история) . . (+36) . . Permission denied
- 21:37, 1 декабря 2020 (разн. | история) . . (+24) . . Permission denied
- 21:22, 1 декабря 2020 (разн. | история) . . (+482) . . Permission denied
- 21:21, 1 декабря 2020 (разн. | история) . . (+297) . . Permission denied
- 21:17, 1 декабря 2020 (разн. | история) . . (+23) . . Permission denied
- 21:10, 1 декабря 2020 (разн. | история) . . (-32) . . Permission denied
- 21:00, 1 декабря 2020 (разн. | история) . . (-180) . . Permission denied
- 20:57, 1 декабря 2020 (разн. | история) . . (-318) . . Permission denied
- 20:49, 1 декабря 2020 (разн. | история) . . (+67) . . Permission denied
- 20:42, 1 декабря 2020 (разн. | история) . . (+76) . . Permission denied
- 19:40, 1 декабря 2020 (разн. | история) . . (+134) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка BI 3 (45) 2018 RU.indd - 2.pdf)
- 11:48, 30 ноября 2020 (разн. | история) . . (+2660) . . Участник:StasFomin/Bookmarks/Manga (Добавлена закладка Цезий)
- 00:44, 26 ноября 2020 (разн. | история) . . (+100) . . Участник:StasFomin/Bookmarks/Crypto (Добавлена закладка The HoTT Book | Homotopy Type Theory)
- 00:42, 26 ноября 2020 (разн. | история) . . (+249) . . Участник:StasFomin/Bookmarks/Crypto (Добавлена закладка Нерешенные проблемы шардинга в блокчейне / Блог компании Near / Хабр)
- 23:18, 25 ноября 2020 (разн. | история) . . (+319) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Заметки Датасатаниста: что делать, если перед вами оказалась NP-полная задача / Блог компании RUVDS.com / Хабр)
- 23:15, 25 ноября 2020 (разн. | история) . . (+181) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Что такое логическое программирование и зачем оно нам нужно / Хабр)
- 22:52, 25 ноября 2020 (разн. | история) . . (+89) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка ITMO Smart Waste Management system)
- 22:25, 25 ноября 2020 (разн. | история) . . (+108) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Circulation problem - Wikipedia)
- 22:24, 25 ноября 2020 (разн. | история) . . (+208) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка gboeing/osmnx: OSMnx: Python for street networks. Retrieve, model, analyze, and visualize street networks and other spatial data from OpenStreetMap.)
- 22:24, 25 ноября 2020 (разн. | история) . . (+220) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка OSMnx: New methods for acquiring, constructing, analyzing, and visualizing complex street networks - ScienceDirect)
- 06:41, 17 ноября 2020 (разн. | история) . . (+223) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка A method for designing minimum‐cost multisource multisink network layouts - Heijnen - 2020 - Systems Engineering - Wiley Online Library)
- 06:40, 17 ноября 2020 (разн. | история) . . (+260) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка algorithms - Minimizing transportation cost through a network, multiple source/sinks - Computer Science Stack Exchange)
- 05:55, 17 ноября 2020 (разн. | история) . . (+224) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка (1) (PDF) The Logistic Model for Decision Making in Waste Management)
- 09:03, 11 ноября 2020 (разн. | история) . . (+123) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка watermarking / dm_service_linux · GitLab)
- 06:03, 11 ноября 2020 (разн. | история) . . (+93) . . Участник:StasFomin/Bookmarks/Crypto (Добавлена закладка OS DAY_day 2 - YouTube)
- 06:01, 11 ноября 2020 (разн. | история) . . (+233) . . Участник:StasFomin/Bookmarks/Crypto (Добавлена закладка Consistency, availability, and partition tolerance in blockchain: a survey on the consensus mechanism over peer-to-peer networking | SpringerLink)
- 08:46, 10 ноября 2020 (разн. | история) . . (+51) . . Coq (текущая)
- 08:44, 10 ноября 2020 (разн. | история) . . (+56) . . Coq
- 06:51, 10 ноября 2020 (разн. | история) . . (+180) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка manyfaced-honeypot/migration.py at master · Zloool/manyfaced-honeypot)
- 23:19, 9 ноября 2020 (разн. | история) . . (+177) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка PPT - Private Information Retrieval PowerPoint Presentation, free download - ID:5595087)
- 08:55, 7 ноября 2020 (разн. | история) . . (+160) . . Участник:StasFomin/Bookmarks/Crypto (Добавлена закладка From Set Theory to Type Theory | The n-Category Café)
- 08:54, 7 ноября 2020 (разн. | история) . . (+109) . . Участник:StasFomin/Bookmarks/Crypto (Добавлена закладка Learning Lean)
- 01:03, 5 ноября 2020 (разн. | история) . . (+946) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка City-of-Helsinki/django-orghierarchy: Reusable Django application for hierarchical organizations)
- 00:08, 5 ноября 2020 (разн. | история) . . (+237) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Храним секреты в Linux: JWT аутентификация в CLI приложении на Python / Хабр)
- 23:23, 4 ноября 2020 (разн. | история) . . (+98) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Django Packages : Permissions)
- 23:25, 3 ноября 2020 (разн. | история) . . (+1675) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка man dl_iterate_phdr (3): обход списка общих объектов)
- 23:04, 3 ноября 2020 (разн. | история) . . (+268) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка c++ - How to list on-the-fly all the functions/symbols available in C code on a Linux architecture? - Stack Overflow)
- 21:47, 3 ноября 2020 (разн. | история) . . (+76) . . Участник:StasFomin/Bookmarks/Home/Auto (Добавлена закладка Корзина) (текущая)
- 21:47, 3 ноября 2020 (разн. | история) . . (+453) . . Участник:StasFomin/Bookmarks/Home/Auto (Добавлена закладка OUC644M-KEY-N Delica D5 - Google Search)
- 21:04, 3 ноября 2020 (разн. | история) . . (+223) . . Участник:StasFomin/Bookmarks/Home/Auto (Добавлена закладка (Used)Keyless Entry Remote Control Key MITSUBISHI Delica D5 2007 DBA-CV5W - BE FORWARD Auto Parts)
- 21:03, 3 ноября 2020 (разн. | история) . . (+138) . . Участник:StasFomin/Bookmarks/Home/Auto (Добавлена закладка View Cart - BE FORWARD Auto Parts)
- 23:24, 2 ноября 2020 (разн. | история) . . (+322) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка infi.clickhouse_orm/schema_migrations.md at ffd9bab0ef58c5670f3a39c978525f5f32a00742 · Infinidat/infi.clickhouse_orm)
- 23:22, 2 ноября 2020 (разн. | история) . . (+130) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка egor-sergeev/log-server-profiles)
- 21:10, 28 октября 2020 (разн. | история) . . (+646) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка pygtail · PyPI)
- 21:09, 28 октября 2020 (разн. | история) . . (+965) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Python Parse log file in realtime, reload when the log rotates - Stack Overflow)
- 20:11, 28 октября 2020 (разн. | история) . . (+209) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Uchi/event_data_parser.py at c955d157c1ad85db19cbbece9e61cb8924ad4e40 · Rune28/Uchi)
- 20:08, 28 октября 2020 (разн. | история) . . (+124) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Search · clickhouse_driver)
- 20:04, 28 октября 2020 (разн. | история) . . (+246) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка clickhouse-pool/pool.py at ac438b1f331a166be98faee2ab081e4afc7c59bc · ericmccarthy7/clickhouse-pool)
- 16:53, 28 октября 2020 (разн. | история) . . (+144) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка recoilme/pudge: Fast and simple key/value store written using Go's standard library)
- 15:39, 28 октября 2020 (разн. | история) . . (+225) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Использование ClickHouse в VK, или Зачем мы написали KittenHouse / Блог компании ВКонтакте / Хабр)
- 14:46, 25 октября 2020 (разн. | история) . . (-151) . . Курс лекций «Эффективные алгоритмы»
- 14:05, 25 октября 2020 (разн. | история) . . (-152) . . Permission denied (→Жадные алгоритмы)
- 14:04, 25 октября 2020 (разн. | история) . . (+77) . . Permission denied (→Жадные алгоритмы)
- 13:56, 25 октября 2020 (разн. | история) . . (+182) . . Как зарегистрироваться на курс
- 13:46, 25 октября 2020 (разн. | история) . . (+76) . . Permission denied (→Жадные алгоритмы)
- 13:37, 25 октября 2020 (разн. | история) . . (-36) . . Permission denied
- 13:37, 25 октября 2020 (разн. | история) . . (-42) . . Курс лекций «Эффективные алгоритмы» (→Темы)
- 13:36, 25 октября 2020 (разн. | история) . . (+1188) . . Курс лекций «Эффективные алгоритмы»
- 13:31, 25 октября 2020 (разн. | история) . . (+11) . . Permission denied
- 13:28, 25 октября 2020 (разн. | история) . . (+68) . . Шаблон:Vimeoembed (текущая)
- 13:00, 25 октября 2020 (разн. | история) . . (+105) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Testbuilds – Oracle VM VirtualBox)
- 20:01, 24 октября 2020 (разн. | история) . . (+1268) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка python - How to progammatically pass the callable to gunicorn instead of arguments - Stack Overflow)
- 05:34, 23 октября 2020 (разн. | история) . . (0) . . Курс лекций «Эффективные алгоритмы»
- 05:34, 23 октября 2020 (разн. | история) . . (-14) . . Курс лекций «Эффективные алгоритмы»
- 19:32, 21 октября 2020 (разн. | история) . . (+232) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка virtualbox.org • View topic - VirtualBox 6.0 and Hyper-V)
- 19:21, 21 октября 2020 (разн. | история) . . (+136) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка WSL2 breaks VirtualBox 6.1 · Issue #798 · MicrosoftDocs/WSL)
- 19:10, 21 октября 2020 (разн. | история) . . (+141) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка virtualbox.org • View topic - VirtualBox 6.0 and Hyper-V)
- 15:33, 20 октября 2020 (разн. | история) . . (+167) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Анализ производительности WSGI-серверов: Часть вторая / Хабр)
- 09:00, 16 октября 2020 (разн. | история) . . (+185) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка How to Make a Photo Editor with React | by John Au-Yeung | DataSeries | Medium)
- 17:47, 13 октября 2020 (разн. | история) . . (+130) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Coq - The Coq proof assistant user and developer forum.)
- 17:17, 13 октября 2020 (разн. | история) . . (+30) . . Coq
- 17:14, 13 октября 2020 (разн. | история) . . (+43) . . Coq
- 11:35, 13 октября 2020 (разн. | история) . . (-167) . . Coq
- 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:40, 12 октября 2020 (разн. | история) . . (-1129) . . Permission denied
- 20:30, 12 октября 2020 (разн. | история) . . (+6649) . . Н Permission denied (Новая страница: «* /Видеопояснение Квест, обеспечивает полную свободу и при этом независимость — кажды…»)
- 20:20, 12 октября 2020 (разн. | история) . . (+192) . . Н Шаблон:Spojcode (Новая страница: «---- {{#if:{{{3|}}}|<html><div style="background-color:lightgreen"></html>}} «[https://www.spoj.com/problems/{{{1}}} {{{2}}}]» {{#if:{{{3|}}}|Проверен…»)
- 21:49, 11 октября 2020 (разн. | история) . . (+408) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Исследователи смогли преодолеть барьер в улучшении решения задачи коммивояжера / Хабр)
- 17:21, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Параллельный алгоритм Люби для максимального по включению независимого множества/Задачи/Корректность алг…) (текущая)
- 17:20, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Параллельный алгоритм Люби для максимального по включению независимого множества/Задачи/Корректность алг…) (текущая)
- 17:18, 11 октября 2020 (разн. | история) . . (+241) . . Permission denied
- 17:18, 11 октября 2020 (разн. | история) . . (+233) . . Permission denied
- 17:16, 11 октября 2020 (разн. | история) . . (+13) . . Permission denied (текущая)
- 17:16, 11 октября 2020 (разн. | история) . . (0) . . м Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Гамильтонов граф (StasFomin переименовал страницу Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Гамильтонов граф в [[Полиномиальные сводимости…)
- 17:15, 11 октября 2020 (разн. | история) . . (+13) . . Permission denied (Массовая правка: замена [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Гамильтонов граф на [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Гамильтонов граф) (текущая)
- 17:15, 11 октября 2020 (разн. | история) . . (+13) . . Permission denied (Массовая правка: замена [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Гамильтонов граф на [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Гамильтонов граф) (текущая)
- 17:15, 11 октября 2020 (разн. | история) . . (+13) . . Permission denied (Массовая правка: замена [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Гамильтонов граф на [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Гамильтонов граф) (текущая)
- 17:13, 11 октября 2020 (разн. | история) . . (0) . . м Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Язык планарных графов (StasFomin переименовал страницу Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/язык планарных графов в [[Полиномиальные своди…)
- 17:13, 11 октября 2020 (разн. | история) . . (+13) . . Permission denied (Массовая правка: замена [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/язык планарных графов на [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Язык планарных графов) (текущая)
- 17:13, 11 октября 2020 (разн. | история) . . (+13) . . Permission denied (Массовая правка: замена [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/язык планарных графов на [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Язык планарных графов) (текущая)
- 17:13, 11 октября 2020 (разн. | история) . . (+13) . . Permission denied (Массовая правка: замена [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/язык планарных графов на [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Язык планарных графов) (текущая)
- 17:13, 11 октября 2020 (разн. | история) . . (+13) . . Permission denied (Массовая правка: замена [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/язык планарных графов на [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Язык планарных графов) (текущая)
- 17:13, 11 октября 2020 (разн. | история) . . (+13) . . Permission denied (Массовая правка: замена [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/язык планарных графов на [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Язык планарных графов) (текущая)
- 17:13, 11 октября 2020 (разн. | история) . . (+13) . . Permission denied (Массовая правка: замена [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/язык планарных графов на [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Язык планарных графов) (текущая)
- 17:08, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Сандуляну Лю…) (текущая)
- 17:07, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Решение Токм…) (текущая)
- 17:06, 11 октября 2020 (разн. | история) . . (+195) . . Permission denied
- 17:06, 11 октября 2020 (разн. | история) . . (+198) . . Permission denied
- 17:04, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Стенин Серге…) (текущая)
- 17:04, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Решение Тата…) (текущая)
- 17:03, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Решение Серг…) (текущая)
- 17:02, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Решение Деви…) (текущая)
- 17:02, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Решение Гиля…) (текущая)
- 17:00, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Решение Влад…) (текущая)
- 16:58, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Решение Васи…) (текущая)
- 16:58, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Решение В.К.…) (текущая)
- 16:58, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[ACL:Page/Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Решение…) (текущая)
- 16:58, 11 октября 2020 (разн. | история) . . (+137) . . Н Permission denied (StasFomin переименовал страницу [[ACL:Page/Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета/Решение…) (текущая)
- 16:56, 11 октября 2020 (разн. | история) . . (+198) . . Permission denied
- 16:56, 11 октября 2020 (разн. | история) . . (+196) . . Permission denied
- 16:56, 11 октября 2020 (разн. | история) . . (+197) . . Permission denied
- 16:56, 11 октября 2020 (разн. | история) . . (+197) . . Permission denied
- 16:56, 11 октября 2020 (разн. | история) . . (+196) . . Permission denied
- 16:55, 11 октября 2020 (разн. | история) . . (+196) . . Permission denied
- 16:55, 11 октября 2020 (разн. | история) . . (+196) . . Permission denied
- 16:55, 11 октября 2020 (разн. | история) . . (+198) . . Permission denied
- 16:54, 11 октября 2020 (разн. | история) . . (+183) . . Участник:StasFomin/Решения задач/Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Порядок закачек — NPC
- 16:53, 11 октября 2020 (разн. | история) . . (0) . . м Участник:StasFomin/Решения задач/Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Порядок закачек — NPC (StasFomin переименовал страницу Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Порядок закачек — NPC/Решение в [[Участни…)
- 16:51, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/НМТ для Subset Sum/Решение Токмаковой Алексан…) (текущая)
- 16:51, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/НМТ для Subset Sum/Решение Максима Панова в [[…) (текущая)
- 16:50, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/НМТ для Subset Sum/Решение Веринова Александр…) (текущая)
- 16:50, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/НМТ для Subset Sum/Решение В.К. в [[Участник:Vkor…) (текущая)
- 16:50, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу ACL:Page/Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/НМТ для Subset Sum/Решение В.К. в [[ACL:Page/Use…) (текущая)
- 16:50, 11 октября 2020 (разн. | история) . . (+111) . . Н Permission denied (StasFomin переименовал страницу ACL:Page/Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/НМТ для Subset Sum/Решение В.К. в [[ACL:Page/Use…) (текущая)
- 16:49, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/НМТ для Subset Sum/Решение-Даниила-Кононенко…) (текущая)
- 16:48, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/НМТ для Subset Sum/Решение-Александра-Мафусал…) (текущая)
- 16:47, 11 октября 2020 (разн. | история) . . (+170) . . Permission denied
- 16:47, 11 октября 2020 (разн. | история) . . (+170) . . Permission denied
- 16:47, 11 октября 2020 (разн. | история) . . (+160) . . Permission denied
- 16:47, 11 октября 2020 (разн. | история) . . (+170) . . Permission denied
- 16:47, 11 октября 2020 (разн. | история) . . (+170) . . Permission denied
- 16:46, 11 октября 2020 (разн. | история) . . (+172) . . Permission denied
- 16:45, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Вершинное покрытие графов четной степен…) (текущая)
- 16:44, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Вершинное покрытие графов четной степен…) (текущая)
- 16:42, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Вершинное покрытие графов четной степен…) (текущая)
- 16:41, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Вершинное покрытие графов четной степен…) (текущая)
- 16:40, 11 октября 2020 (разн. | история) . . (0) . . м Участник:StasFomin/Решения задач/Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Вершинное покрытие графов четной степени — NPC (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Вершинное покрытие графов четной степен…) (текущая)
- 16:39, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Вершинное покрытие графов четной степен…) (текущая)
- 16:38, 11 октября 2020 (разн. | история) . . (+219) . . Permission denied
- 16:38, 11 октября 2020 (разн. | история) . . (+230) . . Permission denied
- 16:38, 11 октября 2020 (разн. | история) . . (+227) . . Permission denied
- 16:38, 11 октября 2020 (разн. | история) . . (+230) . . Permission denied
- 16:38, 11 октября 2020 (разн. | история) . . (+230) . . Участник:StasFomin/Решения задач/Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Вершинное покрытие графов четной степени — NPC
- 16:38, 11 октября 2020 (разн. | история) . . (+234) . . Permission denied
- 16:36, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/nonapprox TSP/Решению Юрия Яновича в [[Участни…) (текущая)
- 16:16, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/nonapprox TSP/Решение Храбров в [[Участник:AlexeyK…) (текущая)
- 16:15, 11 октября 2020 (разн. | история) . . (-1) . . Permission denied
- 16:15, 11 октября 2020 (разн. | история) . . (-20) . . Permission denied
- 16:15, 11 октября 2020 (разн. | история) . . (+159) . . Permission denied
(новейшие | старейшие) Просмотреть (250 более новых | 250 более старых) (20 | 50 | 100 | 250 | 500)