Меню Главная Случайная статья Настройки Проект:Логика/Внутренние Материал из https://ru.wikipedia.org К переименованию Ноябрь 2014 LINPACK Декабрь 2014 Символы-джокеры К разделению 28 августа 2015 Аксиоматика теории множеств Аксиоматическая теория множеств и Система Цермело — Френкеля К объединению 24 мая 2016 Отношение (теория множеств), Отношение (логика) Отношение (логика) 27 апреля 2016 Рекурсивное определение Рекурсия Рекурсивная функция Рекуррентная формула Рекурсивная функция Вычислимая функция 8 января 2016 Лемма о накачке для регулярных языков, Лемма о разрастании Лемма о разрастании 2 января 2016 Диаграмма Венна, Круги Эйлера Круги Эйлера