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

  • Цель: Изучаются основные разделы математической логики на основе Булевой алгебры; применение методов решения задач и доказательства утверждений. Содержание: Строить таблицы истинности, конъюнктивные, дизъюнктивные нормальные формы, записывать формулы логики предикатов, доказывать различные утверждения, строить выводы. Построение комбинационных схем, диаграммы Вейча, карты Карно для минимизации булевых функций. Применение законов математической логики в проектировании цифровых схем, задачах защиты информации, криптографии, сетевой адресации.
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 2
Top