Содержание

Введение.............................................................................................................. 3

Занятие 1. Тема: Решение текстовых задач и нахождение значений выраже­ний для выработки вычислительных навыков .................................................. 3

Занятие 2. Тема: Решение текстовых задач и нахождение значений выраже­ний для выработки вычислительных навыков.................................................. 9

Занятие 3. Тема: Множества. Числовые множества.......................................... 13

Занятие 4. Тема: Подмножество. Множества равные и равносильные............ 18

Занятие 5. Тема: Операции объединения и пересечения множеств................. 22

Занятие 6. Тема: Совместные операции объединения и пересечения мно­жеств .................................................................................................................... 26

Занятие 7. Тема. Разность и дополнение множеств. Обобщение операций с множествами....................................................................................................... 30

Занятие 8. Тема. Декартово произведение двух множеств ............................... 34

Занятие 9. Тема. Система координат на прямой. Простейшие задачи ............. 38

Занятие 10. Тема. Система координат на плоскости. Расстояние между дву­мя точками на плоскости .................................................................................... 40

Занятие 11. Тема: Система координат на плоскости. Деление отрезка в от­ношении X........................................................................................................ 42

Занятие 12. Тема: Контрольная работа по теме: "Задачи аналитической гео­метрии на плоскости"......................................................................................... 44

Занятие 13. Тема: Высказывание. Операции отрицания и конъюнкции вы­сказываний .......................................................................................................... 45

Занятие 14. Тема: Дизъюнкция высказываний. Совместные операции отри­цания, дизъюнкции и конъюнкции высказываний ............................................ 49

Занятие 15. Тема: Импликация и эквиваленция высказываний. Совместные операции .............................................................................................................. 52

Занятие 16. Тема: Предикаты и операции с ними ............................................. 56

Занятие 17. Тема: Кванторы ............................................................................... 60

Занятие 18. Тема: Повторение всех математических понятий, изученных в семестре. Зачет .................................................................................................... 63

Список рекомендуемой литературы ................................................................... 6

 

 

Практикум представляет собой систему разработанных практических занятий по элементам теории множеств и математической логики в соответствии с программой и учебным планом первого курса по пятилетней программе обучения. В каждом занятии приведены элементы теории, упражнения на закрепление изучаемых понятий, тексто­вые задачи для выработки у студентов вычислительных навыков и навыков логических рассуждений при нахождении связей и зависимостей между заданными величинами и набор упражнений для самостоятельной работы.

Печатается по решению редакционно-издательского Совета Калининградского го­сударственного университета.

Рецензенты: С.Н.Гринченко, профессор кафедры информатики Московского ин­ститута радиотехники, электроники и автоматики, доктор технических наук; И.Н.Вербицкая, зав. кафедрой математики КВВМУ.

ISBN 5-88874-059-4

© Калининградский государственный университет, 1997