Участник:Хацкер — Википедия
↑1 Скоро? скоро — не скоро.. не скоро — скоро.. | ||
Википедия:Вавилон | ||
| ||
| ||
Кратко о себе | ||
Этот участник предпочитает обращение на «ты» | ||
Участник из Германии | ||
Этот участник интересуется математикой | ||
АшЫпка Прошу всех исправлять мои орфографические и грамматические ошибки. | ||
Этот участник считает, что копирайт душит творчество
| ||
Этот участник является сторонником свободного ПО |
Ссылки
[править | править код]
- Документация по веб-интерфейсу МедиаВики
- Статистика посещения отдельных страниц Википедии
- Проект:Банк обещаний
- Патрулируем...
- Статистика патрулирования
Бот
[править | править код]Участник:XBot • Обсуждение участника:XBot • Служебная:Contributions/XBot
Подстраницы
[править | править код]План
[править | править код]Пока такой: написать и/или довести до ума следующие статьи:
- Теория моделей
- Элиминация кванторов
- Топос
- Декартово-замкнутая категория
- Лямбда-исчисление
- Алгебра Клини
- Динамическая логика
- Модальная логика
- Теорема Кнастера-Тарского
- Многозначная логика
- Булева функция
- Переписывание
- Алгебра Гейтинга
- Теорема Гильберта о нулях
- Эрлангенская программа
- Проблема слов
Новый план
[править | править код]Довести до ума разделы, связанные с тьюринговскими лауреатами.