- •Комп’ютерна логіка: основні поняття та застосування
- •1.1. Основні поняття комп’ютерної логіки та теорії автоматів
- •1.2. Застосування теорії цифрових автоматів
- •1.2.1. Виробництво сучасних цифрових систем
- •1.2.2. Програмування
- •1.2.3. Побудова трансляторів
- •Тип 0 – необмежені граматики (загального вигляду, з фразовою структурою). Практичного застосування в міру своєї складності такі граматики не мають.
- •Тип 2 – контекстно-вільні (кв) граматики. Кв-граматики широко використовуються для описування синтаксису комп’ютерних мов.
- •1.2.4. Реалізація візуалізації алгоритмів дискретної математики та програмування
- •1.2.5. Штучний інтелект
- •1.2.6. Створення прикладного програмного забезпечення для мобільних пристроїв та мікроконтролерів
- •1.2.7. Побудова моделей документообігу на основі скінченно-автоматної моделі теорії автоматів
- •1.2.8. Пошук ланцюжків у тексті
- •2. Інформаційні основи комп’ютерів
- •2.1. Комп’ютер як інформаційна система (система відбору, опрацювання та збереження інформації)
- •2.2. Поняття інформації, даних та сигналу
- •2.3. Міри інформації
- •2.3.1. Структурна міра інформації
- •2.3.2. Статистична міра інформації
- •2.3.3. Семантична міра інформації
- •Семантичні міри інформації
- •Змістовність інформації
- •Доцільніть інформації
- •2.4. Основи кодування інформації
- •2.5. Представлення інформації в комп’ютерах
- •2.5.1. Представлення символьної інформації в комп’ютерах
- •2.5.2. Представлення сигналів в комп’ютері. Цифровий сигнал.
- •2.3.1. Дискретизація
- •2.3.2. Квантування
- •2.4. Технічні засоби представлення інформації в цифровій формі
- •2.4.1. Аналого-цифрові перетворювачі
- •2.4.2. Цифро-аналогові перетворювачі
- •3. Подання інформації в комп’ютерних системах. Системи числення
- •3.1. Основи систем числення
- •3.2. Позиційні системи числення
- •3.3. Переведення чисел з однієї системи числення в іншу
- •3.3.1. Переведення цілих чисел з однієї позиційної системи числення в іншу
- •3.3.2. Переведення правильних дробів
- •3.3.3. Переведення неправильних дробів
- •3.4. Двійкова система числення
- •3.5. Двійкова система числення з цифрами 1,
- •3.6. Шістнадцяткова та вісімкова системи числення
- •3.7. Вибір системи числення для подання даних у цифрових комп’ютерних системах
- •3.8. Форми подання чисел у цифрових автоматах
- •3.8.1. Форма подання двійкових чисел із фіксованою комою
- •3.8.2. Подання від’ємних чисел у формі з фіксованою комою
- •3.8.3. Форма подання чисел з плаваючою комою
- •3.9. Похибки подання чисел
- •4. Арифметичні дії з двійковими та десятковими числами в цифрових комп’ютерних системах
- •4.1. Виконання операцій над двійковими числами
- •4.1.1. Формальні правила двійкової арифметики
- •4.1.2. Додавання двійкових чисел
- •4.1.3. Множення двійкових чисел
- •4.1.4. Ділення двійкових чисел
- •4.2. Виконання арифметичних операцій над десятковими числами
- •4.2.1. Подання десяткових чисел в д-кодах
- •4.2.2. Формальні правила порозрядного додавання десяткових чисел у д-кодах
- •4.2.3. Подання від’ємних чисел у д-кодах
- •4.2.4. Множення чисел у д-кодах
- •4.2.5. Ділення чисел у д-кодах
- •4.2.6. Переведення двійкових чисел у д-коди та навпаки
2.3.3. Семантична міра інформації
Семантичні міри інформації оцінюють змістовність, логічну кількість, доцільність та істотність інформації.
Змістовність події виражається через функцію міри– змістовності її заперечення. Оцінка змістовності заснована на математичній логіці, в якій логічні функції істинностіта хибностімають формальну подібність з функціями ймовірності подіїта антиподіїв теорії ймовірності. Подібно до ймовірності, змістовність події змінюється в межах.
Логічна кількість інформації , що подібна до статистичної кількості інформації, розраховується згідно формули:
.
Відмінність статистичної оцінки від логічної пролягає в тому, що в першому випадку враховуються ймовірності тих чи інших подій, що наближує до оцінки змісту інформації.
Доцільність, корисність інформації для розв’язання будь-якої задачі можна оцінити за ефектом, який виявляє отримана інформація на розв’язок задачі. Якщо ймовірність досягнення мети збільшується, то інформацію необхідно вважати корисною. Отримана інформація може бути порожньою, тобто не змінювати ймовірність досягнення мети, то в такому випадку її міра дорівнює нулеві. Якщо отримана інформація змінює положення діла в гіршу сторону, тобто зменшувати ймовірність досягнення мети, то тоді вона буде дезінформацією.
Міра доцільності у загальному вигляді може бути аналітично виражена у вигляді співвідношення:
,
де та – початкова (до отримання інформації) та кінцева (після отримання інформації) ймовірності досягнення мети.
Семантичні міри інформації
Під семантикою розуміють зміст інформації.
Знаком називається умовне зображення елементів повідомлення, словом — сукупність знаків, які мають змістове(предметне) значення, мовою — словник і правила користування ним.
Відповідно наведеній вище структурі в семіотиці розрізніють синтаксичний, семантичний, сигмантичний і прагматичний аспекти теорії інформації.
Розглянуті в попередній параграфах структурна і статистична оцінки інформації відносяться до синтаксичного аспекту.
Сигмантичний аспект відображається теорією сигналів та кодів, яка розгядає умовні позначення елементів інформації. Сигнали являються фізичними носіями позначених елеметнів, а коди — позначеннями цих елементів. Сигматичні оцінки не мають прямого відношення до мір інформації. Тому залишається розлянути семантичні і прагматичні оцінки інформації.
В цьому параграфі розгядається оцінки, які відовідають як семантичному, так і прагматичному аспектам теорії інформації: в інженерній практиці прагматичні оцінки зливаються з семантичними, оскільки поняття які не мають змісту є безкорисні, а безкорисна інформація не має змісту.
Оцінка ефективності логічного виводу, степені наближення до істини потребує деякої формалізації, в даному випадку — формалізації змісту. Один з шляхів такої формалізації був запропонований семантичною теорією інформації.
Карнап і Бар-Хілел запропонували використовувати для вимірювння змісту функції істиності логічних висловлювань.
За основу дискретного опису обєкту береться атомарне представлення, схоже елементарній дії теорії відносності і яке відповідає неподільному кванту інформації.
Отримана таким чином оцінка одержала назву змістовності інформації.