МАТЕМАТИКА: ЛОГИКА, ТЕОРИЯ МНОЖЕСТВ И КОМБИНАТОРИКА
Язык логических и математических знаковВысказывания и предикатыМатематические выраженияЛогические связкиОтношение следования предложенийЛогическая структу ра предложенийФормулы логикиСимволическая запись предложенийРавносильные формулыЗаконы логикиЗаконы построения отрицанияПравило контранозицииСвойства операций конъюнкции и дизъюнкцииТеоремы и аксиомыЛогическая структура теоремыТеоремы существования и единственностиОбратная теоремаПонятие аксиомыМетоды математических доказательствПонятие доказательства. Правила выводаДоказательство теорем существования и единственностиМетод равносильных преобразованийРассуждении от противногоМетод математической индукцииЯзык множествВведениеМножества: способы задания и основные понятияСпособы задания множествПонятие подмножества. Отношение включенияРазбиение множества на классыОперации над множествамиОбъединение, пересечение и разность множествДиаграммы Эйлера-ВеннаПонятие упорядоченной п-киПрямое произведение множествСвойства операцийБинарные отношенияБинарные отношения на множествеОтношение эквивалентностиОтношения между множествами. ФункцииАзы комбинаторикиВведениеОсновные комбинаторные принципыПравило произведенияПравило суммыПринцип дополненииФормулы включений и исключенийПринцип взаимно однозначного соответствияУпорядоченные комбинацииОпределения и примерыФормулы для подсчетаСочетанияОпределения и примерыЧисло сочетаний без повторений и его свойстваЧисло сочетаний с повторениямиПрактикумУпражнения к главе 1Упражнения к главе 2Упражнения к главе 3Варианты контрольных работТестовые заданияМатериалы к практическим занятиям
