Формализиран език (официален език), всички ремонт и настройка на компютри
ф (в широк смисъл) Всеки набор от специализирани по някакъв начин
ПРАВИТЕЛСТВЕНА език означава (повече или по-малко), фиксирани правила точно образование
"изрази" (формален синтаксис) и предоставянето на тези изрази с определен смисъл (семантика на формализиран език). Това използването на термина
"Официално език" не означава по принцип никакъв конкретен срок на синтаксиса или семантиката, или назначаването на такъв език. Например, "H2O" израз "вода", "Eau», «вода», «Wasser»,
«Веси» и т.н. може по принцип еднакво счита за "формализира елементи
о Под формализиран език, за да се разбере логиката на изчисленията се тълкува, че е някаква формална система, заедно с неговото тълкуване. С помощта на формален език - характерна черта на математическата логика, която често се определя като "предмет на формалната логика, проучени от изграждането на официални езици". Следва обаче да се отбележи, че този вид
"Определения" в никакъв случай не означава, основен атрибут на представяне на математическата логика: концепцията за формално език, не само не е включена (обикновено) в обект на логическо-математически език, но това не означава, че строго погледнато, част от който и да е конкретен мета-език, който е по-удобно да работи срок за предварителна евристичен обяснение на предмета на тази наука.
В официално описание на [официално [формализирани] Описание] (формално спецификация)
Спецификация, написан в съответствие с всички стандарти.
Официалното теория (Официално теория)
ф (Мат.) Множеството от всички теореми във формалния модел (във връзка с азбуката на официално език, набори от аксиоми и правила).
V (Мат.) Концепцията, разработена в рамките на формалната логика като основа за оформяне на доказателство за теорията.
Официално доказателство (Официално доказателство)
Когато хората говорят за формалното доказателство. На първо място, описване
формален модел - набор от аксиоми, записани с помощта на формален език, както и на правилата за извод. Официалното доказателство за одобрението, посочено официално заключение, което е на последния ред на това твърдение. Приемане като
формално доказателство, нарича теорема. и множеството на всички теореми във формалния модел (във връзка с азбуката на официално език, набор от аксиоми и правила) и се нарича официално теория.
Официално деривация (Официално извод)
Крайните последователен набор от линии, написани на официален език,
така че всеки от тях е или аксиома или получен от предишни редове с помощта на един от правилата за извод.
Официалното параметър (Официално параметър)
Параметърът, посочен в заглавието на процедура и се използва в тялото на процедура.
Взима стойността за процедурата на активиране.
Format (данни) (Формат на данните)
ф (BD) спецификация, и метод за организиране и представяне на данните в паметта, в база данни или на външно устройство, както и вход-изход.
V (IT) Определена информация структура обект, за да се лекува, върху средата за запис или изведени като хартиен носител.
w (Prog.) разделяне.
(Prog.) Поставяне на данни в съответствие с определения формат. Такива операции се осъществяват при данните за запис (или мощност) на различни устройства (монитор, принтер, диск и т.н.). Например: 1) на езика FORTRAN чрез прилагане на операторите на формата; 2) Turbo Pascal език чрез определяне на съответните спецификации на четене и запис оператори, например, записване (Real_Cell: 8: 2); 3) на езика на Visual Basic за кандидатстване чрез използване на езика функция Format () и т.н.
(IT) Свързването между бита данни и промени в намагнитване повърхността на носителя.
(Prog.) Операция за запис върху етикета на носител на данни, който определя информацията за местоположението на записи (блокове, сектори) и сектори, които не са подходящи за записване, както и друга информация, контрол.