Если А - это алфавит, то некоторое подмножество множества всех слов алфавита А называется
Пусть М1 и М2 - некоторые множества, с соответствующими мощностями. Тогда мощность множества М3, полученного путем конкатенации множеств М1 и М2 будет
В контексте формальной грамматики слова алфавита называются:
Множество называется перечислимым, если
Формула называется общезначимой, если она
Исчисление предикатов называется разрешимым, если
Предметная область называется моделью, если
Конечный автомат называется логическим, если
Конечный автомат называется "конечным", потому что
Наполнение формальной системы смыслом называется
