Перепони для вимірювання кількості інформації у контексті її «семантичного» розуміння.

Існує кілька підходів до визначення семантики мов програмування.  Найбільш широко поширені різновиди наступних трьох: операційного, денотаціонного (математичного) і дериваційного (аксіоматичного).  При описі семантики в рамках операційного підходи звичайно виконання конструкцій мови програмування інтерпретується за допомогою деякої уявної (абстрактної) ЕОМ.  Дериваційна семантика описує наслідки виконання конструкцій мови за допомогою мови логіки і завдання перед-і Післяумови. Денотаціонная семантика оперуєпоняттями, типовими для математики - безлічі, відповідності, а також судження, затвердження та ін  Мова програмування будується відповідно до тієї чи іншої базової моделлю обчислень і парадигмою програмування.  Незважаючи на те, що більшість мов орієнтоване на імперативну модель обчислень, що задається фоннеймановской архітектурою ЕОМ, існують і інші підходи. Можна згадати мови зі стекової обчислювальної моделлю (Forth, Factor, Postscript та ін), а також функціональне (Лісп, Haskell, ML та ін) і логічне програмування(Пролог) і мова Рефаїл, заснований на моделі обчислень, введеної радянським математиком А . А. Марковим-молодшим.  В даний час також активно розвиваються проблемно-орієнтовані, декларативні та візуальні мови програмування.

Концепція програми, що зберігається.

……………………………………………………………………………………………………………….

Використання логічних операцій при формалізації умов в умовних конструкціях мов програмування. Кон’юнкція, диз’юнкція, спростування та сильна диз’юнкція.

Кон'юнкція — двомісна логічна операція, що має значення «істина», якщо всі аргументи мають значення «істина». Операція відображає вживання сполучника «і» в логічних висловлюваннях.

Позначається: в математиці та логіці як  , в програмуванні як & чи and.

Таблиця істинності виглядає таким чином:

хибність	хибність	хибність
хибність	істина	хибність
істина	хибність	хибність
істина	істина	істина

Відповідною операцією в теорії множин є перетин множин.

Диз'юнкція — двомісна логічна операція, що має значення «істина», якщо хоча б один з аргументів має значення «істина». Операція відображає вживання сполучника «або» в логічних висловлюваннях.

Позначається: в математиці та логіці як  , в програмуванні як | чи or.

Таблиця істинності виглядає таким чином:

хибність	хибність	хибність
хибність	істина	істина
істина	хибність	істина
істина	істина	істина

Відповідною операцією в теорії множин є об'єднання множин.

Сильна (строга) диз'юнкція — це логічний сполучник, який буде істинним лише в тих випадках, коли логічні значення його складників не співпадають. Цей логічний сполучник буде хибним, коли логічні значення його складників співпадають.

Таблиця істинності виглядає таким чином:

хибність	хибність	хибність
хибність	істина	істина
істина	хибність	істина
істина	істина	хибність

Спростування в логіці —  операція з аргументом над судженнями, результатом якої є судження (у відомому сенсі) «протилежне» початковому. В класичній логіці заперечення зазвичай інтерпретують як функцію, що переводить істину в хибу і навпаки. А в інтуїціоністській логіці зазвичай під запереченням твердження P приймається спростування P

Таблиця істинності виглядає таким чином:

	¬А
хибність	істина
істина	хибність