Англо-рус. научно-техн. словарь 1
.pdf________________________________________________________________________________________231
дифференциальных уравнений, дифференциальных уравнений в частных производных и других аналогичных задач.
finite-length arithmetic ['faınaıt 'leηθ c'rıθmctık] арифметика конечной точности.@ Приближенное выполнение арифметических операций на ЭВМ.
finite-state automation (FSA)
['faınaıt'steıt /]:tc'meı•cn] конечный автомат.@ Автомат с конечным числом состояний. См. тж. automation
finite-state grammar ['faınaıt- 'steıt 'lræmc] грамматика с конечным числом состояний, автоматная грамматика, регулярная грамматика.
См. тж. regular gram-mar finite-state machine ['faınaıt'steıt
mc'•i:n] конечный автомат. См. тж. finite-state automation
FINUFO (First-In-Not-Used- First-Out) метод FINUFO. См. тж. least recently used removal
fire ['faıc] n. 1. огонь; 2. пожар; v. зажигать(ся)
Fire codes ['faıc kouds] коды Фаера.@ Семейство полиноминальных блочных кодов, предназначенных для исправления пакетов ошибок.
firm [fc:m] adj. крепкий; твердый; n. фирма
firmware [fc:m'wεc] n. 1. мик-
ропрограммное обеспечение, микропрограммы; 2. программа, записанная в ПЗУ, «зашитая программа»; 3. микропрограммный
first [fc:st] adj. первый; adv. 1.
сначала; 2. впервые.# first of all прежде всего.# at first сначала.# for the first time впервые, в первый
раз.# in the first place сначала; во-
первых
first difference [fc:st 'dıfrcns] 1.
разность первого порядка; 2. первая разность
first fit [fc:st fıt] метод первого подходящего.@ Метод распределения памяти, при котором по запросу на блок памяти выделяется первый блок в списке свободной памяти, размер которого больше или равен запрошенному. Ср. best fit
first normal form [fc:st n]:mcl f]:m] первая нормальная форма
(отношения реляционной базы дан-
ных).@ Отношение, каждое значение атрибутов которого является простым значением; прямоугольная таблица, в которой в каждой клетке размещено ровно одно значение, элементы каждого столбца относятся к одному типу и отсутствуют одинаковые строки.
first-generation computer [fc:st '®encreı•cn kcm'pju:tc] ЭВМ перво-
го поколения. См. тж. computer generation
first-in first-out (FIFO) [fc:st- 'ın, fc:st'aut] в порядке поступления, «первым пришел – первым вышел». @ Об алгоритмах обслуживания запросов или рассмотрения альтернатив в порядке поступления.
first-level address [fc:st'levl c'dres] прямой адрес. См. тж. direct address
first-order logic [fc:st/]:'dc 'l]-
®ık] исчисление предикатов первого порядка
first-order subroutine [fc:st-
/]:'dc scb/ru:'tın] подпрограмма первого уровня.@ Подпрограмма, обращение к которой производится
232________________________________________________________________________________________
непосредственно от главной программы
first-remove subroutine [fc:st-
/rı'mu:v scb/ru:'tın] подпрограмма первого уровня.@ Подпрограмма, обращение к которой производится непосредственно от главной про-
граммы Gateway
fissile ['fısaıl] adj. 1. делящийся; 2. расщепляющийся
fission ['fı•cn] n. расщепление fit [fıt] v. 1. соответствовать;
годиться; подходить; 2. приспосабливать(ся), прилаживать(ся); подгонять; 3. оборудовать; устанавливать, монтировать; 4. снабжать; n. соответствие.# to be fit for годиться
fit text to path [fıt tekst tu: pa:θ]
расположить текст вдоль кривой fix [fıks] n. исправление (ошиб-
ки в программе или неисправности устройства); v. 1. исправлять; 2.
фиксировать, закреплять.@ Присваивать программе или блоку данных неизменяемое в дальнейшем положение в памяти; делать резидентным. 3. укреплять; устанавливать; 4. решать, назначать (срок и т. п.); 5. уладить; урегулировать; 6. ремонтировать
fixed point [fıkst 'p]ınt] фикси-
рованная запятая
fixed [fıkst] adj. 1. фиксированный.@ Об элементе данных, положение которого и размер не меняют. 2. резидентный. См. тж. resident; 3. неподвижный; закрепленный; стационарный
fixed address [fıkst c'dres] фик-
сированный адрес
fixed area [fıkst 'εcrıc] фикси-
рованная область.@ Область памяти, положение и размер которой не изменяются.
fixed base (radix) system [fıkst beıs ('reıdıks) 'sıstım] система счис-
ления с постоянным основанием fixed cycle [fıkst 'saıkl] постоян-
ный цикл
fixed cycle operation [fıkst 'saıkl /]pc'reı•cn] работа с постоянным циклом
fixed dick [fıkst dısk] фиксиро-
ванный диск.@ 1. несъемный диск.; 2. Дисковое запоминающее устройство с несъемным носителем.
fixed error [fıkst 'erc] посто-
янная (систематическая) ошибка fixed format [fıkst 'f]:mæt]
фиксированный формат, фиксированная длина слова
fixed memory [fıkst 'memcrı]
постоянная память
fixed point representation (notation) [fıkst 'p]ınt /reprızen'teı•cn (nou'teı•cn)] представление с фиксированной запятой (точкой)
fixed point system [fıkst 'p]ınt 'sıstım] система с фиксированной запятой
fixed program device [fıkst 'proulræm dı'vaıs] устройство с фик-
сированной программой
fixed retention [fıkst rı'ten•cn]
фиксированное членство. См. тж. retention
fixed routing [fıkst 'rautıη] фик-
сированная маршрутизация.@ Метод маршрутизации пакетов или сообщений сети передачи данных, при котором решение о выборе маршрута определено заранее и не зависит от состояния сети. Ср. adaptive routing
fixed-form [fıkst'f]:m] фиксиро-
ванного формата. См. тж. fixedformat
________________________________________________________________________________________233
fixed-format [fıkst'f]:mæt] фик-
сированного формата.@ О представлении данных или предложений языка, при котором каждый элемент располагается в поле фиксированной длины.
fixed-head dick [fıkst'hed dısk]
диск с фиксированными головками.@ Дисковое запоминающее устройство, в котором для каждой дорожки носителя имеется отдельная головка чтения-записи; при обращении к диску головки не перемещаются.
fixed-interconnection pattern large-scale integration (FIPLSI)
[fıkst/ıntc'kcnek•cn 'pætcn 'la:®/skeıl 'ıntılreı•cn] БИС с фиксированными (меж)соединениями
fixed-length record file [fıkst- 'leηθ 'rek]:d faıl] файл с записями фиксированной длины
fixed-length [fıkst'leηθ] фикси-
рованная длина
fixed-length addressing [fıkst- 'leηθ c'dresıη] адресация с фиксированной длиной адреса.@ Способ указания объекта в сети ЭВМ, при котором все адреса имеют одинаковую длину. Применяется в локальных сетях с ограниченным числом равнодоступных узлов. Ср. extensible addressing
fixed-length code [fıkst'leηθ koud] код постоянной длины.@ Код, ставищий в соответствие определенному количеству символов источника определенное количество выходных символов. Как правило, это блочный код. Атрибут «постоянной длины» по смыслу противоположен атрибуту «переменной длины» и в этом отношении блоч-
ный код отличается от сверточного кода.
fixed-length field [fıkst'leηθ fi:ld] поле фиксированной длины
fixed-length format [fıkst'leηθ
'f]:mæt] фиксированная длина слова
fixed-length record [fıkst'leηθ
'rek]:d] 1. запись фиксированной длины.@ Запись файла, в котором все записи имеют одинаковую длину. 2. запись постоянной длины.@ Запись, длина которой не изменяется.
fixed-length record system [fıkst 'leηθ 'rek]:d 'sıstım] система с запи-
сями фиксированной длины fixed-length word [fıkst'leηθ
w]:d] фиксированная длина слова (кода)
fixed-point arithmetic [fıkst- 'p]ınt c'rıθmctık] арифметические операции с фиксированной запятой fixed-point calculation [fıkst- 'p]ınt 'kælkjuleı•cn] вычисление с
фиксированной запятой fixed-point computation [fıkst-
'p]ınt /kcmpju:'teı•cn] вычисление с фиксированной запятой
fixed-point computer [fıkst- 'p]ınt kcm'pju:tc] вычислительная машина с фиксированной запятой
fixed-point notation [fıkst'p]ınt nou'teı•cn] представление чисел с фиксированной запятой, представление чисел без учета порядков
fixed-point number [fıkst'p]ınt 'n7mbc] число с фиксированной запятой; целое число. Ср. тж. assumed decimal point
fixed-point representation [fıkst 'p]ınt /reprızen'teı•cn] представление
234________________________________________________________________________________________
чисел с фиксированной запятой.@ Представление в виде целых чисел или чисел с подразумеваемой запятой.
fixed-point theorem [fıkst'p]ınt 'θıcrcm] теорема о неподвижной точке.@ Утверждение теории рекурсивных функций, находящее применение в денотационной семантике языков программирования.
fixed-program computer [fıkst- 'proulræm kcm'pju:tc] вычислитель-
ная машина с жесткой программой fixed-radix notation [fıkst'reıdıks nou'teı•cn] позиционная система счисления с постоянным основани-
ем по всем разрядам числа fixture ['fıkst•c] n. зажим
flag [flæl] n. 1. признак, флаг.@
Одноразрядный регистр или логическая переменная, отражающие выполнение или невыполнение определенного условия. 2. разделитель кадров, ограничитель кадра. См.
тж. flag sequence 3. v. помечать,
отмечать
flag bit [flæl bıt] разряд признака; признак
flag check [flæl t•ek] флаговый контроль
flag field [flæl fi:ld] поле при-
знака
flag page [flæl peı®] титульный лист. См. тж. banner page
flag register [flæl 're®ıstc] ре-
гистр признака, флаговый регистр flag sequence [flæl 'si:kwcns]
разделитель кадров, ограничитель кадра.@ В протоколах передачи данных X. 25, SDLC и HDLC –
стандартная синхронизирующая последовательность (01111110), начи-
нающая и заканчивающая передачу кадра.
flame [fleım] n. пламя; pl. огонь flange [flæn®] n. фланец
flare [flεc]] n. вспышка
flash ['flæ•] n. вспышка; v.
вспыхивать
flashing ['flæ•ıη] n. мигание. См. тж. blinking
flash-over ['flæ•'ouvc] n. пер-
крытие
flask ['fla:sk] n. колба
flat [flæt] adj. 1. плоский; 2. по-
логий
flat addressing [flæt c'dresıη]
простая адресация.@ Способ указания объекта в сети ЭВМ с помощью идентификатора, не имеющего внутренней структуры. Ср. hierarchical addressing. См. тж. fixedlength addressing
flat file [flæt faıl] плоский файл.@ Файл, состоящий из записей одного типа и не содержащий указателей на другие записи; двумерный массив (таблица) элементов данных.
flat graph [flæt lræf] плоский граф.@ Граф, который можно изобразить на плоскости таким образом, что его вершинам соответствуют разные точки, и ребра не пересекаются.
flat package (FP) [flæt 'pækı®]
плоский корпус
flat screen [flæt skri:n] плоский экран
flat wire [flæt waıc] плоский вывод
flatbed plotter ['flætbed 'pl]tc]
планшетный графопостроитель.@ Графопостроитель, рисующий изображение на бумаге или пленке,
________________________________________________________________________________________235
размещенной на плоской поверхности.
flaw [fl]:] n. дефект, недостаток; слабое место
flexibility [/fleksı'bılıtı] n. 1. гиб-
кий; 2. сопротивление продольному изгибу
flexible ['flekscbl] adj. гибкий,
подвижный
flexible array ['flekscbl c'reı]
массив с переменными границами flexible disk ['flekscbl dısk] гиб-
кий диск, дискета. См. тж. sloppy dick
flexible manufacturing system (FMS) ['flekscbl /mænju'fækt•crıη 'sıstım] гибкое автоматизированное производство
flicker ['flıkc] n. 1. (нежела-
тельное) мерцание; 2. фликер flight [flaıt] n. полет
flip-flop ['flıp'fl]p] n. триггер,
триггерная схема, мультивибратор, фиксирующее реле
flip-flop circuit ['flıp'fl]p 'sc:kıt]
триггерная схема
flip-flop counter ['flıp'fl]p 'kaun- tc] счетчик на триггерах
flippy dick ['flıpı dısk].@ Двух-
сторонняя дискета, каждая сторона которой независимо используется как односторонняя дискета.
float ['flout] n. функция, преобразующая целое число в эквивалентное число с плавающей запятой (точкой); v. 1. работать в холостую; 2. плавать
floating ['floutıη] adj. 1. пла-
вающий, плавучий; 2. изменчивый; блуждающий
floating address ['floutıη c'dres]
плавающий (подвижной) адрес
floating decimal arithmetic
['floutıη 'desımcl c'rıθmctık] 1. деся-
тичные арифметические операции с плавающей запятой; 2. десятичное арифметическое устройство с плавающей запятой (точкой)
floating input (FI) ['floutıη
'ınput] 1. незаземленный вход; 2. дифференциальный вход
floating output (FO) ['floutıη
'autput] 1. незаземленный выход; 2. с выходом в форме с плавающей запятой
floating point ['floutıη p]ınt]
плавающая запятая (точка) floating-gate avalanche-injec-
tion metal-oxide-semiconductor transistor (FAMOS) ['floutıη'leıt 'ævc- la:n•/ın'®ck•cn 'metl']ksaıd'semıkcn- 'd7ktc træn'zıstc] лавинно-инжек-
ционный МОП-транзистор с плавающим затвором
floating-point accelerator (FPA)
['floutıη'p]ınt ck'selcreıtc] акселера-
тор (ускоритель) арифметических операций с плавающей запятой (точкой).@ Устройство, повышающее общую производительность ЭВМ за счет освобождения центрального процессора от необходимости выполнять операции с плавающей запятой (точкой).
floating-point accumulator
['floutıη'p]ınt c'kju:mjuleıtc] накап-
ливающий сумматор
floating-point arithmetic ['flou- tıη'p]ınt c'rıθmctık] 1. арифметика с плавающей запятой.@ Операция над числами в представлении с плавающей запятой. 2. процессор с плавающей запятой (точкой). См.
тж. floating-point processor
236________________________________________________________________________________________
floating-point calculation ['flou- tıη'p]ınt 'kælkjuleı•cn] вычисление с плавающей запятой (точкой)
floating-point computation
['floutıη'p]ınt /kcmpju:'teı•cn] вычис-
ление с плавающей запятой (точкой) floating-point computer ['floutıη
'p]ınt kcm'pju:tc] 1. вычислительная машина с плавающей запятой (точкой); 2. вычислительная машина с учетом порядков
floating-point instruction ['flou- tıη'p]ınt ın'str7k•cn] команда опера-
ции над числами с плавающей запятой (точкой)
floating-point multiplication
['floutıη'p]ınt /m7ltıplı'keı•cn] умно-
жение в системе с плавающей запятой (точкой)
floating-point notation ['floutıη-
/p]ınt nou'teı•cn] запись в форме с плавающей запятой (точкой). См.
тж. scientific notation floating-point number ['floutıη-
'p]ınt 'n7mbc] число с плавающей запятой (точкой). См. тж. floatingpoint representation
floating-point operation ['floutıη
'p]ınt /]pc'reı•cn] операция с плавающей запятой (точкой) .@ Арифметические операции с числами с плавающей запятой (точкой), результатом чего снова является число с плавающей запятой (точкой).
floating-point package ['floutıη- 'p]ınt 'pækı®] программа для выполнения операций над числами с плавающей запятой (точкой)
floating-point processor ['floutıη
'p]ınt 'prousesc] (арифметический)
процессор с плавающей запятой (точкой), «плавпроцессор».@ Сопроцессор для выполнения опера-
ций над числами с плавающей запя-
той. См. тж. coprocessor floating-point representation
['floutıη'p]ınt /reprızen'teı•cn] пред-
ставление чисел с плавающей запятой (точкой).@ Представление чисел в виде двух полей фиксированной длины: порядка и мантиссы; мантисса содержит значащие разряды, а порядок указывает положение запятой относительно первого разряда мантиссы.
floating-point routine ['floutıη-
/p]ınt ru:'ti:n] программа для работы с плавающей запятой (точкой)
flooding ['fl7dıη] n. лавинная маршрутизация.@ Метод маршру- ти-зации пакетов и сообщений сети передачи данных, при котором узел, принявший сообщение, передает его всем связанным с ним узлам.
floor [fl]:] n. пол; настил, перекрытие
floppy dick ['fl]pı dısk] гибкий диск, дискет(а), флоппи-диск.@ Носитель внешнего запоминающего устройства в виде диска из полимерной пленки с магнитным покрытием, заключенного в плотный бумажный или пластмассовый конверт с прорезью для доступа головок чтения-записи. Ср. hard disk
FLOPS (floating-point operations per second) число операций с плавающей запятой в секунду (еди-
ница измерения скорости процессора)
flow ['flou] n. поток, течение; v. протекать
flow control [flou kcn'troul] уп-
равление потоком данных.@ В сетях передачи данных – операции
________________________________________________________________________________________237
для предотвращения переполнения очередей и буферов.
flow diagram [flou 'daıclræm] 1.
блок-схема; 2. графическое пред-
ставление (напр. программы) flowchart ['flou±a:t] n. блок-
схема, графическое представление процесса или алгоритма
flowchart symbol ['flou±a:t 'sım- bcl] элемент блок-схемы.@ Графическое изображение вершины блоксхемы, форма которого указывает тип соответствующего ей действия (вычисления, проверка условия, обмен).
flowcharting ['flou±a:tıη] n. со-
ставление блок-схемы
flowing [flouıη] n. протекание fluctuation [/fl7ktju'eı•cn] n. 1.
колебание; неустойчивость; качание; 2. флуктация
fluid [flu:ıd] n. жибкость fluorencence [fluc'resns] n. флу-
оресценция
fluorencennt [fluc'resnt] adj.
флуоресцентный
flush [fl7•] v. утапливать flux [fl7ks] n. течение, поток
FLX (file exchange utility [faıl
ıks'±eın® ju:'tılıtı]) программа копи-
рования файлов с преобразованием форматов
flyback ['flaıbæk] adj. обратно-
ходовый
focal ['foukcl] n. фокальный,
фокусный
foci ['fousaı] pl. от focus
focus ['foukcs] n. фокус; v. фо-
кусировать
focusing ['foukcsıη] n. фокуси-
ровка
foil [f]ıl] n. фольга
fold [fould] n. 1. сгиб, складка; 2. suf. с числительными образует прилагательное и наречие, напри-
мер: tenfold десятикратный; в десять раз; twofold двукратный, в два раза
folded tree ['fouldıd tri:] свер-
нутый древовидный дешифратор folder ['fouldc] n. папка.@ Тер-
мин, используемый для обозначения каталога текстовых файлов в системах, ориентированных на неподготовленного пользователя (например, в системах подготовки текстов).
folding ['fouldıη] свертка.@ Ме-
тод хэширования ключа, согласно которому ключ разбивается на несколько частей, сложение которых дает адрес.
follow ['f]lou] v. 1. следовать за; 2. следить; 3. понимать; 4. следовать (методу и т. п.); 5. преследовать
(цель и т. п.).# followed by за кото-
рым следует; с последующим.# as following from исходя из.# as follows следующим образом; следую-
щее.# it the following ниже, в дальнейшем.# in what follows ниже, в
дальнейшем.# it follows из этого следует.# to follow suit следовать примеру
follower ['f]louc] n. следящее устройство
following ['f]louıη] adj. следу-
ющий; prp. вслед за, после following error ['f]louıη 'erc] 1.
ошибка рассогласования; 2. ошибка слежения
font [f]nt] n. шрифт
font recticle [f]nt rek'tıkl] зна-
коместо.@ Прямоугольный участок поверхности вывода(экрана дисплея
238________________________________________________________________________________________
или бумаги), на котором размещается одна литера.
font-change character (FC)
[f]nt'•ein® 'kærıktc] символ смены шрифта
foolproof ['fu:l'pru:f] adj. ошиб-
коустойчивый, защищенный от неумелого пользования.@ О программе, которая не прекращает работать, но и не выполняет необратимых действий (например, удаления файлов) при вводе бессмысленных команд или данных.
foot ['fut] n. 1. фут; 2. основание footer ['fu:tc] n. нижний колон-
титул. См. тж. page footer
footing ['futıη] n. точка опоры; опора; основание.# on one footing в равных условиях; на равных осно-
ваниях.# on an equal footing в рав-
ных условиях; на равных основани-
ях.# on the same footing в равных условиях; на равных основаниях
foot-note ['futnout] n. сноска;
подстроечное применение
for [f]:] prp. 1. для; т. ж. пере-
водится дательным падежом: 2. за; 3. в течение; 4. из-за, по причине; по; cj. так как, ибо
for list [f]: lıst] список цикла.# for all that несмотря на все это.# for all we know насколько нам известно.# for a while на некоторое время.# for granted без доказательства.# for lack of из-за отсутствия, изза недостатка.# for one например.# for once на этот раз.# for one's sake
ради кого-л..# for one thing во-пер- вых, прежде всего.# for the present на этот раз; пока.# for this reason
по этой причине.# for which reason
по этой причине.# for the sake of ради чего-л..# as for что касается, в отношении
forbidden [fc'bıdn] adj. запре-
щенный, недопустимый.@ О значении данных или команде, использование которых в данном контексте бессмысленно.
forbidden region [fc'bıdn 'ri:-
®cn] запрещенная область
force [f]:s] n. сила; v. вынуж-
дать, заставлять.# to come into force
вступать в силу
forced ['f]:sıd] adj. вынужденный, принудительный
forced angle ['f]:sıd 'æηll] вы-
нужденный угол
fore- ['f]:] pref. пред-, до; adv.
впереди
forecast ['f]:k7st] v. (forecast, forecasted) предсказывать; n. прогноз, предсказание
foregoing [f]:'louıη] adj. пред-
шествующий; вышеприведенный foreground ['f]:lraund] adj. 1.
приоритетный.@ О выполнении задания с большим приоритетом. 2. n. передний план.@ Часть изображения, расположенная ближе к точке наблюдения и закрывающая другие его части.
foreground color ['f]:lraund 'k7- lc] цвет символа.@ Цвет точек растра, образующих изображения литеры на экране дисплея, в отличие от цвета фона, который имеют остальные точки знакоместа.
foreground process ['f]:lraund 'prouses] приоритетный процесс. Ср. background process
foreground processing ['f]:l- raund 'prousesıη] выполнение работ с высоким приоритетом.@ Действия, связанные с поддержкой интерактивных операций в системе, ориен-
________________________________________________________________________________________239
тированной как на интерактивную, так и пакетную обработку.
foreground program ['f]:lraund 'proulræm] приоритетная программа foreign ['f]rın] adj. 1. иностран-
ный; 2. посторонний; 3. чуждый; 4. инородный
foreign format ['f]rın 'f]:mæt] «чужой» формат.@ О дисках или магнитных лентах, размеченных для другой операционной системы или другого типа устройства.
foreign key ['f]rın ki:] внешний ключ
foremost ['f]:moust] adj. 1. пе-
редний; передовой; 2. самый главный; выдающийся.# first and foremost прежде всего
forerunner ['f]:r7nc] n. предше-
ственник
forest ['f]rıst] n. лес.@ Сово-
купность деревьев; удаление корневой вершины превращает дерево в лес.
fork [f]:k] n. ветвление, порождение параллельного процесса
form [f]:m] n. 1. форма; фор-
мат; 2. страница (распечатки или печатного документа); 3. бланк; 4.
математическое выражение; v. 1. формировать; придавать, принимать форму, вид; 2. образовывать(ся), составлять
form factor [f]:m 'fæktc] коэф-
фициент формы кривой, формфактор
form feed (FF) [f]:m fi:d] пере-
вод страницы; прогон страницы form overlay [f]:m /ouvc'leı]
форматированный бланк.@ Определенная совокупность линий, специальных знаков и неизменной информации, которая может формиро-
ваться выходным печатающим устройством ЭВМ в добавок к имеющейся информации.
form stop [f]:m st]p] датчик от-
сутствия бумаги
formal axiomatic method ['f]:- mcl 'æksıc'mætik 'meθcd] формаль-
ный аксиоматический метод formal inference ['f]:mcl 'ınfc-
rcns] формальный вывод
formal language ['f]:mcl 'læηl- wı®] формальный язык
formal language theory ['f]:mcl 'læηlwı® 'θıcrı] теория формальных языков
formal logic ['f]:mcl 'l]®ık]
формальная логика
formal parameter ['f]:mcl pc-
'ræmıtc] формальный параметр.@ Обозначение параметра в заголовке и теле процедуры.
formal proof ['f]:mcl pru:f]
формальное доказательство
formal specification ['f]:mcl
/spesıfi'keı•cn] формальные спецификации, формальное описание.@ Спецификации, выраженные с помощью формально определенного языка спецификаций. Формальные спецификации могут быть использованы для автоматической проверки правильности программ и автоматической генерации текстов.
formal theory ['f]:mcl 'θıcrı]
формальная теория
formalism ['f]:mclızcm] n. фор-
мализм, формальная система formalize ['f]:mclaız] v. форма-
лизовать
formalized language ['f]:mc- laızd 'læηlwı®] формализованный язык
240________________________________________________________________________________________
format (fmt) ['f]:mæt] n. 1.
формат.@ Способ расположения и представления данных в памяти, в базе данных или на внешнем носителе. 2. разметка диска, формат диска.@ Способ разбиения поверхности носителя на адресуемые элементы (дорожки и сектора). 3. формат записи.@ Соответствие между битами данных и изменением намагниченности поверхности носителя.
format ['f]:mæt] v. 1. форматировать.@ Размещать данные в соответствии с предписанным форматом. 2. размечать, форматировать.@ Записывать на носитель данных метки, определяющие расположение информационных записей (блоков, секторов) и участков, не пригодных для записи, а также другую управляющую информацию.
format character ['f]:mæt 'kærıktc] символ управления форматом
format control ['f]:mæt kcn- 'troul] управление форматом, управление расположением информации в устройствах вычислительной машины
format disk ['f]:mæt dısk] фор-
матный диск
format implication ['f]:mæt /ım- plı'keı•cn] формальная импликация
formation ['f]:meı•cn] n. 1. воз-
никовение, образование; 2. форма formation row ['f]:meı•cn rou]
правило построения, правило образования
formatted capacity ['f]:mætıd kæ'pcsıtı] емкость (носителя данных) после разметки, полезная ем-
кость. Ср. unformatted capacity formatter ['f]:mætc] форма-
тер.@ 1. Программа или часть сис-
темы подготовки текстов, выполняющая форматирование. См. тж. text formatting; 2. Программа или устройство для разметки дисков.
См. тж. disk formatter
formatting ['f]:mætıη] n. 1. фор-
матирование. См. тж. text formatting; 2. разметка, форматирование.
См. тж. format 5.
former ['f]:mc] adj. прежний, бывший.# the former первый (из двух названных выше)
formerly ['f]:mclı] adv. ранее,
прежде
form-feed character [f]:m'fi:d 'kærıktc] символ перевода страницы; символ прогона страницы.@ Символ управления печатающем устройством. В коде ASII представляется числом 12.
formidable ['f]:mıdcbl] adj. 1.
значительный, громадный; 2. трудный; 3. страшный, грозный
formula ['f]:mjulc] n. формула,
аналитическое выражение formulae ['f]:mjuli:] pl. от for-
mula
formulas ['f]:mjulcz] pl. от formula
formulate ['f]:mjuleıt] v. форму-
лировать
formulation ['f]:mjuleı•cn] n.
формулирвка
Forth Форт.@ Язык программирования для микроЭВМ. Программы на языке Форт записываются в польской инверсной записи и работают со стеком. Достоинствами языка Форт являются простота реализации и неограниченная расширяемость.