Результати пошуку

[[Категорія:Типи даних]] [[Категорія:Формалізація даних]] ...

...тезою]] для заданого набору даних є та, яка веде до найкращого [[стиснення даних]]. МДО запропонував [[Йорма Ріссанен]] 1978 року.<ref>{{Cite journal | last Будь-який набір даних може бути представлено як стрічку [[символ]]ів зі скінченної (скажімо, [[Дв ...

...а тео́рія'') ({{lang-en|formal system}})&nbsp;— абстрактна структура та [[Формалізація|формалізації]] [[Аксіоматика |аксіоматичної системи]] ([[теорія|теорії]]), ...ою ''A'', і якщо так, то ''A'' називається '''безпосере́днім на́слідком''' даних формул за правилом R. '''Ви́веденням''' називається всяка послідовність фор ...

...ська мова|англ]]. ''methods of knowledge representation'')&nbsp;– методи [[Формалізація|формалізації]] та структуризації знань для їх подальшого опрацювання в сист ...м]] ([[Англійська мова|англ]]. ''frame'' – рамка, каркас)&nbsp;– структура даних для представлення деякого концептуального об'єкта. Це мінімальна структура ...

...[[Рекурсивний тип даних|індуктивно визначеної]] [[Структура даних|структур даних]], таких як списки і дерева, створених відповідно до [[Аксіома|аксіом]] і [ Хоча формалізація логіки набагато виросла в роботах таких діячів, як [[Готлоб Фреге]], [[Джуз ...

...ідібрати алгоритм, у якого більша множина слугує областю можливих вихідних даних, а менша&nbsp;— областю застосовності. Мають місце такі основні теореми: (I === Формалізація поняття алгоритму === ...

== Формалізація == ...ня шуму в даних зображення, обираючи грубіші рівні масштабу для зашумлених даних зображення, й тонші рівні масштабу для майже ідеальних кутоподібних структу ...