Дискретная математика. Элементы логико-математического языка

Одним из средств отражения внутреннего и внешнего мира человека является естественный язык. Описание «мира математических предметов», т.е. системы, состоящей из математических объектов, их свойств и отношений между ними, а также логических связей между двумя последними, совершается на формализованном так называемом логико-математическом языке (ЛМЯ). В данном пособии представлена вторая часть раздела «Элементы логико-математического языка» учебной дисциплины «Дискретная математика». Рассмотрены главным образом семантические аспекты логикоматематического языка, относящиеся к интерпретациям его выражений. Пособие предназначено для студентов специальностей 220200 и 351400, изучающих учебные дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика»