🖥️ Математика, Информатика и Инженерия ПО
Search
Поиск
Тёмный режим
Светлый режим
Проводник
Тег: Синтаксис
с этим тегом 1 элемент
04 нояб. 2025 г.
06. Формальная система
Математическая-логика
Логика
Переменная
Синтаксис
Синтаксическая-переменная
Область-изменения
Символ
Аксиома
Теорема
Формула-языка
Посылка
Заключение
Аксиоматическая-система
Формальная-система