Формальна система – це
Формальна система — неінтерпретоване Обчислення, клас виразів (формул) якого задається зазвичай індуктивно – за допомогою завдання вихідних («елементарних», або «атомарних») формул і правил освіти (побудови) формул, а підклас формул, що доводяться. Велика Радянська Енциклопедія
ФОРМАЛЬНА СИСТЕМА — неінтерпретоване літочислення, клас виразів (формул) якого задається зазвичай індуктивно – за допомогою завдання вихідних ( елементарних , або атомарних ) формул і правил освіти (побудови) формул, а підклас доведених формул (теорем) –… … Філософська енциклопедія
ФОРМАЛЬНА СИСТЕМА — дедуктивна система, математич. логіці неінтерпретоване літочислення, що задається правилами освіти виразів цього літочислення та правилами побудови висновків у цьому обрахунку. Висловлювання Ф. с. розглядаються як суто формальні… Математична енциклопедія
ГЕЙТИНГА ФОРМАЛЬНА СИСТЕМА - Гейтипга обчислення, назва трьох формальних систем конструктивної логіки, запропонованих А. Рейтинг [1]. Перша з них гейтингівська, або інтуїціоністська, обчислення висловлювань; формалізація принципів конструктивної логіки висловлювань;
ГЕНЦЕНА ФОРМАЛЬНА СИСТЕМА - Логіко математич. обчислення, що служить для формалізації та дослідження змістовних доказів, що оперують із припущеннями (гіпотезами). Введені Г. Генценом (G. Gentzen, 2]). Р. ф. с. ділять на системи природного виведення (або натуральні, … …
СИСТЕМА, ІНФОРМАЦІЙНО-КЕРУЮЧА (ІУС) — формальна система, що забезпечує керівних працівників інформацією, необхідною для прийняття рішень. Ефективна ІКС бере до уваги різницю між рівнями управління, сферами дії,а також зовнішніми обставинами і дає кожному… … Великий економічний словник
Формальна логіка — Формальна логіка конструювання та дослідження правил перетворення висловлювань, що зберігають їх істинне значення безвідносно до змісту понять, що входять до цих висловлювань. Формальна логіка, на відміну від неформальної, ... Вікіпедія
Формальна верифікація - формальний доказ відповідності чи невідповідності формального предмета верифікації його формальному опису. Предметом виступають алгоритми, програми та інші докази. З-за рутинності навіть простої формальної верифікації і… … Вікіпедія
Формальна школа - див. Методи домарксистського літературознавства Літературна енциклопедія. об 11 т.; М: видавництво Комуністичної академії, Радянська енциклопедія, Художня література. За редакцією В. М. Фріче, А. В. Луначарського. 1929 1939 … Літературна енциклопедія