- •Содержание
- •Пояснительная записка
- •Самостоятельная работа в учебно-программной документации среднего профессионального образования
- •Общая характеристика самостоятельной работы
- •Особенности организации внеаудиторной самостоятельной работы студентов
- •Планирование самостоятельной работы
- •Критерии оценки результатов самостоятельной работы студентов
- •Организация самостоятельной работы по дисциплине «Дискретная математика»
- •Практические задачи на тему «Логические операции. Формулы логики»
- •Информационное обеспечение обучения
- •Практические задачи на тему «Функции алгебры логики»
- •Практические задачи на тему «Множества. Операции над множествами»
- •Практические задачи на тему «Бинарные отношения»
- •Практические задачи на тему «Подстановки»
- •Практические задачи на тему «Понятие вычетов»
- •Практические задачи на тему «Генерирование подмножеств»
- •Практические задачи на тему «Неориентированные графы»
- •Практические задачи на тему «Ориентированные графы»
- •Домашняя контрольная работа
- •Задание на контрольную работу
- •Темы проектов
- •Итоговый тест
- •Форма отчета
Информационное обеспечение обучения
Основные источники
Гончарова Г.А., Мочалин А.А. Элементы дискретной математики. – М.: ФОРУМ:ИНФРА-М, 2007- 235 с.
Ерусалимский Я.М., Дискретная математика: теория, задачи, приложения. – М.: Вузовская книга, 2007. – 254с.
Кулабухов С.Ю., Дискретная математика: конспект лекций. – Шахты, 2006. – 148с.
Новиков Ф.А. , Дискретная математика для программистов. – СПб.: Питер, 2005.- 356с.
Дополнительные источники
Акимов О.Е., Дискретная математика: логика, группы, графы. – М.: Лаборатория Базовых Знаний, 2005. – 432с.
Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по дискретной математике. – М.: Высшая школа, 2006. – 245с.
Яблонский С.В. Введение в дискретную математику. – М.: Высшая школа, 2002. – 312с.
Интернет-ресурсы:
Газета «Математика» Издательского дома «Первое сентября»
http://mat.1september.ru
Математика в Открытом колледже
http://www.mathematics.ru
Math.ru: Математика и образование
http://www.math.ru
Московский центр непрерывного математического образования (МЦНМО)
http://www.mccme.ru
Allmath.ru — вся математика в одном месте
http://www.allmath.ru
Exponenta.ru: образовательный математический сайт
http://www.exponenta.ru
Дидактические материалы по информатике и математике
http://comp-science.narod.ru
Дискретная математика: алгоритмы (проект Computer Algorithm Tutor)
http://rain.ifmo.ru/cat/
Задачник для подготовки к олимпиадам по математике
http://tasks.ceemat.ru
Занимательная математика — школьникам (олимпиады, игры, конкурсы по математике)
http://www.math-on-line.com
Интернет-проект «Задачи»
http://www.problems.ru
Математические этюды
http://www.etudes.ru
Математика on-line: справочная информация в помощь студенту
http://www.mathem.h1.ru
Математика в помощь школьнику и студенту (тесты по математике online)
http://www.mathtest.ru
Математика для поступающих в вузы
http://www.matematika.agava.ru
Математика: Консультационный центр преподавателей и выпускников МГУ
http://school.msu.ru
Математика и программирование
http://www.mathprog.narod.ru
Математические олимпиады и олимпиадные задачи
http://www.zaba.ru
Методика преподавания математики
http://methmath.chat.ru
Московская математическая олимпиада школьников
http://olympiads.mccme.ru/mmo/
Сайт элементарной математики Дмитрия Гущина
http://www.mathnet.spb.ru
Турнир городов — Международная математическая олимпиада для школьников
http://www.turgor.ru
Приложение 1
Практические задачи на тему «Логические операции. Формулы логики»
Цель работы:
На конкретных примерах разобраться с логическими операциями и формулами логики. Закрепить полученные знания по данной тематике при решении задач.
Содержание работы:
Задача 1: Доказать, что формулы логически эквивалентны.
и
.
и
.
и
.
и
.
и
.
и
.
и
.
и
.и
.
и
.
Задача 2: Доказать, что первая формула логически влечет вторую формулу.
; .
;
.
;
.;
.;
.;
.
;
.;
.;
.
;
.
