КОМИТЕТ ОБРАЗОВАНИЯ И НАУКИ КУРСКОЙ ОБЛАСТИ

ОБЛАСТНОЕ БЮДЖЕТНОЕ ПРОФЕССИОНАЛЬНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ «КУРСКИЙ ТЕХНИКУМ СВЯЗИ»

Методические рекомендации

Для выполнения практических работ по дисциплине «Элементы математической логики» для специальности 09.02.02 Компьютерные сети

Преподаватель:

Николенко Д.В.

г. Курск

2015 г.

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

Цель разработки: оказание помощи обучающимся в выполнении практических работ по предмету «Элементы математической логики».

Разработчик(и):

ОБПОУ КТС преподаватель 1 квалификационной категории Д.В.Николенко

(место работы) (занимаемая должность) (инициалы, фамилия)

Одобрено на заседании методической комиссии общеобразовательных дисциплин Протокол №_______ от «_____» _________ 20____г. Председатель МК ________________________ /______________/

Пояснительная записка

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

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

Зачет по каждой практической работе студент получает после её выполнения и предоставления в печатном или электронном виде, оформления отчета в котором указывает полученные знания и умения в ходе выполнения практической работы, а также ответов на вопросы преподавателя, если таковые возникнут при проверке выполненного задания.

Cодержание

Практическое занятие № 1 Круги Эйлера решение задач.

Практическое занятие № 2 Операции над множествами. Классификация множеств. Мощность множеств

Практическое занятие № 3 Кортежи и декартово произведение множеств.

Практическое задание № 4 Решение задач с использованием теории множеств.

Практическое занятие № 5 Составление отношений.

Практическое занятие № 6 Определение выполнимости свойств отношений на заданных множествах.

Практическое занятие № 7 Составление простых и составных высказываний.

Практическое занятие № 8 Формализация высказываний.

Практическое задание № 9 Решение задач (составление таблиц истинности для логических выражений.

Практическое занятие № 10 Определение значения истинности высказываний. Построение составных высказываний.

Практическое задание №11 Доказательство законов алгебры логики.

Практическое занятие № 12 Составление таблиц истинности для формул.

Практическое занятие № 13 Решение логических задач.

Практическое занятие №14 Упрощение формул.

Практическое занятие № 15 Приведение формул к совершенным нормальным формам.

Практическое занятие № 16 Алгебра Буля. Решение задач.

Практическое занятие № 17 Решение задач при помощи электронных таблиц.

Практическое занятие № 18 Проверка полноты множества функций.

Практическое занятие № 19 Применение теоремы Поста

Практическое занятие № 20 Выявление связи теоретико-множественных операций с логическими.

Практическое занятие № 21 Применение логики предикатов

Практическое занятие № 22 Составление алгоритмов. Различные подходы к формализации понятия алгоритма

Практическое занятие № 23 Массовая и индивидуальная задача

Практическое занятие № 24 Конструирование машин Тьюринга. Вычислимые по Тьюрингу функции.