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

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

2логическа еквивалентност

3логическа еквивалентност

4логическа еквивалентност

5логическа еквивалентност

6логическа еквивалентност

7логическа еквивалентност

8логическа еквивалентност

9логическа еквивалентност

10логическа еквивалентност

операция за еквивалентност — операция за еквивалентност

отношение на еквивалентност

алгебрична еквивалентност — алгебрична еквивалентност

equivalence dependency - зависимост от еквивалентност

статистическа еквивалентност — статистическа еквивалентност

Вижте и други речници:

Еквивалентност — В математиката и логиката: Отношението на еквивалентност е двоично отношение. Еквивалентността (или материалната еквивалентност) е логическа операция. Логическа връзка на еквивалентност между твърдения ... Уикипедия

ЛОГИЧЕСКАТА СЕМАНТИКА е клон на металогията, в който се изучават интерпретации на логически изчисления. Основен концепции на L. s. могат да бъдат разделени на 2 групи: (1) концепции, приложение към ryh към логически изрази. смятането значително зависи от избора на интерпретация (вижте също Модел) ... ... Философска енциклопедия

Логическа операция — в цифровия компютър побитова операция върху кодове с произволна дължина според правилата на алгебрата на логиката. Л. о. същото се прави за всички цифри на кодовете, докато всяка цифра от резултата зависи от не повече от една цифра на един или повече ... ... Велика съветска енциклопедия

логическа семантика — ЛОГИЧЕСКАТА СЕМАНТИКА е клон на логическата наука, който изучава връзката на езиковите изрази с обозначените обекти и изразеното съдържание. Ако семантиката като дял от семиотиката се занимава с общаспекти на интерпретация от всякакъв тип ... ... Енциклопедия на епистемологията и философията на науката

Импликация — Импликация (лат. implicatio връзка) е двоична логическа връзка, по своето приложение близка до обединенията „ако ... то ...“. Импликацията е написана като предпоставка на следствието; използват се и стрелки с различна форма и насочени към друга ... ... Wikipedia

ТЕОРЕТИЧНО ПРОГРАМИРАНЕ - математическа дисциплина, която изучава математиката. абстракции на програми, третирани като обекти, изразени на формален език, с определена информация и логика. структура и подлежи на изпълнение на автомат. устройства. П. т. ... ... Математическа енциклопедия

Отношение на еквивалентност — Този термин има други значения, вижте Еквивалентност. Връзката на еквивалентност ( ) върху набор е двоична релация, за която са изпълнени следните условия: Рефлексивност: за всяко в , Симетрия: ако ... Wikipedia

ЛОГИКАТА В БЪЛГАРИЯ е еволюцията на съвременната (математическа) логика в България. Con. 19 век и рано 20-ти век бележат излизането на логиката от рамките на силогистиката и появата на новаторски логики, като P.S. Порецки, М.В. Карински, Л.В. Рутковски, С.И. Поварнин и др. Казански ... ... Философска енциклопедия

закон за транзитивност — законът на логиката, според който определена логическа връзка (импликация, еквивалентност и т.н.) е отношение на транзитивност. Т. ч. за условно твърдение (импликация) може да се предаде по следния начин: когато е вярно, че ако първото, тогава ... ... Речник на логическите термини

Синонимия — (от гръцки synönymia едноименен) двоична връзка, в която всеки два израза са еквивалентни, но не и идентични; еквивалентността се разбира като корелация или със същия денотат(факт, обект и т.н.), ... ... Велика съветска енциклопедия