Рабочая программа учебной дисциплины

СОДЕРЖАНИЕ

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

• 
  основные понятия и приемы дискретной математики;
  
• 
  логические операции, формулы логики, законы алгебры логики;
  
• 
  основные классы функций, полнота множества функций, теорема Поста;
  
• 
  основные понятия теории множеств, теоретико-множественные операции и их связь с логическими операциями;
  
• 
  логика предикатов, бинарные отношения и их виды; элементы теории отображений и алгебры подстановок;
  
• 
  метод математической индукции; алгоритмическое перечисление основных комбинаторных объектов;
  
• 
  основные понятия теории графов, характеристики и виды графов;
  
• 
  элементы теории автоматов.