Конышева Л.К., Слесарев Ю.В. Математика, уч. пособие, РГППУ
(Екатеринбург), 2011, 163 с.
Конышева Л.К. Методические указания к выполнению контрольной работы, РГППУ (Екатеринбург), 2011, 40 с.
В учебном пособии рассмотрены основные математические структуры, а также некоторые вопросы математики, введено понятие математической модели, даны представления об аксиоматическом методе построения математических теорий. Представлены несколько аксиоматических теорий и их интерпретации. Пособие предназначено для студентов специальности 020500 "Теология".
Оглавление:
Вводные понятия.
Язык математики.
Величины и их классификация.
Элементы математической логики.
Логика формальная и логика математическая.
Высказывания. Логические операции. Логические законы.
Булева алгебра. Булевы функции. Решение логических задач.
Алгебра множеств.
Логика предикатов.
Силлогизмы.
Бинарные отношения.
Классификация и порядок.
Теория бинарных отношений.
Функциональные соответствия и их виды.
Алгебры.
Основные алгебраические структуры.
Группы.
Гомоморфизмы и модели.
Пространства.
Метрические и топологические пространства.
Линейные пространства.
Размерность пространства.
Основные математические структуры.
В методичке приведены образцы решения задач контрольной работы, выполняемой в курсе "Математика" студентами заочной формы обучения.
Конышева Л.К. Методические указания к выполнению контрольной работы, РГППУ (Екатеринбург), 2011, 40 с.
В учебном пособии рассмотрены основные математические структуры, а также некоторые вопросы математики, введено понятие математической модели, даны представления об аксиоматическом методе построения математических теорий. Представлены несколько аксиоматических теорий и их интерпретации. Пособие предназначено для студентов специальности 020500 "Теология".
Оглавление:
Вводные понятия.
Язык математики.
Величины и их классификация.
Элементы математической логики.
Логика формальная и логика математическая.
Высказывания. Логические операции. Логические законы.
Булева алгебра. Булевы функции. Решение логических задач.
Алгебра множеств.
Логика предикатов.
Силлогизмы.
Бинарные отношения.
Классификация и порядок.
Теория бинарных отношений.
Функциональные соответствия и их виды.
Алгебры.
Основные алгебраические структуры.
Группы.
Гомоморфизмы и модели.
Пространства.
Метрические и топологические пространства.
Линейные пространства.
Размерность пространства.
Основные математические структуры.
В методичке приведены образцы решения задач контрольной работы, выполняемой в курсе "Математика" студентами заочной формы обучения.