Заключение
Мыслительные процессы, которые направлены на обнаружение и обоснование истины, на решение новых классов задач, на поиск путей преодоления трудностей, встают перед нами как в профессиональной деятельности, так и в обыденной жизни.
Грамотного специалиста от «простого работяги» отличает прежде всего умение размышлять, принимать решение в нестандартных ситуациях, отвечать за свои решения. В специальности «Информационная безопасность» невозможно обойтись без использования справочной литературы. Умение работать с предикатами и предикативными формами определяет расширенный кругозор такого специалиста.
Данное пособие рассматривает способы построения множества истинности предикатов, применения к ним кванторов.
Литература:
С. Клини. Математическая логика. Перевод на русский язык «Мир», 1973
Асмус В. Ф. Проблема интуиции в философии и математике. — М.: Мысль, 1965.
2. Новиков П. С. Элементы математической логики. — М.: Государственное издательство физико-математической литературы, 1959.
Джесси Рассел. Предикат. - VSD, 2012
https://studfile.net/preview/4229249/page:3/
Do'stlaringiz bilan baham: |