По выполнению практических работ. Содержание

МИНИСТЕРСТВО ОБЩЕГО И ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

РОСТОВСКОЙ ОБЛАСТИ

ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

СРЕДНЕГО СПЕЦИАЛЬНОГО ОБРАЗОВАНИЯ РОСТОВСКОЙ ОБЛАСТИ

«РОСТОВСКИЙ-НА-ДОНУ ГОСУДАРСТВЕННЫЙ КОЛЛЕДЖ СВЯЗИ И ИНФОРМАТИКИ»

Методические указания

По выполнению практических работ

учебной дисциплины

ЕН.02 «Элементы математической логики»

Для специальности 230115

«Программирование в компьютерных системах»

(базовой подготовки)

Ростов-на-Дону

2014 год

ОДОБРЕНО УТВЕРЖДАЮ:

На заседании цикловой комиссии (кафедры) Зам. директора по УР

______________________________________Е.Л.Жукова

Протокол №___от_______________2014 года

Председатель ЦК(зав. кафедрой) «____»_________________2014 г.

______________________________________

Методические указания по выполнению практических работ учебной дисциплины «Элементы математической логики» разработаны на основе Федерального государственного образовательного стандарта среднего профессионального образования специальности 230115 «Программирование в компьютерных системах», учебного плана и рабочей программы.

Организация-разработчик: Государственное бюджетное образовательное учреждение среднего профессионального образования Ростовской области «Ростовский-на-Дону колледж связи и информатики»

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

Кечек И.А. - преподаватель государственного бюджетного образовательного учреждения среднего профессионального образования Ростовской области «Ростовский-на-Дону колледж связи и информатики»

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

Методические рекомендации по выполнению практических работ по дисциплине «Элементы математической логики» предназначены для студентов 2 курса специальности 230115 «Программирование в компьютерных системах». составлены в соответствии с ФГОС СПО и рабочими программами по дисциплине «Элементы математической логики».

В пособии приведены пятнадцать практических работ. Каждая работа состоит из пяти частей:

  • цель работы;
  • теоретическая часть, где даются все основные определения, теоремы, формулы, теоретические вкладки по данной теме;
  • практическая часть, состоящая из решений всех стандартных задач, приведенных в практических заданиях;
  • практические задания в четырёх вариантах;
  • контрольные вопросы.

Пособие можно рекомендовать студентам также для подготовки к семинарам, экзамену.

Содержание.

№ 1 Выполнение операций над множествами

№ 2 Нахождение таблиц истинности алгебры высказываний.

№ 3 Упрощение формул алгебры высказываний.

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

№ 5 Нахождение нормальных форм формул алгебры высказываний.

№ 6 Минимизация алгебраических преобразований.

№ 7 Выполнение анализа релейно-контактных схем.

№ 8 Выполнение синтеза релейно-контактных схем.

№ 9 Нахождение полинома Жегалкина.

№ 10 Определение полноты системы булевых функций.

№ 11 Выполнение операций над предикатами.

№12 Выполнение равносильных преобразований формул алгебры предикатов.

№13 Применение и конструирование машин Тьюринга.

№ 14 Применение рекурсивных функций при построении алгоритма.

№15 Применение марковских подстановок и нормальных алгоритмов к словам.


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: