Материалы межвузовской научной конференции математческих кафедр педагогических институтов центральной зоны РСФСР 1968г

261 - ВВЕДЕНИЕ В МАТЕМАТИКУ - 36 часов (24Д2) I . Множества Множество. Элемент множества. Способы задания мно- ,9ства. Конечные и бесконечные множества; Отношение включения, членство множеств. Дополнение. Объединение и пересечение тожеств. Разбиение множества на классы. Разность двух тожеств. Произведение множеств. Отображения. Функции. П. Высказывания Предложения: высказывания и выскааывательные формы. Элементарные и составные высказывания. Логические операции над высказываниями (отрицание, конъюнкция, дизъюнкция, шпликация, эквиваленция). Формулы логики высказываний и выражаемые ими функции. Эквивалентные формулы. Принцип двойственности. Тождествен­ но-истинные формулы. Правила вывода. Анализ рассуждений средствами логики множеств и высказываний. Ш. Логические функции (предикаты) Высказывательвые формы и выражаемые ими логические функции (предикаты). Логические операции над предикатами. Кванторы. Свободные и связнные перемененные. Формулы. Эквивалентные формулы.