-
1 буля
ж( кристала) boule -
2 логічні числення
ЛОГІЧНІ ЧИСЛЕННЯ - формалізовані дедуктивні системи, подані разом з їх інтерпретацією. Традиція використовувати числення для представлення знань і вирішення задач певного виду має походження з геометрії Евкліда. Прикладами числень є диференціальне й інтегральне числення, що розроблені в працях Ньютона та Ляйбніца і становлять основу математичного аналізу. Уточнення цього поняття здійснене в логіці математичній. Загальна теорія числень побудована Гільбертом, який, до того ж, дав аксіоматичне представлення геометрії Евкліда. Першими власне Л.ч. є алгебра логіки Буля, а також числення висловлювань та поширене числення предикатів Фреге, які частково втілюють ідею Ляйбніда про універсальну мову, що формалізує будь-які міркування. Базовими Л. ч. є числення висловлювань і числення предикатів.
См. также в других словарях:
буля — и, ж. boule f. Утолщение в кристалле корунда при обработке камня. Рус. самоцветы … Исторический словарь галлицизмов русского языка
буля — сущ., кол во синонимов: 1 • миллиард (6) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
буля — лі, ж. Вр. Гуля. Впав єм й вискочила мі буля на челі … Словник лемківскої говірки
БУЛЯ БОЛЕЗНЬ — (Buhl), в прежнее время считавшаяся самостоятельной формой, ныне имеет лишь исторический интерес. Она была описана Булем и Геккером (Hecker) в 1861 г. под именем «острого жирового перерождения» новорожденных. Характеризуется… … Большая медицинская энциклопедия
Буля — миллиард. От англ. billion миллиард … Русский биржевой жаргон
Буля болезнь — (L. Buhl, 1816 1880, нем. патолог) форма сепсиса новорожденных, характеризующаяся желтухой и кровоизлияниями в кожу, слизистые оболочки и внутренние органы … Большой медицинский словарь
Буля методика психотерапии — (Буль П.И., 1960). Комплексное применение в психотерапевтических целях гипноза, электросна и в процессе последнего фармакологических средств с отрицательного полюса электрода аппарата для электросна. Предложена для лечения больных бронхиальной… … Толковый словарь психиатрических терминов
рубиновая буля — rubino ruošinys statusas T sritis radioelektronika atitikmenys: angl. ruby boule vok. Rubinrohling, m rus. рубиновая буля, f; рубиновая заготовка, f pranc. boule de rubis, f … Radioelektronikos terminų žodynas
алгебра буля — исторически первый раздел математической логики, разработанный ирландским логиком и математиком Дж. Булем в середине XIX в. Буль применил алгебраические методы для решения логических задач и сформулировал на языке алгебры некоторые… … Словарь терминов логики
Алгебра Буля — … Википедия
Булатова – Буля методика психотерапии — (Булатов П.К., Буль П.И., 1956). Сочетанное применение электросна и гипноза. Вначале с помощью аппарата для электросна создается глубокое сонное торможение, на фоне которого производится гипнотическое внушение. Последовательность электросна и… … Толковый словарь психиатрических терминов
