Матанализ — Осенний семестр; Богачев В.А.; 2008
Материал из Вики ИТ мехмата ЮФУ
Лектор: Богачёв В.А., к.ф.-м.н., доцент кафедры математического анализа.
Лекция 1.
Элементы логики.
def. Высказывание - повествовательное предложение, котрому придается одно из двух истинностных значений.
def. Сложные высказывания составляются по средствам логических связок.
Интуитивная теория множеств.
def. Множество - основополагающее понятие. "Множество и совокупность определенных и различимых между собой объектов нашей интуицией и интеллектом мыслимо как единое целое."
not. <Множество> ::= A|B|C|D|E|...
not. <Объект множества> ::= a|b|c|d|e|...
not. Принадлежность объекта множеству:
not. Включение объекта в множество:
not. Подмножество:
