20007

Логические величины, операции, выражения. Логические выражения в качестве условий в ветвящихся и циклических алгоритмах

Шпаргалка

Информатика, кибернетика и программирование

Выделяют три основные: поняти высказывание и умозаключение. Высказывание это фомулировка своего понимания окружающего мира. Высказывание является повествовательным преждложением в котором чтолибо отрицается или утверждается. По поводу высказывание можно сказать истинно оно или ложно.

Русский

2013-07-25

49 KB

0 чел.

Билет 9

------------------------------------------------------------------------------------------------------------------------
1. Логические величины, операции, выражения. Логические выражения в качестве условий в ветвящихся и циклических алгоритмах.
------------------------------------------------------------------------------------------------------------------------

Логика - это наука о формах и способах мышления.

Основоположником формальной логики является Аристотель, который впервые отделил логические формы мышления от его содержания.

Мышление всегда осуществляется в каких-то формах. Выделяют три основные: поняти, высказывание и умозаключение.

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

По поводу высказывание можно сказать, истинно оно или ложно. Истинным будет высказывание, в котором связь понятий правильно отражает свойства отношения реальных вещей. Ложным высказывание будет, если оно противоречит реальной действительности.

Пример: "Буква а - гласная". (это истинное высказвание).

Алгебра логики

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

Логическая переменная - это простое высказывание, содержащее только одну мысль. Ее символическое обозначание - латинская буква (например, A, B,C,F). Значением логическое меременной могут быть только констансты ИСТИНА (1) и ЛОЖЬ (0).

Составное высказывание - логическая функция, которая содержит несколько простых мыслей, соединенных между собой с помощью логических операций. Ее символическое обозначение - F.

На основании простых высказываний могут быть построены составные высказывания.

Логические операции - логические действие.

Базовые логические операции:

1. Логическое умножение (конъюнкция)

(соответсвует союз "И")

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

А

В

F = A /\ B

0

0

0

0

1

0

1

0

0

1

1

1

2. Логическое сложение (дизъюнкция)

(соответсвует союз "ИЛИ")

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

А

В

F = A \/ B

0

0

0

0

1

1

1

0

1

1

1

1

3. Логическое отрицание (инверсия)

(соответсвует частица "НЕ")

Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное – истинным .

А

F = A

0

1

1

0

Логические выражения в алгоритмах

Логическое выражение при выполнении алгоритма принимает одно из двух знаничений:"истина" или "ложь". В логических выражниях действией (операцией) является сравнение (отношение).

Существуют следующие операции сравнения:

знак

операция

=

равно

<>

не равно

>

больше

<

меньше

>=

больше или равно

<=

меньше или равно

Пример использования логического выражения в качестве условий в ветвящемся алгоритме

Задача. Дана температура человека. Определить, болен ли он.

алг Температура
вещ t
нач ввод t
если t=36.6
то вывод "здоров"
иначе вывод "болен!"
кв
кон

В качестве условия - логическое выражение t=36.6.
Если условие является истинным, то идет вывод сообщения о том, что человек здоров (ведь нормальная температура 36.6 градусов. Если условие является ложным - ветка
иначе (т.е. температура выше или ниже нормы), то вывод сообщения о том, что человек болен.

Пример использования логического выражения в качестве условий в циклическом алгоритме

Задача. Дано целое положительное число N. Вычичслить факториал этого числа: N! = 1 x 2 x 3 x ... x N.

алг Факториал1
цел f,n,r
нач ввод n
f:=1
r:=1
пока <=n, повторять
нц
f:=f*r
r:=r+1
кц
вывод "Факториал", f
кон

------------------------------------------------------------------------------------------------------------------------
2. Форматирование текстового документа. Установка параметров страницы, вставка номеров страниц, колонтитулов, гиперссылок, изменение параметров шрифта и абзаца.
------------------------------------------------------------------------------------------------------------------------


 

А также другие работы, которые могут Вас заинтересовать

48212. Фінанси курс лекцій 3.08 MB
  Грошовий характер фінансів — важлива ознака фінансів. Гроші є обовязковою умовою існування фінансів. Фінанси – це грошові відносини, які виникають у процесі розподілу та перерозподілу вартості валового суспільного продукту і частини національного багатства у звязку з формуванням грошових прибутків та нагромаджень у субєктів господарювання і держави та використанням їх на поширене відтворення, матеріальне стимулювання робітників, задоволення соціальних та інших потреб суспільства.
48213. Організація надання туристичних послуг у готелях та туристично-рекреаційних комплексах 167 KB
  Туристичне обслуговування в готелях. Екскурсійне обслуговування. Програмне забезпечення організації туристичного обслуговування. ТУРИСТИЧНЕ ОБСЛУГОВУВАННЯ В ГОТЕЛЯХ.
48217. ТЕОРИЯ ГОСУДАРСТВА И ПРАВА 3.94 MB
  Теория государства и права: Курс лекций Под ред. ПРЕДИСЛОВИЕ Литература по общей теории государства и права пока еще не отражает в полной мере тех глубоких перемен которые происходят сегодня в России. Книга рассчитана как на студентов первых курсов только начинающих изучать основы теории государства и права так и на студентоввыпускников уже получивших необходимую подготовку.
48218. Теория массовой коммуникации 388 KB
  Массовая коммуникация - процесс распространения информации с помощью технических средств (пресса, радио, телевидение и др.) на численно большие, рассредоточенные аудитории
48219. ТЕОРІЯ ЕЛЕКТРИЧНИХ КІЛ 4.42 MB
  Теорія та розрахунок трифазних лінійних кіл На попередніх лекціях ми розглядали кола однофазного змінного струму а саме такі кола в яких кожне джерело енергії створює лише одну синусоїдну ЕРС. Але на практиці основна кількість електричної енергії генерується і споживається в формі трифазного струму. Шестифазні струми використовуються при перетворенні змінного струму в постійний. Позитивний напрям фазних ЕРС приймаємо від кінця обмотки до початку напруги – від початку до кінця а позитивний напрям струму співпадає з позитивним напрямом...