Логічна еквівалентність

1логічна еквівалентність

2logical equivalence

3logical equivalence

4logical equivalence

5logical equivalence

6logical equivalence

7logical equivalence

8logical equivalence

9logical equivalence

10logical equivalence

equivalence operation - операція еквівалентності

equivalence relation - відношення еквівалентності

algebraic equivalence - алгебраїчна еквівалентність

equivalence dependency - залежність за еквівалентністю

statistical equivalence - статистична еквівалентність

також в інших словниках:

Еквівалентність - У математиці та логіці: Відношення еквівалентності бінарне відношення. Еквівалентність (або матеріальна еквівалентність) логічна операція. Логічна еквівалентність відношення між висловлюваннями… Вікіпедія

ЛОГІЧНА СЕМАНТИКА — розділ металогіки, в якому вивчаються інтерпретації логічних обчислень. основ. поняття Л. с. можна поділити на 2 групи: (1) поняття, застосування до рих до виразів логіч. обчислення істотно залежить від вибору інтерпретації (див. також Модель).

Логічна операція - в ЦВМ, порозрядна операція над кодами довільної довжини за правилами логіки алгебри. Л. о. виробляється над усіма цифрами кодів одна й та сама, при цьому кожна цифра результату залежить не більше ніж від однієї цифри одного або кількох… Велика радянська енциклопедія

семантика логічна — СЕМАНТИКА ЛОГІЧНА розділ логічної науки, в якому вивчають відносини виразів мови до об'єктів, що позначаються і виражається змісту. Якщо семантика як розділ семіотики має справу із загальнимиаспектами інтерпретації будь-якого типу… … Енциклопедія епістемології та філософії науки

Імплікація — Імплікація (лат. implicatio зв'язок) бінарна логічна зв'язка, за своїм застосуванням наближена до спілок «якщо… то…». Імплікація записується як посилка; застосовуються також стрілки іншої форми та спрямовані в іншу… … Вікіпедія

ПРОГРАМУВАННЯ ТЕОРЕТИЧНЕ - математична дисципліна, що вивчає математич. абстракції програм, що трактуються як об'єкти, виражені формальною мовою, що володіють певною інформаційною та логічною. структурою та підлягають виконанню на автоматич. пристроях. П. т.… … Математична енциклопедія

Ставлення еквівалентності — Цей термін має й інші значення, див. Еквівалентність. Відношення еквівалентності ( ) на множині це бінарне відношення, для якого виконані такі умови: Рефлексивність: для будь-якого в , Симетричність: якщо …

ЛОГІКА В УКАЇНІ - еволюція сучасної (математичної) логіки в УКАЇНІ. Кін. 19 ст. та поч. 20 ст. знаменують вихід логіки за рамки силлогістики та поява логіків новаторів, таких як П.С. Порецький, М.В. Карінський, Л.В. Рутковський, СІ. Поварнін, та ін Казанський ... ... Філософська енциклопедія

транзитивності закон - закон логіки, згідно з яким певний логічний зв'язок (імплікація, еквівалентність та ін) являє собою відношення транзитивності. Т. з. для умовного висловлювання (імплікації) можна передати так: коли вірно, що якщо перше, то... Словник термінів логіки

Синонімія — (від грец. synönymia однойменність) бінарне Відношення, в якому знаходяться будь-які два рівнозначні, але не тотожні вирази; під рівнозначністю розуміється співвіднесеність або з одним і тим же денотатом(Фактом, об'єктом і т. п.), ... ... Велика радянська енциклопедія

---