Дьячко А.Г. (ред.), Прокопчук Ю.Ю., Широков А.И., Козловский А.В. Дискретная математика. Элементы логико-математического языка. Часть 1

Учебное пособие. — 2-е изд. — М.: МИСиС, 2004. — 98 с.Одним из средств отражения внутреннего и внешнего мира человека является естественный язык. Описание "мира математических предметов", т.е. системы, состоящей из математических объектов, их свойств и отношений между ними, а также логических связей между двумя последними совершается на формализованном так называемым логико-математическом языке (ЛМЯ). Данный раздел посвящен изложению только его основ. Об отдельных фрагментах ЛМЯ, не рассматриваемых здесь, речь пойдет в тех разделах пособия, где в этом возникнет необходимость. Предназначено для студентов специальностей 220200 и 351400, изучающих курс "Дискретная математика".Введение.
Начальные понятия.
Виды языков. Язык и метаязык.
Логические и семиотические аспекты.
Исходные имена логико-математического языка.
Константы.
Переменные.
Синтаксические и прагматические аспекты логико-математического языка.
Алфавит логико-математического языка.
Конструктивные термы.
Соотношения.
Дескриптивные термы. Выражения.
Упрощение выражений.
Литература.