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

  • Изучая дисциплину, студенты освоят истинностные функции, исчисление высказываний, исчисление предикатов и их интерпретации. Курс математической логики имеет разнообразные межпредметные связи с алгеброй, геометрией, математическим анализом. Последние два десятилетия математическая логика активно работает в программном обеспечении ПЭВМ, в разработке новых языков программирования. Новое направление – «Искусственный интеллект» также базируется на математической логике
  • Образовательная программа 6B01508 Математика-Информатика
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 2
Top