УМК СПО
Учебно-методические комплексы
для преподавателей СПО

сайт   сайт УМК школа
  сайт УМК CПО/НПО
  сайт Аттестация

  сайт УМК ВПО

  сайт  Разместить документ
  сайт  Сертификаты участникам





Элементы математической логики


Рабочая программа учебной дисциплины "Элементы математической логики" специальность 09.02.02 «Компьютерные сети» (базовая подготовка) (на базе 9 класса)
 
СОДЕРЖАНИЕ

1. Паспорт рабочей программы учебной дисциплины  5
2. Структура и содержание учебной дисциплины  7
3. Условия реализации программы учебной дисциплины  15
4.  Контроль и оценка результатов освоения учебной дисциплины  17

Цели и задачи учебной дисциплины – требования к результатам освоения дисциплины:

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

максимальной учебной нагрузки обучающегося 269 часа, в том числе:
  • обязательной аудиторной учебной нагрузки обучающегося 179 часов;
  • самостоятельной работы обучающегося 90 часов.
Наименование разделов и тем

Введение
Раздел 1. Теория множеств.
  • Тема 1.1. Общие понятия теории множеств.
  • Тема 1.2. Основные операции над множествами и их свойства.
  • Тема 1.3. Отношения. Бинарные отношения и их свойств.  Подстановки.
Раздел 2. Алгебра логики.
  • Тема 2.1. Высказывания. Логические операции. Формулы логики. Таблица истинности.
  • Тема 2.2.  Законы логики. Равносильные преобразования.
  • Тема 2.3. Дизъюнктивная и конъюнктивная нормальные формы.
  • Тема 2.4. Приложения алгебры высказываний к логико-математической практике.
Раздел 3. Булевы функции
  • Тема 3.1. Функции алгебры логики.
  • Тема 3.2. Минимизация булевых функций.
  • Тема 3.3. Основные классы функций. Полнота множества. Теорема Поста.
Раздел 4. Алгебра предикатов.
  • Тема 4.1. Понятие предиката. Логические операции над предикатами.
  • Тема 4.2. Кванторы. Кванторные операции над предикатами.
  • Тема 4.3. Предикатные формулы.
  • Тема 4.4. Применение логики предикатов к логико-математической практике.
Раздел 5. Элементы теории алгоритмов.
  • Тема 5.1.Элементы теории и практики кодирования 
  • Тема 5.2. Элементы теории алгоритмов и формы представления алгоритма.
  • Тема 5.3. Машина Поста. Машина Тьюринга.
Скачать

Разработала: Рудзина Тамара Нельевна,  ГБПОУ Колледж связи № 54 имени П.М. Вострухина г. Москва







Логин: Пароль: Забыли пароль?Регистрация

Сайт управляется SiNG cms © 2010-2015