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