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