Дискретная математика и математическая логика. № УД-5231/уч.

Abstract

Настоящая учебная программа, разработанная на основе типовой учебной программы, определяет цели и задачи изучения дисциплины «Дискретная математика и математическая логика» учащимися специальности «Информатика», ее содержание и структуру, требования к результатам учебной деятельности и форму аттестации. Учебная дисциплина «Дискретная математика и математическая логика» относится к государственному компоненту цикла специальных дисциплин и состоит из двух частей. Первая часть посвящена математической логике – разделу математики, в котором изучаются правильные способы рассуждений, позволяющие из верных посылок получать верные заключения. Математическая логика знакомит учащихся со стандартной математической нотацией, основными методами построения математических доказательств, некоторым эталоном математической строгости – с тем, что в совокупности составляет основу общей математической культуры, формирование которой у начинающих студентов является одной из важнейших задач университетского математического образования.