АвторыПрокопчук Ю.Ю., Широков А.И.
Дискретная математика: Элементы логико-математического языка, Ч. II
ИздательствоМИСиС
Тип изданияучебное пособие
Год издания2006
Скопировать биб. запись
Для каталогаПрокопчук, Ю. Ю. , Дискретная математика : Элементы логико-математического языка, Ч. II : учебное пособие / Прокопчук Ю. Ю. , Широков А. И. , под ред. проф. А. Г. Дьячко и проф. Л. П. Рябова. - Москва : МИСиС, 2006. - 149 с. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/Misis_400.html (дата обращения: 16.11.2024). - Режим доступа : по подписке.
АннотацияОдним из средств отражения внутреннего и внешнего мира человека является естественный язык. Описание "мира математических предметов", т.е. системы, состоящей из математических объектов, их свойств и отношений между ними, а также логических связей между двумя последними, совершается на формализованном так называемом логико-математическом языке (ЛМЯ). В данном пособии представлена вторая часть раздела "Элементы логико-математического языка" учебной дисциплины "Дискретная математика". Рассмотрены главным образом семантические аспекты логико-математического языка, относящиеся к интерпретациям его выражений. <br>Пособие предназначено для студентов специальностей 220200 и 351400, изучающих учебные дисциплины "Математическая логика и теория алгоритмов" и "Дискретная математика".