Цели и задачи дисциплины
Основной целью изучения данной дисциплины является освоение фундаментальных знаний об информации и закономерностях ее использования, о логических устройствах для ее преобразования и хранения; освоение знаний о логических основах современной математики и умение применять полученные знания для решения практических задач.
Задачами изучения курса являются:
- формирование знаний и умений в области управления информацией;
- фундаментальная подготовка по основам профессиональных знаний в области компьютерных наук;
- формирование математической культуры, развитие способностей к логическому и алгоритмическому мышлению;
- способность выделять главные смысловые аспекты в математических доказательствах.
- приобретение навыков работы с информационными и логическими объектами.
Краткое содержание дисциплины
Понятие информации. Свойства информации. Измерение, кодирование и хранение информации. Логические основы компьютеров. Системы счисления. Информационные процессы и системы. Логика высказываний, логика предикатов. Понятие логического вывода в логике высказываний и логике предикатов. Строение математических теорем, схемы доказательств теорем, принцип дедукции. Значение математической логики для исследования математических теорий. Применение логики в в математической практике и системах искусственного интеллекта.