KZ

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

  • Исчисление высказываний. Язык исчисления высказываний. Система аксиом и правила вывода. Эквивалентность формул. Истинностные таблицы. Конъюнктные и дизъюнктные нормальные формы. Функции алгебры логики. Доказуемые формулы. Логики первого порядка. Кванторы всеобщности и существования. Исчисление предикатов. Аксиомы и правила вывода теории предикатов. Аксиоматизируемые классы. Элементы теории моделей. Элементы теории рекурсивных функций.
  • Образовательная программа 6B05411 Математика и статистика
  • ВУЗ Таразский региональный университет имени Мухаммед Хайдар Дулати
  • Кредитов 4
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 1
Top