Математическая логика и дискретная математика

  • Цель: Ознакомить студентов с началом математической логики, основными разделами дискретной математики и ее приложениями. Наименование тем и разделов: Множества, операции над ними, алгебра множеств. Однозначные бинарные отношения и функции. Высказывания и операции над ними. Булевы функции и полные системы булевых функций. Предикаты и операции над ними, включая кванторные. Основные комбинаторные конфигурации. Основные понятия теории графов. Операции с машинами Тьюринга: композиция, ветвление, зацикливание. Формируемая компетенция: Знает основные понятия и методы дискретной математики: логические исчисления, функциональные системы с операциями, дискретные структуры.
  • Образовательная программа 6B01505 Физика на английском языке
  • Кредитов 4
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 2
Top