Formal language

Определение

Язык с однозначной грамматикой и семантикой, используемый для точного описания алгоритмов и рассуждений. Альтернатива естественному языку в сложных логических выводах.

Где встречается

• 184. Почему естественный язык не подходит для сложного рассуждения

Навигация

• Индекс терминов
• Индекс разборов
• Оглавление