Формалізована мова (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 (Прогр.) Розмітка диска.
(Прогр.) Розміщення даних відповідно до запропонованим форматом. Подібні операції реалізуються під час запису (або виведення) даних на різні пристрої (дисплей, принтер, диск і т.д.). Наприклад: 1) в мові FORTRAN шляхом застосування операторів FORMAT; 2) в мові Turbo Pascal шляхом зазначення відповідних специфікацій в операторах READ і WRITE, наприклад, WRITE (Real_Cell: 8: 2); 3) в мові Visual Basic for Application шляхом застосування функції мови Fоrmat () і т.д.
(ІТ) Відповідність між бітами даних і зміною намагніченості поверхні носія.
(Прогр.) Операція запису на носій даних мітки, що визначає розташування інформаційних записів (блоків, секторів) і ділянок, непридатних для запису, а також іншу інформацію, що управляє.