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

  • В ходе изучения данного курса обучающиеся научатся формулировать гипотезы, не только делать логические заключения, но и проверять и оценивать правильность логических рассуждений на основе законов и формул логики высказываний. Помимо этого, курс дает навыки работы с булевыми функциями, что позволяет обрабатывать и упрощать схемы из функциональных элементов. Так же курс знакомит слушателей с элементами теории кодирования.
  • Образовательная программа 6B01502 Математика-Информатика
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 1
Top