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