Математическая логика и теория алгоритмов. Сергиевская И.М. - 3 стр.

UptoLike

Составители: 

Рубрика: 

8
радиовещание и телевидение, 210406 – сети связи и системы коммутации, и
полностью соответствует действующему Государственному образовательному
стандарту высшего профессионального образования и требованиям
квалификационной характеристики выпускника. Теоретическая часть пособия
основана на лекциях, читанных автором в Поволжской государственной академии
телекоммуникаций и информатики.
Сейчас издается достаточно большое количество учебной литературы по
дискретной математике. В этой литературе
(в особенности, [3], [12], [14]) уделяется
внимание и математической логике, и теории алгоритмов. Тем не менее, и
указанные пособия, и задачники, в частности, [2] и [6], ориентированы все же на
математиков, а не на студентов инженерных специальностей (исключениями
являются, пожалуй, только [1], [8], [13], на идеях которых основывался автор).
Поэтому в настоящем пособии приведено достаточно много задач, причем
решения
многих задач подробно разобраны.
Предполагается, что студент, начинающий работу с данным учебным
пособием, знаком с основными понятиями теории множеств и отношений, а также с
аппаратом булевых функций.
Автор выражает благодарность рецензентамдоктору технических наук,
профессору В.К.Трофимову и доктору физико-математических наук, профессору
В.Е.Воскресенскому, а также доцентам
Самарского государственного университета
Е.Я.Гореловой, И.С.Фролову и И.А.Шведовой за содержательные консультации и
внимание к работе.
В Содержание.
Глава 1. Высказывания, формулы, тавтологии.
Определение.
Высказыванием называется утверждение, которое является
истинным или ложным (но не одновременно).
То есть, чтобы выяснить, является ли некоторое предложение высказыванием,
нужно сначала убедиться, что это утверждение, а затем установить, истинно оно или
ложно.
Пример. Москвастолица России” – истинное высказывание.
“5 –четное число” – ложное высказывание.
41 =
x
” – не высказывание (неизвестно, какие значения принимает
x
).
Студент второго курсане высказывание (не является утверждением).
Высказывания бывают элементарные и составные.
радиовещание и телевидение, 210406 – сети связи и системы коммутации, и
полностью соответствует действующему Государственному образовательному
стандарту    высшего     профессионального     образования      и     требованиям
квалификационной характеристики выпускника. Теоретическая часть пособия
основана на лекциях, читанных автором в Поволжской государственной академии
телекоммуникаций и информатики.
      Сейчас издается достаточно большое количество учебной литературы по
дискретной математике. В этой литературе (в особенности, [3], [12], [14]) уделяется
внимание и математической логике, и теории алгоритмов. Тем не менее, и
указанные пособия, и задачники, в частности, [2] и [6], ориентированы все же на
математиков, а не на студентов инженерных специальностей (исключениями
являются, пожалуй, только [1], [8], [13], на идеях которых основывался автор).
Поэтому в настоящем пособии приведено достаточно много задач, причем решения
многих задач подробно разобраны.
      Предполагается, что студент, начинающий работу с данным учебным
пособием, знаком с основными понятиями теории множеств и отношений, а также с
аппаратом булевых функций.
      Автор выражает благодарность рецензентам – доктору технических наук,
профессору В.К.Трофимову и доктору физико-математических наук, профессору
В.Е.Воскресенскому, а также доцентам Самарского государственного университета
Е.Я.Гореловой, И.С.Фролову и И.А.Шведовой за содержательные консультации и
внимание к работе.

В Содержание.




Глава 1. Высказывания, формулы, тавтологии.

     Определение. Высказыванием называется утверждение, которое является
истинным или ложным (но не одновременно).

     То есть, чтобы выяснить, является ли некоторое предложение высказыванием,
нужно сначала убедиться, что это утверждение, а затем установить, истинно оно или
ложно.

        Пример. “Москва – столица России” – истинное высказывание.
“5 –четное число” – ложное высказывание.
“ x − 1 = 4 ” – не высказывание (неизвестно, какие значения принимает x ).
“Студент второго курса” не высказывание (не является утверждением).

      Высказывания бывают элементарные и составные.


                                          8