Арифметические и логические основы работы компьютера

 

Логика, как наука развивается с IV в. до н. э. начиная с трудов Аристотеля. Именно он подверг анализу человеческое мышление, такие его формы, как понятие, суждение, умозаключение.

Логика – (от греч. “логос”, означающего “слово” и “смысл”) – наука о законах, формах и операциях правильного мышления. Ее основная задача заключается в нахождении и систематизации правильных способов рассуждения.

Рис. 1. Основные формы абстрактного мышления

Понятие – это форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов. Всякое понятие имеет содержание и объем. Например, понятие “Черное море” – отражает единичный предмет, “Сиамская кошка” – отражает класс сиамских кошек.

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

Умозаключение – логическая операция, в результате которой из одного или нескольких данных суждений получается (выводится) новое суждение. Умозаключения бывают: Дедуктивные (от общего к частному) – Все ученики ходят в школу. Вася – ученик. Вася ходит в школу. Индуктивные (от частного к общему) – Банан и персик – сладкие. Значит, все фрукты сладкие на вкус. Аналогия – Наши коровы едят траву и дают молоко. В Австралии есть поля, коровы едят эту траву. Следовательно, австралийские коровы тоже дают молоко.

В алгебре логики высказывания обозначаются именами логических переменных (А, В, С). Истина, ложь – логические константы.

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

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








Дата добавления: 2017-10-09; просмотров: 3913;


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

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

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

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