Автопатрулируемый

Участник:VladimirReshetnikov

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Это личная страница участника русской Википедии.

Это не энциклопедическая статья.

Если вы видите эту страницу не на сайте русской Википедии (ru.wikipеdia.org), то вы просматриваете зеркало сайта. Это означает, что эта страница могла устареть, и человек, которому принадлежит эта страница, может не иметь какого-либо отношения к другим проектам, кроме Википедии.

Оригинал страницы находится по адресу ru.wikipеdia.org/wikі/Участник:VladimirReshetnikov.


Мои интересы[править | править вики-текст]

Языки программирования, статический анализ программ, системы типов, теория алгоритмов, дискретная математика, основания математики, матлогика, теория множеств, теория доказательств.

Мой вклад  (рус.)
My contribution  (англ.)

Написанные статьи и заготовки[править | править вики-текст]

Статьи с существенным вкладом[править | править вики-текст]

Планируемые статьи и черновики[править | править вики-текст]

Патрулирующий Этот участник является одним из патрулирующих русской Википедии
Откатывающий Этот участник является одним из откатывающих русской Википедии
Автопатрулируемый Этот участник является одним из автопатрулируемых русской Википедии
Наука
Этот участник интересуется наукой
Математика
Этот участник интересуется математикой