Формализованный язык (Formalized language)

u (В широком смысле) Любая совокупность некоторым  образом  специализирован-

ных языковых средств с (более или менее) точно фиксированными правилами образования

«выражений»  (синтаксис  формализованного  языка)  и  приписывания  этим   выражениям определённого смысла (семантика формализованного языка). В таком употреблении термин

«Формализованный   язык»   не   предполагает,   вообще   говоря,   никаких    специальных ограничений  ни  на  синтаксическую  структуру,  ни  на   семантические  правила,  ни  на назначение такого языка. Например, выражения  «Н2О», «вода», «eau», «water», «Wasser»,

«vesi» и т.д. можно, в  принципе, в равной  мере считать элементами  «Формализованного

языка химии».

v Под    формализованным   языком   в   логике   понимают    интерпретированное исчисление,   то   есть   некоторую   формальную   систему   вместе   с   её   интерпретацией. Использование формализованного языка – характерная особенность математической логики, которую  часто  и  определяют  как  «предмет  формальной  логики,  изучаемый  посредством построения   формализованных  языков».  Следует,  впрочем,  заметить,  что  такого  рода

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

Формальная   спецификация   [формальное   [формализованное]   описание]   (Formal specification)

Спецификация, написанная в соответствии с какими-либо стандартами.

Формальная теория (Formal theory)

u (Матем.) Множество всех теорем в данной формальной модели (рассматриваемое вместе с алфавитом формального языка, множествами аксиом и правил вывода).

v (Матем.) Понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства.

Формальное доказательство (Formal proof)

Когда    говорят    о    формальном    доказательстве,    прежде    всего,    описывают

формальную модель – множество аксиом, записанных  с помощью формального  языка, и правил вывода. Формальным доказательством утверждения называется формальный вывод, последней   строкой   которого   является   данное    утверждение.   Утверждение,   имеющее

формальное  доказательство,  называется  теоремой,  а  множество  всех  теорем  в  данной формальной модели (рассматриваемое вместе с алфавитом формального языка, множествами аксиом и правил вывода) называется формальной теорией.

Формальный вывод (Formal inference)

Конечное  упорядоченное  множество  строк,  написанных  на   формальном   языке,

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

Формальный параметр (Formal parameter)

Параметр, определяемый в заголовке процедуры и используемый в теле процедуры.

Получает значение при активизации процедуры.

Формат (данных) (Data format)

u (БД) Спецификация и способ расположения и представления данных в памяти, в базе данных или на внешнем носителе, а также при вводе-выводе.

v (ИТ) Определённая     структура     информационного     объекта,     подвергаемого обработке, записываемого на носитель или выводимого в виде твёрдой копии.

w (Прогр.) Разметка диска.

x Часто   английское   слово   Format   используется   как   глагол (форматировать), указывающий  на  такие  действия,  как  запись  информации  в   предписанной  форме  или разбиение поверхности носителя (запоминающей среды, т.е. диска) на адресуемые элементы (дорожки и сектора) с целью приёма (записи) информации.

? (Прогр.) Размещение   данных   в   соответствии   с   предписанным    форматом. Подобные операции реализуются при записи (или выводе) данных на различные устройства (дисплей,  принтер,  диск  и  т.д.).  Например:  1) в  языке   FORTRAN  путём  применения операторов    FORMAT;    2) в    языке    Turbo Pascal    путём    указания    соответствующих спецификаций в операторах READ  и WRITE, например, WRITE( Real_Cell:8:2); 3) в языке Visual Basic for Application путём применения функции языка Fоrmat( ) и т.д.

?(ИТ) Соответствие   между   битами   данных   и   изменением   намагниченности поверхности носителя.

? (Прогр.) Операция    записи    на    носитель    данных    метки,     определяющей расположение информационных записей (блоков, секторов) и  участков, непригодных для записи, а также другую управляющую информацию.

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

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

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

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