. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ. В 80-ые годы начались также изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники, а также принципов логического программирования для компьютеров пятого поколения и разработка учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.
2. Основы теории множеств
Понятие множества -- является одним из тех фундаментальных понятий математики, которым трудно дать точное определение, используя элементарные понятия. Поэтому ограничимся описательным объяснением понятия множества.
Множеством называется совокупность определенных вполне различаемых объектов, рассматриваемых как единое целое. Создатель теории множеств Георг Кантор давал следующее определение множества -- "множество есть многое, мыслимое нами как целое".
Отдельные объекты, из которых состоит множество, называются элементами множества.
Множества принято обозначать большими буквами латинского алфавита, а элементы этих множеств -- маленькими буквами латинского алфавита. Множества записываются в фигурных скобках .
Принято использовать следующие обозначения:
a X -- "элемент a принадлежит множеству X";
a X -- "элемент a не принадлежит множеству X";
-- квантор произвольности, общности, обозначающий "любой", "какой бы не был", "для всех";
-- квантор существования: y
Страницы: << < 4 | 5 | 6 | 7 | 8 > >>