Тема: Алгебра высказываний в информатике

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

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

...зная только значения функции при определённых аргументах. 5) Применение в вычислительной технике и информатике . 2. Алгебра логики.
Пусть имеется некоторый набор высказываний , о которых можно говорить определённо, что они истинные или ложные.

|основы логики. Алгебра высказываний .|программирования). | |Базовые логические функции. |Объектно-ориентированное |
Тема 1. Общие сведения о науке и научных исследованиях. Понятие науки, ее роль в информатике .

...переменное (зависящее от параметров (Xi, ..., Хn} высказывание . Оно описывает некоторое свойство, которым может обладать или не обладать набор...
Особое место в машинной информатике занимает булева алгебра , вводимая на множестве величин типа...

Создателем алгебры логики является живший в ХIХ веке английский математик Джордж Буль, в честь которого эта алгебра названа булевой алгеброй высказываний .
1.Лапшева Е.Е. Элементы математической логики - Саратов, 2007. 2.Тесты ЕГЭ по информатики .