KZ

Алгоритмические свойства логических исчислений

  • Курс предназначен для изучения алгоритмических аспектов логических исчислений, которые являются основой представления информации в компьютере, выполнение арифметических операций, проектирование логических и оптимальных схем процессора, а также графовое представление компьютерных сетей и структурирование баз данных. В рамках курса рассматриваются методы формализации, логического вывода, проверки эквивалентности и разрешимости логических выражений. Особое внимание уделяется практическому применению логики в разработке информационных систем, экспертных систем и программной верификации. Студенты овладевают современными инструментами и технологиями, такими как Python, Prolog, SAT- и SMT-солверы (например, Z3), системы логического вывода и базы знаний.
  • Образовательная программа 6B06103 Информационные системы
  • ВУЗ Евразийский национальный университет имени Л.Н.Гумилева
  • Кредитов 5
  • Год обучения 2
  • Семестр 1
Top