Введение в символьную логику

  • Данная дисциплина направлена на рассмотрение основых законов алогики высказывания. В ходе изучения данного предмета студент познакомится с булевой алгеброй, научится составлять таблицу истинности и преобразовывать ее по законам логики. Будет знать полноту и замыкание алгебры логики, уметь делать произведение бульевых функции, разлогать логической функции на полином, также освоивать и проанализировать основные утверждения.
  • Образовательная программа 6B01501 Математика
  • Кредитов 4
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 2
Top