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