Логический (Logical)

u Рассматриваемый  с  точки  зрения  возможных  операций,  а  не  с  точки  зрения реальной  организации.  Понятие  «виртуальный»  обычно  подразумевает  большую  степень абстракции,   чем  понятие  «логический».   «Концептуальный»  и   «абстрактный»  относятся больше к рассуждениям и проектированию, чем к функционированию программ. Например,

логический  диск  является частью физического  диска,  а виртуальный  диск  –  моделируется обычно в ОЗУ.

v Предусматривающий использование логики.

w Концептуальный или виртуальный, т.е. включающий в себя концептуальные, а не реальные физические объекты.

Логический адрес (Logical address)

Символьный или  условный адрес ячейки  или  области  памяти,  устройства или  узла

сети,   который   переводится   в  физический   адрес  соответствующим   программным  или аппаратным обеспечением.

Логический диск (Logical disc)

Часть физического жёсткого диска, рассматриваемая как отдельный жёсткий диск со

своим именем накопителя.  В операционных системах для гибкого диска логическим именем является сочетание буквы «А» и двоеточия: «A:». Жесткий диск разбивается программно на области, именуемые логическими дисками с именами: C:, D:, E: и так далее.

Логический номер устройства (Device logical number)

Число,   используемое   в  качестве  имени   логического   устройства  в  ряде   систем

программирования и некоторых ОС.

Логический проект (Logical design)

(MSF) Вид на решение с точки  зрения проектной группы, определяющий  решение

(программный продукт) как набор взаимодействующих объектов и  образуемых ими служб. Обычно службы делятся на три группы: службы представления, службы бизнеса и  службы данных.   Цель   логического   проекта   заключается   в   описании   структуры   решения  и взаимодействия её элементов.

Логический узел (Logical section)

(СПД) Абстрактное представление peer-группы или коммутатора как одной точки.

Логическое выражение (См. Выражение логическое) Логическое высказывание (См. Высказывание логическое) Логическое имя (Logical name)

Имя,  присваиваемое  ОС  некоторому  устройству  или  классу  устройств  для  того,

чтобы прикладное ПО не зависело от особенностей конструкции  устройства.  Абстрактное обозначение устройства компьютера в виде дополнительного текстового и/или графического имени/обозначения, приписываемых  ОС для удобства  их  использования.  Логическое имя допускает использование данного объекта таким образом, что не возникает необходимость вдаваться  в  особенности  его  физической  реализации.  Например,   один  физический  диск может быть разбит на несколько логических с именами: C:, D:, E: и т.д. При этом, обращение к ним  может  производиться  щелчком мыши на их  пиктограммах,  а сам диск  может быть произведен любой фирмой-производителем (например, Seagate, Fujitsu и др.).

Логическое исчисление (Logical calculus) (См. Кванторы, Логическое выражение)

(Матем.) Формализация   содержательных  научных  теорий.   Выводимые   объекты

логических   исчислений   интерпретируются   как  суждения,   составленные  из   простейших пропозициональных    связок    и     кванторов    (имеющих,    вообще    говоря,    субъективнопредикатную структуру). Чаще всего используются связки «не», «и», «или», «если…, то…» и кванторы существования и всеобщности.

Логическое программирование (Logical programming)

Данный термин (логическое программирование, ЛП), появившийся примерно в 1975 г.,

специалисты  толкуют по-разному. При  узком толковании его связывают, прежде  всего, с системами   программирования,   основанными   на   использовании   специальных  классов логических    формул   (хорновских   дизъюнктов)   в    качестве   логических    программ   и специальных   методов  логического  вывода   (вариантов   метода  резолюций)  в  качестве логической модели  вычислений  или  способа  исполнения  логических  программ.  Поэтому логическое программирование в узком смысле иногда называют хорновским, резолюционным или «прологообразным» программированием. При более широком толковании в логическое

программирование  включают  гораздо  больший  круг  понятий,  методов,  языков  и  систем. Тогда   в   основе   ЛП   оказывается   заложенной   идея   описания задачи   совокупностью утверждений на  некотором  формальном  логическом  языке  и  получение решения путем построения     вывода    в    некоторой    формальной     (дедуктивной)     системе.     Наиболее распространены   такие   языки   логического   программирования:   а) функциональные  или аппликативные – LISP, FP, APL, Nial, Krc, LOGO; б) продуционные – Рефал; в) логические – PROLOG.

Источник: Тлумачний   словник   з   інформатики   /   Г.Г.   Півняк,   Б.С.   Бусигін, М.М. Дівізінюк та ін. – Д., Нац. гірнич. ун-т, 2008. – 599 с.

Похожие посты:

Вы можете оставить комментарий, или ссылку на Ваш сайт.

Оставить комментарий