Відповіді@Mail.Ru — Відповіді@Mail.Ru … Вікіпедія
АЛГОРИТМІЧНА МОВА — формальна мова програмування, формальна мова, призначена для опису обчислювальних процесів, або, що те саме, для запису алгоритмів, що підлягають виконанню на обчислювальних машинах. Розрізняють проблемно орієнтовані А. я. (А. я.… … Математична енциклопедія
Адресна мова - формальна мова для опису процесів перетворення інформації в ЦВМ. Розроблено в Обчислювальному центрі АН УРСР як вхідну мову автоматичного програмування (див. Мова програмування). Опис обчислювального процесу… Велика радянська енциклопедія
АЛГОРИТМІЧНА МОВА - формальна мова, система лінгвістичних знаків, призначена для запису алгоритмів; Його використання базується на можливості формального завдання правил конструювання алгоритмів. При формальному описі алгоритмів важливе значення… … Енциклопедичний словник з психології та педагогіки
ВИСНОВОК () — ВИСНОВОК (в математичній логіці) Ст зазвичай називається міркування, в ході якого послідовно виходить ряд пов'язаних один з одним пропозицій, а також і сама послідовність цих пропозицій. Деякі з цих пропозицій не ... ... Філософська енциклопедія
CBC-MAC — У криптографії, CBC MAC є технологією побудови автенфікаційного коду повідомлення з блокового шифру. Повідомлення шифрується за допомогою деякого блочного алгоритму шифрування в режимі CBC, для створення ланцюжка блоків з правилом кожен …
ЗЛІЧЕННЯ — (формальна система) система символів, основними компонентами якої є: 1) алфавіт (сукупність елементарних символів букв. цифр, дужок тощо); 2) правила побудови формул із символівалфавіту, 3) аксіоми (вихідні формули, що доводяться) … Філософська енциклопедія
ЛОГІКА ВИКАЗІВ — розділ логіки, в якому вивчаються істинні взаємозв'язки між висловлюваннями. У межах цього розділу висловлювання (пропозиції, пропозиції) розглядаються лише з т.зр. їх істинності чи хибності, безвідносно до їхньої внутрішньої суб'єктно… Філософська енциклопедія
Алгоритми сімейства FOREL - FOREL (Формальний Елемент) алгоритм кластеризації, заснований на ідеї об'єднання в один кластер об'єктів в областях їх найбільшого згущення. Зміст 1 Мета кластеризації 2 … Вікіпедія
А=А - формула, що виражає принцип тотожності у формальній логіці; читається: А є А , А тотожно А , А дорівнює А , А є те саме, що А , А еквівалентно А . Розрізняють онтологічний та логіч. аспекти принципу А = А. Онтологіч. аспект означає… … Філософська енциклопедія