Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Англо-рус. научно-техн. словарь 1

.pdf
Скачиваний:
84
Добавлен:
29.05.2015
Размер:
5.6 Mб
Скачать

________________________________________________________________________________________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 'εcc] фикси-

рованная область.@ Область памяти, положение и размер которой не изменяются.

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ı'tencn]

фиксированное членство. См. тж. 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'kcnekcn '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ıkstc] n. зажим

flag [flæl] n. 1. признак, флаг.@

Одноразрядный регистр или логическая переменная, отражающие выполнение или невыполнение определенного условия. 2. разделитель кадров, ограничитель кадра. См.

тж. flag sequence 3. v. помечать,

отмечать

flag bit [flæl bıt] разряд признака; признак

flag check [flæl tek] флаговый контроль

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æktcrıη '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'®ckcn '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'str7kcn] команда опера-

ции над числами с плавающей запятой (точкой)

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- ®] формальный язык

formal language theory ['f]:mcl 'læηl® 'θı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æηl®] формализованный язык

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æη] 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 Форт.@ Язык программирования для микроЭВМ. Программы на языке Форт записываются в польской инверсной записи и работают со стеком. Достоинствами языка Форт являются простота реализации и неограниченная расширяемость.