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

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