РЕШЕНИЕ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ЛОГИКИ СРЕДСТВАМИ ПРИКЛАДНЫХ ПРОГРАММ

Аннотация

Статья посвящена проблеме применения информационных технологий в преподавании математических дисциплин студентам гуманитарных специальностей. Рассмотрена важность использования прикладных математических пакетов, а именно MatCad. Эта инструментальная среда имеет дружественный интерфейс, реализует множество стандартных и специальных математических операций, снабжена мощными графическими средствами и обладает собственными языками программирования, что позволяет визуализировать сложные для понимания студентов операции математической логики. Поэтому автор предлагает использовать для решения задач математической логики инструментальную среду MatCad. Компьютерная поддержка математической логики представляет собой возможности, направленные, с одной стороны, на формирование математических умений и навыков средствами компьютерной техники, с другой стороны – на овладение студентами конкретными навыками применения информационных технологий в математике.