KZ

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

  • В ходе изучения данного курса у студентов формируются системные знания в области алгебры высказываний и предикатов и булевой алгебры, теории графов, теории суммирования, рекуррентных последовательностей, теории автоматов и кодирования. В данном курсе рассматриваются высказывания и Операции над высказываниями, формулы алгебры высказываний, тавтология алгебры высказываний, логическое следование, равносильность формул, упрощение систем высказываний.
  • Образовательная программа 6B01506 Информатика
  • ВУЗ Университет имени Шакарима города Семей
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 1
Top