Дайте определение понятию «Формальные системы»
- это система задания множества путем указания исходных элементов (аксиом исчисления) и правил вывода, каждое из которых описывает, как строить новые элементы из исходных.
- это системы операций над объектами, понимаемыми как последовательность символов.
Для просмотра статистики ответов нужно
залогиниться.