Формализованные языки

Кроме естественных языков общения, которыми мы ежедневно пользуемся, в науке часто используются формализованные языки, которые позволяют в более краткой форме излагать материал, избегать его многозначности. Цель моей работы – рассказать о формализованных языках, их сущности, формировании, основных достоинствах и недостатках.
Формальный язык
2.1.Определение, цель создания
Формализованный язык (в широком смысле) — любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис формализованного языка) и приписывания этим выражениям определённого смысла (семантика). В таком употреблении термин «Формализованный язык» не предполагает, вообще говоря, никаких специальных ограничений ни на синтаксическую структуру, ни на семантические правила, ни на назначение такого языка. Например, выражения «Н2О» и «вода» можно в равной мере считать элементами «Формализованного языка химии».

1. Введение.
2. Формализованный язык.
2.1. Определение, цель создания.
2.2. Сущность формализованных языков.
2.3. Основные требования, предъявляемые к формализованным языкам.
2.4. Схема построения формализованного языка.
2.5. Применение формализованного языка в логике.
2.6. Преимущества формализованного языка.
2.7. Недостатки формализованного языка.
3. Заключение.
4. Список литературы.