KZ

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

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