Описание

Введение

Цель исследования, представленного в статье И.С. Полевщикова, заключается в разработке и обосновании подхода к обучению студентов технического вуза основам математической логики в рамках дисциплины «Информатика». Основной проблемой является необходимость формирования у студентов навыков работы с логическими операциями и таблицами истинности, что критически важно для написания программ и построения алгоритмов. Актуальность данной темы обусловлена растущими требованиями к уровню подготовки специалистов в области информационных технологий, где знание математической логики становится необходимым для успешной профессиональной деятельности.

Методология

В исследовании использованы методы анализа и разработки методических материалов, включая создание пособий для самостоятельной работы студентов. В пособии представлены теоретические сведения о высказываниях, логических операциях (отрицание, конъюнкция, дизъюнкция) и алгоритмах построения таблиц истинности. Выбор данных методов объясняется необходимостью обеспечить студентов практическими навыками, которые они смогут применять при решении задач программирования.

Основные результаты

Ключевыми находками исследования стали разработанные методические рекомендации по обучению основам математической логики и контрольным заданиям для проверки усвоения материала. Статистическая значимость результатов не была указана, однако авторы подчеркивают важность тестирования знаний через закрытые задания и развернутые задачи на построение таблиц истинности.

Обсуждение и интерпретация

Авторы интерпретируют свои результаты как подтверждение необходимости интеграции математической логики в учебный процесс по информатике. Результаты исследования согласуются с предыдущими работами в области обучения программированию и математике, где отмечается важность логического мышления для решения сложных задач. В то же время, статья поднимает вопросы о недостаточной практике применения развернутых заданий для контроля знаний.

Заключение

Основные выводы статьи заключаются в том, что обучение основам математической логики является важной составляющей подготовки студентов технических вузов. Практическая значимость результатов заключается в возможности применения предложенных методик на занятиях по информатике. Ограничениями исследования являются отсутствие статистического анализа результатов тестирования и необходимость дальнейшего изучения эффективности предложенных методов. Авторы рекомендуют проводить дополнительные исследования по расширению форматов контрольных заданий.

Ключевые слова и термины

Ключевые термины: математическая логика, логические операции, таблица истинности, контроль знаний и умений, тестирование.

Библиография

Полевщиков И.С. Методика изучения студентами бакалавриата особенностей написания программ на языке С++ с использованием операторов управления // Science Time. 2014. №8 (8). С. 226 – 231. Викентьева О.Л., Соловьев А.Е., Файзрахманов Р.А. Дискретная математика: учебное пособие. Пермь: Изд-во ПГТУ, 2009. Леоненков А.В. Нечеткое моделирование в среде MATLAB и fuzzyTECH. СПб.: БХВ-Петербург, 2005. Полевщиков И.С. Особенности составления заданий для контроля знаний студентов по дисциплине «Тестирование программного обеспечения» // Молодой ученый. 2016. №3 (107). С. 54 – 56.