Вклад участника Deniok
Участник с 130 правками. Учётная запись создана 16 июля 2008 года.
1 января 2022
- 13:5013:50, 1 января 2022 разн. история +27 Иван III Васильевич →Северо-западное направление: войны с Ливонией и со Швецией
14 февраля 2021
- 15:1115:11, 14 февраля 2021 разн. история −30 Участник:Deniok ← Полностью удалено содержимое страницы текущая Метки: очистка визуальный редактор отключён
- 12:3212:32, 14 февраля 2021 разн. история +1093 Википедия:К переименованию/27 сентября 2020 →Инструмент интерактивного доказательства теорем → Система интерактивного доказательства текущая
28 ноября 2019
- 09:5909:59, 28 ноября 2019 разн. история +50 м Аксиоматика Тарского (геометрия) →Аксиомы: Добавлена подпись к иллюстрации Схема аксиом непрерывности
7 января 2018
- 09:0209:02, 7 января 2018 разн. история +162 Файл:Grainka river in Shliopikha.jpg Указал необходимые параметры файла Метка: через визуальный редактор
6 января 2018
- 15:1915:19, 6 января 2018 разн. история +93 Граинка Добавлена фотография
- 15:1415:14, 6 января 2018 разн. история +231 Н Файл:Grainka river in Shliopikha.jpg {{Изображение | описание = | источник = | время создания = | автор = }}
9 апреля 2017
- 18:4918:49, 9 апреля 2017 разн. история +612 Н Обсуждение:Теорема о дедукции ← Новая страница: «Статью, конечно, надо переделывать. Теорему о дедукции никто не называет теорем…»
18 июля 2016
17 апреля 2016
- 06:3106:31, 17 апреля 2016 разн. история −4 Agda изменил версию на последнюю
21 февраля 2016
- 20:2520:25, 21 февраля 2016 разн. история +3 GHC Нет описания правки
5 февраля 2016
- 17:2117:21, 5 февраля 2016 разн. история +82 Исса (приток Великой) добавлено изображение
6 января 2016
- 15:5315:53, 6 января 2016 разн. история +658 Шлёпиха Свежие данные по численности населения
19 декабря 2015
- 15:4415:44, 19 декабря 2015 разн. история +8 м Agda latest_release
11 июня 2015
- 18:1418:14, 11 июня 2015 разн. история −6 м Agda Нет описания правки
9 января 2015
- 16:3716:37, 9 января 2015 разн. история 0 м Agda обновление данных
15 ноября 2014
- 11:2811:28, 15 ноября 2014 разн. история 0 м Agda Нет описания правки
7 сентября 2014
- 19:3119:31, 7 сентября 2014 разн. история −2 м Agda обновление данных
1 ноября 2013
- 17:3617:36, 1 ноября 2013 разн. история +6 Agda Нет описания правки
1 сентября 2013
- 20:4320:43, 1 сентября 2013 разн. история −2 Agda Нет описания правки
- 17:4117:41, 1 сентября 2013 разн. история +50 Н Шлепиха Deniok переименовал страницу Шлепиха в Шлёпиха текущая
- 17:4117:41, 1 сентября 2013 разн. история 0 м Шлёпиха Deniok переименовал страницу Шлепиха в Шлёпиха
- 17:4017:40, 1 сентября 2013 разн. история 0 Шлёпиха Нет описания правки
24 февраля 2013
- 09:3109:31, 24 февраля 2013 разн. история +32 Исса (приток Великой) уточнение
10 февраля 2013
- 10:1610:16, 10 февраля 2013 разн. история +333 System F заменил перенаправление на разрешение неоднозначности
- 10:0010:00, 10 февраля 2013 разн. история +456 Система F →Литература
6 февраля 2013
- 20:0220:02, 6 февраля 2013 разн. история +52 м Haskell →Вычисление факториала: разрешил неоднозначность
- 19:5319:53, 6 февраля 2013 разн. история +11 Проект:Информационные технологии/Списки/Список языков программирования →A
31 января 2013
- 08:2008:20, 31 января 2013 разн. история +22 Система F →Свойства
- 08:1908:19, 31 января 2013 разн. история +763 Система F →Примечания
- 08:1108:11, 31 января 2013 разн. история +313 Система F →Свойства
28 января 2013
- 12:0712:07, 28 января 2013 разн. история −16 Система F →Свойства
- 11:5511:55, 28 января 2013 разн. история +36 Система F →Свойства
- 11:4711:47, 28 января 2013 разн. история +1725 Система F →Свойства
- 11:2611:26, 28 января 2013 разн. история +150 Соответствие Карри — Ховарда Нет описания правки
- 11:2111:21, 28 января 2013 разн. история −42 Соответствие Карри — Ховарда Нет описания правки
- 11:0211:02, 28 января 2013 разн. история +2246 Система F →Свойства
27 января 2013
- 18:5018:50, 27 января 2013 разн. история +1158 Система F →Представление типов данных
- 18:2618:26, 27 января 2013 разн. история +1565 Система F →Представление типов данных
- 17:1417:14, 27 января 2013 разн. история +40 Система F →Представление типов данных
- 15:4915:49, 27 января 2013 разн. история +1135 Система F →Представление типов данных
- 15:1315:13, 27 января 2013 разн. история −1 Система F →Представление типов данных
- 15:0915:09, 27 января 2013 разн. история +1985 Система F →Представление типов данных
- 08:5608:56, 27 января 2013 разн. история +412 Просто типизированное лямбда-исчисление →Свойства
- 08:2508:25, 27 января 2013 разн. история +860 Просто типизированное лямбда-исчисление Добавил правила редукции
- 07:5807:58, 27 января 2013 разн. история +173 Просто типизированное лямбда-исчисление →Правила типизации (по Чёрчу): Уточнил про статус сигмы и тау
26 января 2013
- 20:4420:44, 26 января 2013 разн. история +85 Система F →Правила типизации по Карри
- 20:4020:40, 26 января 2013 разн. история +1066 Система F →Правила типизации по Карри
- 20:2220:22, 26 января 2013 разн. история +25 Система F →Правила редукции
- 20:2120:21, 26 января 2013 разн. история +3213 Система F Нет описания правки
Условные обозначения патрулирования: патрулированная версия, непроверенная версия, страница не проверялась.
