Содержание
35 отношения: Erlang, Low Level Virtual Machine, Mathcad, К1801ВМ1, КР580ВМ80А, Калькулятор, Квантовый компьютер, Код операции, Поисковая система, Алгоритм Rete, Аналоговый компьютер, Нормативный контроль, Стратегия вычисления, Сложение по модулю 2, Список логических символов, Тогда и только тогда, Темпоральная логика, Уровень регистровых передач, Функциональная полнота, Центральный процессор, Штрих Шеффера, Эригон, Пьер, Эгрегор, Экзистенциальная теория вещественных чисел, Мудрость, История «Яндекса», История информационных технологий, История математических обозначений, Законы де Моргана, Высказывание (логика), Гипоним и гипероним, Дендритная пластичность, Логическая константа, Логические элементы, Логика.
Erlang
Erlang — функциональный язык программирования с сильной динамической типизацией, предназначенный для создания распределённых вычислительных систем.
Посмотреть Логическая операция и Erlang
Low Level Virtual Machine
LLVM (ранее Low Level Virtual Machine) — универсальная система анализа, трансформации и оптимизации программ, реализующая виртуальную машину с RISC-подобными инструкциями.
Посмотреть Логическая операция и Low Level Virtual Machine
Mathcad
Mathcad — система компьютерной алгебры из класса систем автоматизированного проектирования, ориентированная на подготовку интерактивных документов с вычислениями и визуальным сопровождением, отличается лёгкостью использования и применения для коллективной работы.
Посмотреть Логическая операция и Mathcad
К1801ВМ1
Микросхема К1801ВМ1 — однокристальный 16-разрядный микропроцессор (ОМП), предназначен для обработки цифровой информации в системах управления тех.
Посмотреть Логическая операция и К1801ВМ1
КР580ВМ80А
КР580ВМ80А — 8-разрядный микропроцессор.
Посмотреть Логическая операция и КР580ВМ80А
Калькулятор
Современный инженерный калькулятор Калькуля́тор (calculātor «счётчик») — электронное вычислительное устройство для выполнения операций над числами или алгебраическими формулами.
Посмотреть Логическая операция и Калькулятор
Квантовый компьютер
3 кубита квантового регистра против 3 битов обычного Квантовый компьютер — вычислительное устройство, которое использует явления квантовой суперпозиции и квантовой запутанности для передачи и обработки данных.
Посмотреть Логическая операция и Квантовый компьютер
Код операции
Код операции, операционный код, опкод — часть машинного языка, называемая инструкцией и определяющая операцию, которая должна быть выполнена.
Посмотреть Логическая операция и Код операции
Поисковая система
Поиск информации во Всемирной паутине был трудной и не самой приятной задачей, но с прорывом в технологии поисковых систем в конце 1990-х годов осуществлять поиск стало намного удобней Поиско́вая систе́ма (search engine) — это компьютерная система, предназначенная для поиска информации.
Посмотреть Логическая операция и Поисковая система
Алгоритм Rete
Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона.
Посмотреть Логическая операция и Алгоритм Rete
Аналоговый компьютер
Ана́логовый компьютер или ана́логовая вычисли́тельная маши́на (АВМ) — вычислительная машина, которая представляет числовые данные при помощи аналоговых физических параметров (скорость, длина, напряжение, сила тока, давление), в чём и состоит его главное отличие от цифровой ЭВМ.
Посмотреть Логическая операция и Аналоговый компьютер
Нормативный контроль
Нормати́вный контро́ль (Authority control) в — организация библиотечных каталогов и библиографической информации путём присвоения каждой теме определённого названия.
Посмотреть Логическая операция и Нормативный контроль
Стратегия вычисления
Стратегия вычисления (evaluation strategy) — правила семантики языка программирования, определяющие, когда следует вычислять аргументы функции (метода, операции, отношения), и какие значения следует передавать.
Посмотреть Логическая операция и Стратегия вычисления
Сложение по модулю 2
Рис. 1 График побитового исключающего «или» Сложе́ние по мо́дулю 2 (логи́ческая неравнозна́чность, исключа́ющее «ИЛИ», строгая дизъюнкция, XOR, поразрядное дополнение, побитовый комплемент, жегалкинское сложение, логическое вычитание) — булева функция, а также логическая и битовая операция.
Посмотреть Логическая операция и Сложение по модулю 2
Список логических символов
В логике обычно используется много символов для выражения логических сущностей.
Посмотреть Логическая операция и Список логических символов
Тогда и только тогда
↔ ⇔ ≡ Логические символы, изобра-жающие тогда и только тогда.
Посмотреть Логическая операция и Тогда и только тогда
Темпоральная логика
Темпоральная логика (temporal logic) — это логика, в высказываниях которой учитывается временной аспект.
Посмотреть Логическая операция и Темпоральная логика
Уровень регистровых передач
Разработка синхронных цифровых интегральных схем на уровне передач данных между регистрами (register transfer level, RTL — уровень регистровых передач) — способ разработки синхронных (англ.) цифровых интегральных схем, при применении которого работа схемы описывается в виде последовательностей логических операций, применяемых к цифровым сигналам (данным) при их передаче от одного регистра к другому (не описывается, из каких электронных компонентов или из каких логических вентилей состоит схема).
Посмотреть Логическая операция и Уровень регистровых передач
Функциональная полнота
Функциональная полнота множества логических операций или булевых функций — это возможность выразить все возможные значения таблиц истинности с помощью формул из элементов этого множества.
Посмотреть Логическая операция и Функциональная полнота
Центральный процессор
Intel Core i7 2600K Socket LGA1155, вид сверху, термораспределительная защитная крышка и текстолитовая платформа Intel Xeon E7440, кристалл с очищенной поверхностью (видна 45 нм литография) в сравнении с размером теплораспределительной крышки для него Intel Core i7 2600K Socket LGA1155, вид снизу, контактные площадки текстолитовой платформы Центра́льный проце́ссор (ЦП; также центра́льное проце́ссорное устро́йство — ЦПУ; central processing unit, CPU, дословно — центральное обрабатывающее устройство) — электронный блок либо интегральная схема (микропроцессор), исполняющая машинные инструкции (код программ), главная часть аппаратного обеспечения компьютера или программируемого логического контроллера.
Посмотреть Логическая операция и Центральный процессор
Штрих Шеффера
Штрих Ше́ффера — бинарная логическая операция, булева функция над двумя переменными.
Посмотреть Логическая операция и Штрих Шеффера
Эригон, Пьер
Пьер Эриго́н (Pierre Hérigone, свои труды он подписывал латинизированным именем Petrus Herigonius, 1580? — 1643) — французский и астроном.
Посмотреть Логическая операция и Эригон, Пьер
Эгрегор
Эгре́гор (от ἐγρήγορος «бодрствующий») — в оккультных и новых (нетрадиционных) религиозных движениях — «ментальный конденсат», порождаемый мыслями и эмоциями группы (общности) людей и обретающий самостоятельное бытие; душа вещи (реликвии).
Посмотреть Логическая операция и Эгрегор
Экзистенциальная теория вещественных чисел
Экзистенциальная теория вещественных чисел — это множество всех верных утверждений вида где F(X_1,\dots X_n) — это, в которую входят равенства и неравенства вещественных многочленов.
Посмотреть Логическая операция и Экзистенциальная теория вещественных чисел
Мудрость
Джордж Уитер. Эмблема мудрости. 1635. Му́дрость имеет несколько близких, но отличающихся значений.
Посмотреть Логическая операция и Мудрость
История «Яндекса»
Логотип «Яндекса», 1997 год Поисковая система Яndex-Web была представлена широкой публике 23 сентября 1997 года на выставке Softool.
Посмотреть Логическая операция и История «Яндекса»
История информационных технологий
Исто́рия информацио́нных техноло́гий берёт своё начало задолго до возникновения современной дисциплины информатика, появившейся в XX веке.
Посмотреть Логическая операция и История информационных технологий
История математических обозначений
справа История математических обозначений — история разработки символов, используемых для компактной записи математических уравнений и формул.
Посмотреть Логическая операция и История математических обозначений
Законы де Моргана
Диаграммы Венна, описывающие законы де Моргана Представление правил де Моргана через логические элементы Законы де Мо́ргана (правила де Мо́ргана) — логические правила, связывающие пары логических операций при помощи логического отрицания.
Посмотреть Логическая операция и Законы де Моргана
Высказывание (логика)
Выска́зывание — в математической логике предложение, выражающее суждение.
Посмотреть Логическая операция и Высказывание (логика)
Гипоним и гипероним
Гипо́ним (ὑπό «под, внизу» + όνομα «имя») — понятие, выражающее частную сущность по отношению к другому, более общему понятию.
Посмотреть Логическая операция и Гипоним и гипероним
Дендритная пластичность
Дендритная пластичность — это характерный для ЦНС фундаментальный механизм, который лежит в основе синаптической потенциации и является ключевым для формирования памяти, обучения и когнитивных способностей, для нормального функционирования мозга.
Посмотреть Логическая операция и Дендритная пластичность
Логическая константа
В логике, логической константой формального языка \mathcal является символ, который имеет то же семантическое значение при любой в \mathcal.
Посмотреть Логическая операция и Логическая константа
Логические элементы
Логические элементы — устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого — «1» и низкого — «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике, последовательностями «0», «1», «2», «3», «4», «5», «6», «7», «8» и «9» в десятичной логике).
Посмотреть Логическая операция и Логические элементы
Логика
гроте изображён Парменид, с которым логическая аргументация проложила себе путь в философию. Ло́гика (λογική — «наука о правильном мышлении», «способность к рассуждению» от λόγος — «рассуждение», «мысль», «разум») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке.
Посмотреть Логическая операция и Логика
Также известен как Пропозициональная связка.