KZ

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

  • Данная дисциплина включает разделы: истинностные функции, исчисление высказываний, исчисление предикатов и их интерпретации. Курс математической логики имеет разнообразные межпредметные связи с алгеброй, геометрией, математическим анализом. Последние два десятилетия математическая логика активно работает в программном обеспечении ПЭВМ, в разработке новых языков программирования. Новое напрвление – «Исскуственный интелект» также базируется на математической логике.
  • Образовательная программа 6B01507 Математика-Физика
  • ВУЗ Костанайский региональный университет имени Ахмета Байтурсынова
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 4
  • Семестр 1
Top