- Заглавие: ЛОГИЧЕСКИЕ ОСНОВЫ И ЭЛЕМЕНТЫ ЭВМ
- Год актуализации: 2013
- УДК: 004 Информационные технологии. Вычислительная техника...
- ББК: 3281 Кибернетика
- Тематики:
ИНФОРМАТИКА
- Биб. карточка:
ЛОГИЧЕСКИЕ ОСНОВЫ И ЭЛЕМЕНТЫ ЭВМ [Архитектура ЭВМ и вычислит. систем: Уч. / Н.В. Максимов -5изд.-М.:Форум:НИЦ ИНФРА-М,2017-512с(ПО)(П)]
- Источник публикации: Архитектура ЭВМ и вычислительных систем: справочник
- Фрагмент статьи: ЛОГИЧЕСКИЕ ОСНОВЫ И ЭЛЕМЕНТЫ ЭВМ Начало исследований в области формальной логики было поло- жено работами Аристотеля в IV в. до нашей эры. Однако строго формализованный подход к проблеме впервые был предложен Дж. Булем. В честь него алгебру высказывания называют б у л е в о й ( б у л е в с к о й ) а л г е б р о й , а логические значения – б у л е - в ы м и ( б у л е в с к и м и ) . Основу математической логики со- ставляет алгебра высказываний. Алгебра