KZ

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

  • Курс начинается с элементарного высказывания о суждениях. С помощью этого понятия определяются составные высказывания и исследуются вопросы зависимости их истинностных значений от элементарных высказываний. Рассматривается соответствие между составными высказываниями и логическими функциями и содержит сведения о простейшем исчислении математической логики, содержательной интерпретацией которого является алгебра высказываний. И еще излагаются основные вопросы логической системы, дополняющей алгебру высказываний, а также затронуты проблемы приложения математической логики в различных областях науки и техники
  • Образовательная программа 6B01505 Подготовка учителей математики
  • ВУЗ Алматинский гуманитарно-экономический университет
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 2
Top