Воскресенье
11.12.2016
05:12
Категории каталога
общая физика [11]
механика [2]
молекулярная физика и термодинамика [0]
электричество и магнетизм [2]
колебания и волны [4]
оптика, квантовая физика [2]
атомная и ядерная физика [0]
общая информатика [21]
архитектура компьютера [5]
обучение работе с программами [14]
информационные процессы [5]
программирование [6]
моделирование и формализация [3]
коммуникационные технологии [4]
математика [17]
музыка [19]
другие [13]
планы и программы [28]
стихи [2]
аттестация учителей [15]
сценарии к мероприятиям [4]
Форма входа
Поиск
Статистика посещений
Нижний Новгород Online
Проголосуй за наш сайт

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Сопутствующие сайты
Наши сайты: Наши странички на других сайтах: Наши соседи:
Наш опрос
Какие опасности в интернете вы считаете наиболее опасными?
Всего ответов: 2669
Мини-чат
200
Моим ученикам
Главная » Файлы » текстовые файлы » информационные процессы

Элементы логики
[ Скачать с сервера (31.1Kb) ] 04.02.2009, 15:19

Основные понятия формальной логики

Умение правильно рассуждать необходимо в любой области человеческой деятельности. Логика, как наука о том какие формы рассуждений правильны возникла немногим более двух тысяч лет тому назад.  Аристотель исследовал различные формы суждений  и их комбинаций. Ввел понятие силлогизма,  т.е. рассуждения , в котором из заданных двух суждений выводится третье. (Пример: «Все млекопитающие имеют скелет. Все киты млекопитающие. Следовательно, все киты имеют скелет») Логика, основанная на теории силлогизмов, называется классической.

Сам термин «логика» происходит от древнегреческого logos, означающего «слово, мысль, понятие,  рассуждение, закон».

Логика использует ряд основных понятий и описывает действия над ними, подчиняющиеся законам логики. К этим основным понятиям логики относятся следующие.

Высказывание (суждение) – некоторое предложение, которое может быть истинно (верно) или ложно. Заметим. Что любое высказывание не может быть одновременно истинным и ложным, а принимает только одно из этих двух возможных логических значений: ИСТИНА или ЛОЖЬ. Эти значения называются логическими постоянными, или логическими константами.

Утверждение – суждение, которое требуется доказать или опровергнуть, например, сумма внутренних углов треугольника равна 180°.

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

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

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

Логическое выражение представляет собой запись или устное утверждение, в которое наряду с постоянным, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая единица_ или ЛОЖЬ (логический ноль).

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

Поскольку основы такой алгебры были заложены в трудах ирландского Джорджа Буля   (середина  CIC века), то алгебра логики получила также название булевой алгебры. Таким образом математический аппарат булевой алгебры позволил формализовать действия над логическими выражениями и явился базой для разработки логических элементов и в, целом логических основ для построения компьютера.

Далее рассматриваются логические операции и таблицы истинности.
Обработка любой информации на компьютере сводится к выполнению процессором различных арифметических и логических операций. Для этого в состав процессора входит так называемое арифметико-логическое устройство. Оно состоит из ряда устройств, построенных на рассмотренных выше логических элементах. Важнейшими из таких устройств являются регистры и сумматор.

Регистр представляет собой электронный узел, предназначенный для хранения многоразрядного двоичного числового кода. Такой код может быть числовым кодом команды, выполняемой процессором, либо кодом некоторого числа (данного), которое используется при выполнении данной команды. Упрощенно можно представить регистр как совокупность ячеек, в каждой из которых может быть записано одно из двух значений: 0 или 1, то есть один разряд двоичного числа.

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

Сумматор – это электронная схема, предназначенная для выполнения операции суммирования двоичных числовых кодов. При суммировании по правилам двоичной арифметики двух единиц результат равен 10 и происходит перенос в старший двоичный разряд. Для реализации простейшей операции суммирования одноразрядных двоичных чисел используется логическая схема (одноразрядный сумматор), составленная из следующих логических элементов: двух элементов И, одного элемента ИЛИ и одного элемента НЕ. Эта схема имеет три входа (два слагаемых и возможный перенос из предыдущего разряда) и два выхода (сумма и  возможный перенос в следующий разряд). Многоразрядный сумматор строится как логическая схема на основе одноразрядных двоичных сумматоров.

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

Категория: информационные процессы | Добавил: mychildren
Просмотров: 1361 | Загрузок: 255 | Рейтинг: 5.0/1 |
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]