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