KZ

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

  • Цель дисциплины – изучить семантику логики предикатов и один из вариантов исчисления предикатов гильбертовского типа; освоить формализацию понятия алгоритм как машины Тьюринга и на этой основе изучить основные положения теории сложности вычислений. Задачи дисциплины: – освоить способы преобразования формул логики предикатов; − освоить выразительные возможности языка логики предикатов; − изучить теоретические положения метода резолюций и освоить применение метода при доказательстве логичности;
  • Образовательная программа 6B06101 Информатика
  • ВУЗ Торайгыров университет
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 3
Top