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. Форматирование текстового документа. Установка параметров страницы, вставка номеров страниц, колонтитулов, гиперссылок, изменение параметров шрифта и абзаца.
------------------------------------------------------------------------------------------------------------------------


 

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

23647. Как Это Сказать По-Английски 5.07 MB
  Суть метода Прежде чем объяснить суть метода давайте постараемся выяснить почему живя в чужой стране и постоянно слыша иноязычную речь человек просто так сам по себе может выучить язык этой страны причем чем человек моложе тем меньше времени ему нужно чтобы свободно заговорить почужому. УРОК 1 Я ДЕЛАЮ ЭТО ОБЫЧНО ТЕОРЕТИЧЕСКИЙ МАТЕРИАЛ ОБЫЧНО –usually КАЖДЫЙ ДЕНЬ –every day ДВАЖДЫ В НЕДЕЛЮ –twice a week 4 РАЗА В МЕСЯЦ –4 times a month ПО ВОСКРЕСЕНЬЯМ –on Sundays ПО ВЫХОДНЫМ –at weekends on one's free days ПО БУДНЯМ...
23648. ЧТЕНИЕ И ПЕРЕВОД АНГЛИЙСКОЙ НАУЧНОЙ И ТЕХНИЧЕСКОЙ ЛИТЕРАТУРЫ 2.53 MB
  Словазаменители [4. Английские звонкие согласные звуки в конце слова [4. Английские глухие согласные звуки в конце слова [4. Звуковое значение буквосочетания 'wa' в начале слова [4.
23650. Поиск списка реакций химического синтеза 145.5 KB
  Список элементарных химических реакций типа a b  i можно выразить в виде фактовпредикатов: rxn i[ab]. В целях упрощения представим в виде исходных фактов только эти необходимые реакции: rxn w [j r]. rxn j [c d]. rxn r [k l].
23651. Поиск пути в порождаемом пространстве состояний (на примере игры «восьмёрка») 97.5 KB
  1й список исходное состояние 2й список состояние после одноходовой допустимой перестановки. попадания в пройденные вершины графа необходимо вести список пройденных состояний. Здесь Yсписок характеризующий начальное состояние; Xs список характеризующий заданное конечное состояние. Третий аргумент предиката trans1 список пройденных состояний список списков.
23652. Экспертная система по составлению учебных расписаний 59 KB
  При составлении расписаний лучше исходить не из заданной цели к тому же трудно сформулировать какое расписание €œлучше€ а из возможностей комбинирования учебных дисциплин. Далее можно попытаться оценить относительную ценность полученных расписаний их уже будет не так много с точки зрения быстрейшего и полного освоения дисциплин специализации в необходимой пропорции с факультативными и общеобразовательными курсами. Представим что студенту желающему специализироваться в конкретной области предоставлена возможность самостоятельного...
23653. Логическое программирование задачи поиска пути на конечных графах пространства состояний 680 KB
  Рассмотрим ориентированный ациклический граф: Наличие ориентированной связи двух соседних вершин отображается в программе в виде фактовпредикатов edgex y. edgeac. edgecf. edgefh.
23654. Разработка графического интерфейса и базы данных каскадной системы регулирования температуры, расхода и концентрации в процессе ректификации стирола 3.53 MB
  Листинг программы unit Unit1; interface uses Windows Messages SysUtils Variants Classes Graphics Controls Forms Dialogs Grids ComCtrls ExtCtrls DBCtrls DBGrids StdCtrls Buttons DB DBTables ImgList ToolWin Mask TeEngine Series TeeProcs Chart DbChart Animate GIFCtrl; type TForm1 = classTForm PageControl1: TPageControl; TabSheet1: TTabSheet; TabSheet3: TTabSheet; PageControl2: TPageControl; TabSheet5: TTabSheet; DBNavigator1: TDBNavigator; DBGrid1: TDBGrid; BitBtn1: TBitBtn;...
23655. Управление качеством электронных средств 423 KB
  Непрерывной случайной величиной СВ называется величина которая при испытании может принять любое значение из заданного диапазона. Любое распределение характеризуется определенными характеристиками важнейшими из которых являются среднее значение и дисперсия. Несмещенной является оценка среднее значение которой совпадает со средним значением генерал ной совокупности. Здесь оценка истинное значение характеристики – оператор усреднения.