Проект:Логика/Внутренние

К переименованию

Ноябрь 2014

LINPACK

Декабрь 2014

Символы-джокеры

---

К разделению

28 августа 2015

• Аксиоматика теории множеств → Аксиоматическая теория множеств и Система Цермело — Френкеля

---

К объединению

24 мая 2016

• Отношение (теория множеств), Отношение (логика) → Отношение (логика)

27 апреля 2016

• Рекурсивное определение → Рекурсия
• Рекурсивная функция → Рекуррентная формула
• Рекурсивная функция → Вычислимая функция

8 января 2016

• Лемма о накачке для регулярных языков, Лемма о разрастании → Лемма о разрастании

2 января 2016

• Диаграмма Венна, Круги Эйлера → Круги Эйлера