Матанализ — Осенний семестр; Богачев В.А.; 2008

Лектор: Богачёв В.А., к.ф.-м.н., доцент кафедры математического анализа.

Лекция 1.

Элементы логики.

def. Высказывание - повествовательное предложение, котрому придается одно из двух истинностных значений.

def. Сложные высказывания составляются по средствам логических связок.

Интуитивная теория множеств.

def. Множество - основополагающее понятие. "Множество и совокупность определенных и различимых между собой объектов нашей интуицией и интеллектом мыслимо как единое целое."

not. <Множество> ::= A|B|C|D|E|...

not. <Объект множества> ::= a|b|c|d|e|...

not. Принадлежность объекта множеству:

not. Включение объекта в множество:

not. Подмножество:

Ссылки

• Другие конспекты