Див. Також в інших словниках:
закон дистрибутивности - (від англ. distribution розподіл, розміщення) загальна назва групи логічних законів схожої структури. Ці закони дозволяють розподілити одну логічний зв'язок щодо іншої. Повний 3. д. Кон'юнкції щодо диз'юнкції з ... ... Словник термінів логіки
Дистрибутивну ЗАКОН - (від лат. Distributus - розподілений), р а з п р е д е л і вальний закон, - закон, що виражає дистрибутивность (розподільчими) однієї даної логічний. або математичного. операції щодо ін. даної операції. Прикладом Д. з. може служити закон ... Філософська енциклопедія
Разместітельний закон - Дистрибутивність (від латинського distributivus «розподільний») властивість узгодженості двох бінарних операцій, визначених на одному і тому ж безлічі. Кажуть, що дві бінарні операції + і × задовольняють властивості дистрибутивности, якщо ... Вікіпедія
Розподільчий закон - Дистрибутивність (від латинського distributivus «розподільний») властивість узгодженості двох бінарних операцій, визначених на одному і тому ж безлічі. Кажуть, що дві бінарні операції + і × задовольняють властивості дистрибутивности, якщо ... Вікіпедія
АЛГЕБРА ЛОГІКИ - система алгебраїч. методів вирішення логічний. задач, а також сукупність завдань, що вирішуються такими методами. А. л. у вузькому сенсі слова алгебраїч. (Табличне, матричне) побудова класичні. логіки висловлювань, в якому розглядаються ... ... Філософська енциклопедія
АРИФМЕТИКА - мистецтво обчислень, вироблених з позитивними дійсними числами. Коротка історія арифметики. З давніх-давен робота з числами поділялась на дві різні області: одна стосувалася безпосередньо властивостей чисел, інша була ... ... Енциклопедія Кольєра
Диз'юнктивна нормальна форма - (ДНФ) в булевої логіки нормальна форма, в якій булева формула має вигляд диз'юнкції кон'юнкція літералів. Будь-яка булева формула може бути приведена до ДНФ. [1] Для цього можна використовувати закон подвійного заперечення, закон де Моргана, закон ... ... Вікіпедія
АЛГЕБРА - розділ елементарної математики, в якому арифметичні операції проводяться над числами, значення яких заздалегідь не задані. Переваги алгебраїчних методів обумовлені використанням досить компактних символічних систем, що зовні ... ... Енциклопедія Кольєра
некласичні логіки - некласична логіка широка область логічних досліджень, що виходить за межі або, навпаки, звужує область досліджень класичної логіки висловлювань і логіки предикатів. Ідеї для побудови Н. л. були висловлені ще до ... Енциклопедія епістемології і філософії науки
Алгебра логіки - розділ математичної логіки, що вивчає висловлювання, що розглядаються з боку їх логічних значень (істинність або хибність), і логічні операції над ними. А. л. виникла в середині 19 ст. в працях Дж. Буля (Див. Буль) і розвивалася ... ... Велика радянська енциклопедія
АЛГЕБРА ЛОГІКИ - розділ математичної логіки, що вивчає висловлювання, що розглядаються з боку їх логічний. значень (істинності пли хибності), і логічний. операцій над ними. А. л. виникла в сер. 19 в. в працях Дж. Буля (див. [1], [2]) і розвинулася потім в роботах Ч ... Математична енциклопедія
- Введення вищу алгебру .. Бохер М. Ця книга буде виготовлена в відповідності з Вашим замовленням за технологією Print-on-Demand. Однією з основних особливостей розвитку математики останнім часом є проникнення ... Детальніше Купити за 1950 руб
- Введення вищу алгебру .. Бохер М. Однією з основних особливостей розвитку математики останнім часом є проникнення алгебраїчних понять, методів та ідей в самі різні галузі математичної науки. Один з ... Детальніше Купити за 1810 грн (тільки Україна)