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