МИНИСТЕРСТВО ОБЩЕГО И ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
РОСТОВСКОЙ ОБЛАСТИ
ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ
СРЕДНЕГО СПЕЦИАЛЬНОГО ОБРАЗОВАНИЯ РОСТОВСКОЙ ОБЛАСТИ
«РОСТОВСКИЙ-НА-ДОНУ ГОСУДАРСТВЕННЫЙ КОЛЛЕДЖ СВЯЗИ И ИНФОРМАТИКИ»
Методические указания
По выполнению практических работ
учебной дисциплины
ЕН.02 «Элементы математической логики»
Для специальности 230115
«Программирование в компьютерных системах»
(базовой подготовки)
Ростов-на-Дону
2014 год
ОДОБРЕНО УТВЕРЖДАЮ:
На заседании цикловой комиссии (кафедры) Зам. директора по УР
______________________________________Е.Л.Жукова
Протокол №___от_______________2014 года
Председатель ЦК(зав. кафедрой) «____»_________________2014 г.
______________________________________
Методические указания по выполнению практических работ учебной дисциплины «Элементы математической логики» разработаны на основе Федерального государственного образовательного стандарта среднего профессионального образования специальности 230115 «Программирование в компьютерных системах», учебного плана и рабочей программы.
|
|
Организация-разработчик: Государственное бюджетное образовательное учреждение среднего профессионального образования Ростовской области «Ростовский-на-Дону колледж связи и информатики»
Разработчик:
Кечек И.А. - преподаватель государственного бюджетного образовательного учреждения среднего профессионального образования Ростовской области «Ростовский-на-Дону колледж связи и информатики»
Пояснительная записка
Методические рекомендации по выполнению практических работ по дисциплине «Элементы математической логики» предназначены для студентов 2 курса специальности 230115 «Программирование в компьютерных системах». составлены в соответствии с ФГОС СПО и рабочими программами по дисциплине «Элементы математической логики».
В пособии приведены пятнадцать практических работ. Каждая работа состоит из пяти частей:
- цель работы;
- теоретическая часть, где даются все основные определения, теоремы, формулы, теоретические вкладки по данной теме;
- практическая часть, состоящая из решений всех стандартных задач, приведенных в практических заданиях;
- практические задания в четырёх вариантах;
- контрольные вопросы.
Пособие можно рекомендовать студентам также для подготовки к семинарам, экзамену.
Содержание.
№ 1 Выполнение операций над множествами
№ 2 Нахождение таблиц истинности алгебры высказываний.
№ 3 Упрощение формул алгебры высказываний.
№ 4 Решение задач логического характера.
№ 5 Нахождение нормальных форм формул алгебры высказываний.
|
|
№ 6 Минимизация алгебраических преобразований.
№ 7 Выполнение анализа релейно-контактных схем.
№ 8 Выполнение синтеза релейно-контактных схем.
№ 9 Нахождение полинома Жегалкина.
№ 10 Определение полноты системы булевых функций.
№ 11 Выполнение операций над предикатами.
№12 Выполнение равносильных преобразований формул алгебры предикатов.
№13 Применение и конструирование машин Тьюринга.
№ 14 Применение рекурсивных функций при построении алгоритма.
№15 Применение марковских подстановок и нормальных алгоритмов к словам.