Формалізована система

1формалізована система

2formalized system

3formalized planning system

fire protection system - протипожежна система

fire-protection system - протипожежна система

fixed-feature nc system - апаратна система ЧПУ

flexible nc system - програмована система ЧПУ

fluid logic system - струминна логічна система

також в інших словниках:

система планування формалізована - Система планування, що організується на основі чіткого поділу ступенів та розділів планування, при чіткому дотриманні послідовності планових операцій. Вона вимагає створення спеціалізованого апарату планування чи виділення осіб, … … Довідник технічного перекладача

СИСТЕМА ПЛАНУВАННЯ, ФОРМАЛІЗОВАНА - система планування, що організується на основі чіткого поділу ступенів та розділів планування, при чіткому дотриманні послідовності планових операцій. Вона вимагає створення спеціалізованого апарату планування чи виділення осіб, …

МОНІТОРИНГУ МІЖДЕРЖАВНИХ КОНФЛІКТІВ СИСТЕМА — метод чисельного аналізу конфлікту з урахуванням низки контрольованих параметрів. Запропоновано 1995 р. С. Ю. Закожурніковим. Метод має конкретну застосовність до аналізу реальних міждержавних конфліктів. Крім сигнальної функції… … Енциклопедичний словник з психології та педагогіки

МЕТАТЕОРІЯ — (від грец. meta після, за, позаду) теорія, що вивчає мову, структуру та властивості деякої ін. теорії. Теорія, властивості якої досліджуються М., називається предметної, чи об'єктної, теорією. Найбільш розвинуті М. у логіці та математиці (металогіка І … Філософська енциклопедія

Право справедливості - (англ. Equity) правова система, що діяла в Англії з 14 ст. паралельно із системою т.з. загального права (Див. Загальне право). П. с. як система складалося поступово у зв'язку з тим, що через крайній формалізм загального права громадяни ... Велика радянська енциклопедія

ЛОГІЦИЗМ — один із напрямів у підставах математики, що має на меті обґрунтувати математику шляхом зведення її вихідних понять до понять логіки. Думка про зведення математики до логіки висловлювалася Г. Лейбніцем (G. Leibniz, кін. 17 ст). Практичне… … Математична енциклопедія

Логицизм - один з основних напрямків математики, що має на меті обґрунтувати математику шляхом зведення її вихідних понять до понять логіки. Думка про зведення математики до логіки висловлювалася Лейбніцем наприкінці 17 в. Практичне здійснення ... Вікіпедія

Казуїстика - (від лат. casus випадок, казус), формалізована система прикладної моралі, що розглядає складні випадки колізії моральних обов'язків на кшталт аналізу правових «казусів» в юриспруденції. Для К. характерна складна техніка визначення тяжкості ... Енциклопедія культурології

Показники міграції - Масштаби, інтенсивність та інші параметри міграції населення характеризуються за допомогою системи показників. Це абсолютні та відносні числові характеристики міграційного процесу на різних стадіях його перебігу, що характеризують загальний… … Міграція: словник основних термінів

Правова система, що діяла в Англії з XIV ст. паралельно із системою загального права. Складалося поступово у зв'язку з тим, що через крайній формалізм загального права громадяни часто не мали змоги звернутися з позовом... Словник термінів з історії держави та права зарубіжних країн