Вклад участника
Материал из DISCOPAL
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 09:03, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT14 2023-04-14 12-03-51 image0.png (MsUpload) (текущая)
- 09:03, 14 апреля 2023 (разн. | история) . . (+44) . . Н ГДП/GT13 (Новая страница: «File:GT13_2023-04-14_12-03-07_image0.png») (текущая)
- 09:03, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT13 2023-04-14 12-03-07 image0.png (MsUpload) (текущая)
- 09:02, 14 апреля 2023 (разн. | история) . . (+87) . . Н ГДП/GT9 (Новая страница: «File:GT9_2023-04-14_12-01-50_image0.png File:GT9_2023-04-14_12-02-07_image0.png») (текущая)
- 09:02, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT9 2023-04-14 12-02-07 image0.png (MsUpload) (текущая)
- 09:02, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT9 2023-04-14 12-01-50 image0.png (MsUpload) (текущая)
- 09:00, 14 апреля 2023 (разн. | история) . . (+87) . . Н ГДП/GT6 (Новая страница: «File:GT6_2023-04-14_12-00-33_image0.png File:GT6_2023-04-14_12-00-47_image0.png») (текущая)
- 09:00, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT6 2023-04-14 12-00-33 image0.png (MsUpload) (текущая)
- 09:00, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT6 2023-04-14 12-00-47 image0.png (MsUpload) (текущая)
- 08:58, 14 апреля 2023 (разн. | история) . . (+89) . . Н ГДП/GT12 (Новая страница: «File:GT12_2023-04-14_11-57-35_image0.png File:GT12_2023-04-14_11-57-52_image0.png») (текущая)
- 08:57, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT12 2023-04-14 11-57-35 image0.png (MsUpload) (текущая)
- 08:57, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT12 2023-04-14 11-57-52 image0.png (MsUpload) (текущая)
- 08:56, 14 апреля 2023 (разн. | история) . . (+44) . . Н ГДП/GT11 (Новая страница: «File:GT11_2023-04-14_11-56-45_image0.png») (текущая)
- 08:56, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT11 2023-04-14 11-56-45 image0.png (MsUpload) (текущая)
- 08:55, 14 апреля 2023 (разн. | история) . . (+44) . . Н ГДП/GT10 (Новая страница: «File:GT10_2023-04-14_11-55-21_image0.png») (текущая)
- 08:55, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT10 2023-04-14 11-55-21 image0.png (MsUpload) (текущая)
- 08:52, 14 апреля 2023 (разн. | история) . . (+43) . . Н ГДП/GT8 (Новая страница: «File:GT8_2023-04-14_11-52-12_image0.png») (текущая)
- 08:52, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT8 2023-04-14 11-52-12 image0.png (MsUpload) (текущая)
- 08:51, 14 апреля 2023 (разн. | история) . . (+43) . . Н ГДП/GT7 (Новая страница: «File:GT7_2023-04-14_11-51-10_image0.png») (текущая)
- 08:51, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT7 2023-04-14 11-51-10 image0.png (MsUpload) (текущая)
- 08:45, 14 апреля 2023 (разн. | история) . . (+43) . . Н ГДП/GT5 (Новая страница: «File:GT5_2023-04-14_11-45-31_image0.png») (текущая)
- 08:45, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT5 2023-04-14 11-45-31 image0.png (MsUpload) (текущая)
- 08:44, 14 апреля 2023 (разн. | история) . . (+87) . . Н ГДП/GT4 (Новая страница: «File:GT4_2023-04-14_11-44-04_image0.png File:GT4_2023-04-14_11-44-21_image0.png») (текущая)
- 08:44, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT4 2023-04-14 11-44-04 image0.png (MsUpload) (текущая)
- 08:44, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT4 2023-04-14 11-44-21 image0.png (MsUpload) (текущая)
- 08:42, 14 апреля 2023 (разн. | история) . . (+43) . . Н ГДП/GT3 (Новая страница: «File:GT3_2023-04-14_11-42-39_image0.png») (текущая)
- 08:42, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT3 2023-04-14 11-42-39 image0.png (MsUpload) (текущая)
- 08:40, 14 апреля 2023 (разн. | история) . . (+87) . . Н ГДП/GT2 (Новая страница: «File:GT2_2023-04-14_11-40-17_image0.png File:GT2_2023-04-14_11-40-35_image0.png») (текущая)
- 08:40, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT2 2023-04-14 11-40-17 image0.png (MsUpload) (текущая)
- 08:40, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT2 2023-04-14 11-40-35 image0.png (MsUpload) (текущая)
- 08:38, 14 апреля 2023 (разн. | история) . . (+50) . . Н ГДП/GT1 (Новая страница: «center») (текущая)
- 08:38, 14 апреля 2023 (разн. | история) . . (0) . . Н Файл:GT1 2023-04-14 11-38-17 image0.png (MsUpload) (текущая)
- 08:37, 14 апреля 2023 (разн. | история) . . (+19) . . Шаблон:GDCode (текущая)
- 07:55, 14 апреля 2023 (разн. | история) . . (+953) . . Н Hardprob/Minimum Local Register Allocation (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор инструкций, формирующих некий блое без перех…»)
- 07:50, 14 апреля 2023 (разн. | история) . . (-16) . . Hardprob/Minimum Register Sufficiency
- 07:48, 14 апреля 2023 (разн. | история) . . (0) . . м Hardprob/Minimum Register Sufficiency (StasFomin переименовал страницу Hardprob/ Minimum Register Sufficiency в Hardprob/Minimum Register Sufficiency без оставления перенаправления)
- 07:47, 14 апреля 2023 (разн. | история) . . (+1338) . . Н Hardprob/Minimum Register Sufficiency (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Направленный ациклический граф <m>G=\left(V,A\right)</m> * Най…»)
- 00:23, 14 апреля 2023 (разн. | история) . . (+895) . . Н Hardprob/Minimum Permutation Group Base (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Группа <em>G</em> перестановок из <em>n</em> символов. * Най…»)
- 00:18, 14 апреля 2023 (разн. | история) . . (-1) . . Hardprob/Minimum Locally Testable Automaton Order (текущая)
- 00:17, 14 апреля 2023 (разн. | история) . . (+1128) . . Н Hardprob/Minimum Locally Testable Automaton Order (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Локально тестируемый язык <em>L</em>, т.е. некий язык <em>L…»)
- 00:09, 14 апреля 2023 (разн. | история) . . (+888) . . Н Hardprob/Shortest Computation (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Недетерминированная машина Тьюринга <em>M</em>, двоичн…») (текущая)
- 00:06, 14 апреля 2023 (разн. | история) . . (+890) . . Н Hardprob/Longest Computation (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Недетерминированная машина Тьюринга <em>M</em>, двоичн…») (текущая)
- 23:59, 13 апреля 2023 (разн. | история) . . (+852) . . Н Hardprob/Minimum Consistent Finite Automaton (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Два конечных множества <em>P, N</em> двоичных строк. * На…») (текущая)
- 23:54, 13 апреля 2023 (разн. | история) . . (+1242) . . Н Hardprob/Maximum Renamable Horn Subformula (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, коллекция <em>C</em> ск…»)
- 23:41, 13 апреля 2023 (разн. | история) . . (+1062) . . Н Hardprob/Maximum Horn Core (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * <em>M</em> — набор булевых значений для <em>n</em> переменн…»)
- 23:30, 13 апреля 2023 (разн. | история) . . (+45) . . Hardprob/Minimum Length Equivalent Frege Proof (текущая)
- 23:27, 13 апреля 2023 (разн. | история) . . (+874) . . Н Hardprob/Minimum Length Equivalent Frege Proof (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Доказательство Фреге <em>π</em> для некоторой тавтого…»)
- 23:20, 13 апреля 2023 (разн. | история) . . (0) . . Hardprob/Maximum K-Constraint Satisfaction (текущая)
- 23:18, 13 апреля 2023 (разн. | история) . . (+848) . . Н Hardprob/Maximum K-Constraint Satisfaction (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, коллекция <em>C</em> ко…»)
- 23:12, 13 апреля 2023 (разн. | история) . . (+782) . . Н Hardprob/Minimum Equivalence Deletion (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, коллекция <em>C</em> ра…») (текущая)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)