* Данный текст распознан в автоматическом режиме, поэтому может содержать ошибки

АЛМАЗ 15 раженных буквами, независимо от их числового значения. В первоначальном понимании А. мыслится как учение о ре шении уравнений. В современном пони мании А. изучает общую теорию совокуп ностей (напр., теорию групп), в которых определены алгебраические операции, похожие по свойствам на операции, про изводимые над числами. АЛИДАДА — в астрономических и гео дезических угломерных инструментах линейка с верньерами ?см.? или микро скопами на концах для точного отсчета положения по лимбу ?см.?, вокруг цен тра которого А. может поворачиваться на оси. АЛКАЛОИДЫ — азотосодержащие органические соединения основного ха рактера, преимущественно растительного происхождения; многие из них — силь нейшие яды; большинство алкалоидов применяют в медицине как ценные ле карственные препараты (хинин, кофеин, стрихнин и др.). АЛЛОТРОПИЯ — свойство некоторых хим. элементов в свободном виде сущес твовать в нескольких видоизменениях (модификациях), различных по стро ению кристаллической решетки, физ. и хим. свойствам, напр. углерод сущес твует в виде угля, графита и алмаза. АЛМАЗ — минерал, аллотропическая (аллотропная) модификация самородно го углерода, магматического происхож дения (кимберлитовые трубки), образу ет также россыпи драгоценного камня. Огранённый А. называют бриллиантом. Самородные кристаллы А. большей час тью бесцветны, реже окрашены в жёл тые, синие, розовые и даже чёрные цве та. По твёрдости А. превосходит все из вестные вещества (по минералогической шкале Мооса она равна 10); плотность АЛГЕБРА БУЛЕВА — в информати ке — математическая логика, предло женная Дж. Булем, объектами которой являются исследования высказываний (суждений), над которыми производят ся операции, аналогичные операциям над числами в алгебре. В алгебре логи ки ?см.? принято абстрагированно отож дествлять истинность высказывания с числом 1, а ложность — с числом 0. Соответственно, булево выражение обоз начает выражение из основных логичес ких операций («не», «и», «или»), осу ществляемых в компьютере логическими устройствами, с которыми работает про грамма. (См. отрицание, конъюнкция, дизъюнкция, импликация.) АЛГЕБРА ЛОГИКИ — раздел матема тической логики, изучающий строение сложных логических высказываний и способы установления их истиннос ти с помощью алгебраических методов. В формулах А. л. переменные являются логическими или двоичными, т. е. прини мающими только два значения — л о ж ь и и с т и н а, которые обозначаются со ответственно 0 и l. Любая программа ?см.? для ЭВМ содержит логические операции. АЛГОЛ — названия ряда языков про граммирования, применяемых при со ставлении программ для решения на учно технических задач на цифровой вычислительной машине. АЛГОРИТМ — точное предписание, од нозначно задающее процесс преобразо вания исходной информации в последо вательность операций, позволяющих ре шать совокупность задач определённого класса и получать искомый результат. Алидада 1 с лимбом 2