Министерство образования Республики Беларусь

Учреждение образования

Белорусский государственный университет информатики и радиоэлектроники

Факультет непрерывного и дистанционного обучения

Кафедра информатики

Электронный учебно-методический комплекс

по дисциплине

ДИСКРЕТНАЯ МАТЕМАТИКА и МАТЕМАТИЧЕСКАЯ ЛОГИКА

Часть 1

ЭЛЕМЕНТЫ ТЕОРИИ ПЕРЕКЛЮЧАТЕЛЬНЫХ ФУНКЦИЙ

Для студентов специальностей

Н.08.02.00 «Информатика» и Т.12.01.00 «Телекоммуникационные системы»

В 2-х частях

Минск 2010

Общие сведения Сведения об эумк

Электронный учебно-методический комплекс по дисциплине «Дискретная математика и математическая логика» предназначен для студентов всех технических специальностей вузов, а также может быть использован преподавателями, аспирантами и практическими работниками предприятий.

Электронный учебно-методический комплекс составлен на основе рабочей учебной программы по курсу « Дискретная математика и математическая логика », утверждённой деканом факультета непрерывного и дистанционного обучения <дата утверждения>, регистрационный № УД 11‑XX‑YY/Р и рабочего учебного плана специальностей Н.08.02.00 «Информатика» и Т.12.01.00 «Телекоммуникационные системы».

Составители:

Э.А. Баканович, доцент кафедры информатики Учреждения образования «Белорусский государственный университет информатики и радиоэлектроники», кандидат технических наук.

Н.А. Волорова, доцент кафедры информатики Учреждения образования «Белорусский государственный университет информатики и радиоэлектроники», кандидат технических наук.

А.В. Епихин, ассистент кафедры информатики Учреждения образования «Белорусский государственный университет информатики и радиоэлектроники».

Рассмотрен и рекомендован к изданию на заседании кафедры информатики, протокол № 22 от 28.06.2010.

Одобрен и рекомендован к изданию методической комиссией факультета компьютерных систем и сетей, протокол № __ от __.__.2010.

Методические рекомендации по изучению дисциплины

Студенты дистанционной формы обучения специальности информатики в соответствии с учебным планом изучают дисциплины «Дискретная математика и математическая логика». Предусмотрено изучение основных разделов дискретной математики и математической логики, рассмотрение наиболее важных практических задач, возникающих при исследованиях дискретных моделей. Учебным планом предусмотрено выполнение двух контрольных работ.

Завершается изучение дисциплины «Дискретная математика и математическая логика» сдачей экзамена; следует иметь в виду, что к экзамену допускаются студенты, самостоятельно выполнившие и защитившие контрольные работы. Перечень экзаменационных вопросов находится здесь.

Курс имеет традиционную структуру, многократно опробованную в БГУИР и в других ВУЗах и полностью соответствующую структуре построения большинства учебников и учебных пособий по данной дисциплине. Поэтому для усвоения материала целесообразно придерживаться следующей последовательности изучения материала.

Сначала, целесообразно внимательно ознакомиться с содержанием курса по рабочей учебной программе, обращая особое внимание на логическую связь различных разделов. Затем следует изучить материал, имеющийся в ЭУМК и являющийся лишь основой изучаемой дисциплины. После этого целесообразно обратиться к литературным источникам, перечисленным в программе, обращая основное внимание на вопросы и разделы, приведенные в рабочей учебной программе курса. Усвоению материала может способствовать изучение одних и тех же разделов программы по различным учебникам и учебным пособиям. Следует обратить внимание на разделы дискретной математики и логики, указанные в рабочей учебной программе. Теоретическую часть курса целесообразно изучать, усвоив материал ЭУМК, а затем используя материал различных литературных источников. Параллельно следует обращаться к контрольным вопросам, пытаясь найти на них ответы в ЭУМК и в другой учебной литературе.

Особое внимание следует уделить решению задач и выполнению контрольных работ, учитывая возможность применения приобретенных навыков при изучении других дисциплин специальности Информатика.

Теоретический материал следует изучать в той последовательности, которая указана в рабочей программе.