Логические основы построения компьютера

 

На прошлых лекциях, мы ознакомились с физическим устройством компьютера и разобрались, что изначально вся обработка информации в компьютере сводится к операциям над последовательностями 0 и 1. Операциям логическими и арифметическими. А сегодня мы рассмотрим схемы, благодаря которым и осуществляются эти операции.

На данной лекции мы разберемся с основными логическими элементами, лежащими в основе построения компьютера.

Начнем с элементарных понятий формальной логики.

Логика(греч. «логос» - мысль, слово )– это наука о законах и формах мышления. Логика использует ряд основных понятий и описывает действия над ними.

К основным понятиям логики относят:

Высказывание(суждение) – некоторое предложение, которое может быть истинно (1) или ложно (0). Вопросительные и восклицательные предложения не могут быть высказываниями. Нельзя однозначно сказать истинно оно или ложно.

 

и (1) л (0) – логические константы.

 

Утверждение – это суждение, требующее доказательства или опровержения. Например, «Сумма углов треугольника равна 180».

Рассуждение – цепочка высказываний или утверждений, определенным образом связанных друг с другом.

Например, так «Если …. , то……..»

Умозаключение – логические операции, в результате которых из одного или нескольких данных суждений получается новое суждение.

 

Область знаний, которая изучает истинность или ложность высказываний – математическая логика.

Утверждение в математической логике называют логическим выражением. Логическое выражение представляет собой запись или устное утверждение, в котором наряду с постоянными, обязательно входят переменные величины. (в зависимости от которых можно определить истинность или ложность)

 

Пример

a>5. или «Объем оперативной памяти равен 32 Мб»

 

Алгебра логики – описывает действия над логическими выражениями. Основы такой алгебры зародились в трудах Дж. Буля в 19 в. Поэтому очень часто такая алгебра называется Булевой.

Все логические операции над логическими выражениями выполняются по правилам этой алгебры.

 

Такой математический аппарат позволяет формировать действия над логическими выражениями, он и явился базой для разработки логических основ компьютера.

 








Дата добавления: 2015-07-04; просмотров: 945;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.006 сек.