рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Алгебра высказываний

Алгебра высказываний - раздел Программирование, По дисциплине Основы алгоритмизации и программирования   Действия И Преобразования, Применяемые В Обычной Алгеб­ре, В ...

 

Действия и преобразования, применяемые в обычной алгеб­ре, в которой буквами обозначаются числа, основываются на не­большом числе определений и формул.

• Существует арифметическое действие, называемое сложе­нием и обозначаемое знаком +. Устанавливается, что для каждой пары данных двух чисел а и b существует единственное опреде­ленное число с, называемое суммой чисел а и Ь. Действие сло­жения обладает переместительным и сочетательным свойствами. Отсюда формулы:

1) a + b = с (существование единственной суммы чисел а и b)

2) a + b = b + а (переместительное свойство);

3) a + (b + с) = (a + b) + с (сочетательное свойство).

• Существует второе арифметическое действие, называемое умножением и обозначаемое знаком х или * (последний знак при употреблении буквенных обозначений обычно не ставится). Действие умножения обладает теми же свойствами, что и сложе­ние: для каждых двух чисел а и b существует определенное един­ственное произведение ab, и действие умножения обладает пере­местительным и сочетательным свойствами, которые дают фор­мулы:

4) ab = d (существование произведения);

5) ab = ba (переместительное свойство);

6) a(bc) = (ab)c (сочетательное свойство).

Сложение и умножение обладают распределительным свой­ством: чтобы умножить сумму двух слагаемых на третье число, можно умножить каждое слагаемое отдельно на это число, и по­лученные произведения сложить;

7) (a + b)c = ac + bс (распределительное свойство).

• Существует такое число, обозначаемое знаком 0 (нуль), при сложении которого с любым числом а получается в сумме то же число а, а при перемножении его (т. е. нуля) с любым числом а получается в произведении 0. Отсюда формулы:

8) a + 0 = 0 + a = a;

9) a – 0 = 0 – a = 0.

• Существует еще число, обозначаемое знаком 1 и называе­мое единицей, при перемножении с которым любого числа а по­лучается в произведении то же число а:

10) а х 1 = 1 х а = а.

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

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

 

– Конец работы –

Эта тема принадлежит разделу:

По дисциплине Основы алгоритмизации и программирования

краевое государственное бюджетное образовательное учреждение... среднего профессионального образования... среднее специальное учебное заведение...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Алгебра высказываний

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Основы алгоритмизации и программирования
    2012 г. Одобрена цикловой комиссией «Математики и информатики» Протокол №___ от ___________20__г Председатель ЦК____

Область применения методических указаний
Методические указания учебной дисциплины являются частью основной профессиональной образовательной программы в соответствии с ФГОС по специальности 230401 Информационные системы (по отраслям) (базо

РАБОЧая ПРОГРАММа УЧЕБНОЙ ДИСЦИПЛИНЫ
    1.1. Объем учебной дисциплины и виды учебной работы Вид учебной работы Объем часов

Алгоритм может быть задан
1. Словесно – описание алгоритма словами и предложениями. 2. Таблично - описание алгоритма в форме таблиц и расчетных формул. 3. Графически - описание алгоритма с помощью геометри

Правила оформления блок-схем
  Графический способ представления алгоритмов является более ком­пактным и наглядным по сравнению со словесным. При графическом пред­ставлении алгоритм изображается в виде последовате

Типы и структуры данных
Типы и структуры данных представляют собой фундамент, на котором строится вся современная технология программирования. Существует много подходов к определению понятия типа данных от полнос

Принципы построения алгоритмов
При разработке алгоритма используют следующие основные принципы. Принцип поэтапной детализации алгоритма (другое название — "проектирование сверху-вниз").

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

Машинно - ориентированное программирование
С изобретением программно управляемых вычислительных машин появилась новая профессия - программист. Первым в истории программистом была Ада Лавлейс, работавшая вме

Языки программирования высокого уровня
Следующим этапом развития программирования стало созданиеязыков программирования высокого уровня (ЯПВУ). Примеры ЯПВУ: Паскаль, Бейсик, Фортран. Для каждого языка существует машинн

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

Стандартные и пользовательские процедуры.
  Со стандартными процедурами мы уже встречались не один раз. Примеры стандартных процедур Clrscr; Delline; Nosound; Hightvideo.

Формат описаний процедуры
Procedure <имя> (<список формальных параметров с описанием типов>); const ….. type ….. var …. begin <оп

Стандартные и пользоваельские функции
Напомним, что функция отличается от процедуры тем, что во-первых, функция передает в точу вызова значение (результат своей работы); во-вторых, имя функции может входить в выражени

Параметры-значения
Параметры-значения описываются в заголовках подпрограмм обычным образом, например, Procedure PRIM (x,y:real); Здесь формальные параметры х и у – параметры-значени

Параметры-переменные
Параметры-переменные в заголовке подпрограмм предваряются словом VAR, например, Procedure PRIM (var x,y:real); Здесь формальные параметры х и у – параметры-переме

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

КОНТРОЛЬНАЯ РАБОТА
  1. Задачи для решения на тему «линейные алгоритмы» Вычислите выражения по предложенным формулам. Вариант 1

Перечень практических работ
1. Составление блок-схем линейных и разветвляющихся алгоритмов. 2. Составление блок-схем циклических алгоритмов. 3.Составление таблиц истинности. 4.Составление программ л

Контроль и оценка результатов освоения учебной дисциплины
  Контроль и оценка результатов освоения учебной дисциплины осуществляется преподавателем в процессе проведения практических занятий, тестирования, а также вы

Теоретические вопросы
1. Эволюция языков программирования 2. Основные понятия алгоритмизации 3. Составление блок-схем линейных и разветвляющихся алгоритмов. 4. Составление блок-схем циклически

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги