АЛГЕБРА ЛОГИКИ


АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. В формулах Алгебры логики переменные являются логическими или двоичными, т. е. принимающими только два значения — ложь и истина, которые обозначаются соответственно 0 и 1. Любая программа 〈см.〉 для ЭВМ содержит логические операции.

Подробнее

АЛГЕБРА БУЛЕВА


АЛГЕБРА БУЛЕВА — в информатике — математическая логика, предложенная Дж. Булем, объектами которой являются исследования высказываний (суждений), над которыми производятся операции, аналогичные операциям над числами в алгебре. В алгебре логики 〈см.〉 принято абстрагированно отождествлять истинность высказывания с числом 1, а ложность — с числом 0. Соответственно, булево выражение обозначает выражение из основных логических операций («не», «и», «или»), осуществляемых в компьютере логическими устройствами, с которыми работает программа. (См. отрицание, конъюнкция, дизъюнкция, импликация.)

Подробнее

АЛГЕБРА


АЛГЕБРА — часть матем. науки, в которой изучаются свойства величин, выраженных буквами, независимо от их числового значения. В первоначальном понимании Алгебра мыслится как учение о решении уравнений. В современном понимании Алгебра изучает общую теорию совокупностей (напр., теорию групп), в которых определены алгебраические операции, похожие по свойствам на операции, производимые над числами.

Подробнее

АКЦЕПТОР


АКЦЕПТОР — примесный атом или какой-либо другой дефект 〈см. (2)〉 кристаллической решётки полупроводника, захватывающий электроны из валентной зоны и обусловливающий дырочную (см. дырка) проводимость полупроводника 〈см.〉.

Подробнее
1 2 3 4 14