KZ

Логика предикатов

  • Дисциплина позволяет изучить теории логики предикатов, исчисление предикатов, правила оперирования с кванторами, метод резолюции, формальные аксиоматические системы, использовать логические методы для решения профессиональных задач, получить навыки решения логических задач.
  • Образовательная программа 6B06102 Информатика
  • ВУЗ Евразийский национальный университет имени Льва Николаевича Гумилева
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 4
  • Семестр 1
Top