УДК 373

Авторы:

Андреева Диана Дмитриевна

Аспирант кафедры педагогики ФГБНУ «ИСМО»

Название статьи:

ПРИМЕНЕНИЕ ЛОГИКО-ОРИЕНТИРОВАННОГО ПОДХОДА ПРИ РЕШЕНИИ ЗАДАЧ ПО ИНФОРМАТИКЕ

Страницы в номере:

81–84

Аннотация:

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

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

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

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

Ключевые слова:

информатика, логико-ориентированный подход, решение задач, алгоритм, программы, педагогика, логическое программирование.

Список использованных источников:

1. Зулпуева, К.А., Сатыбаев, А.Д. Исследовательский метод в преподавании информатики и сравнение его с другими методами // Вестник Кыргызского государственного университета строительства, транспорта и архитектуры им. Н. Исанова. – 2011. – № 2. – С. 231-238.
2. Мухлисов, С.С. Инновационные методы в преподавании информатики: проблемы и решения // Проблемы педагогики. – 2023. – № 3 (64). – С. 12-15.
3. Рапуто, А.Г. Использование компьютерных методов визуализации знания в преподавании информатики // Информатика и образование. – 2010. – №8. – С. 16-19.
4. Тихонов, Ю.А., Крайнова, Е.А. Применение интерактивных методов в преподавании информатики в высшем учебном заведении // Проблемы современного педагогического образования. – 2019. – № 65-3. – С. 229-232.
5. Черенкова, И.А., Кишкинова, О.А. Инновационные методы преподавания информатики // Вестник научных конференций. – 2023. – № 10-1 (98). – С. 128-130.
6. De Raedt, L., Kersting, K., Natarajan, S., Poole, D. Statistical relational artificial intelligence: Logic, probability, and computation // Synthesis Lectures on Artificial Intelligence and Machine Learning. – 2018. – pp. 56-79.
7. Gelfond, M., Kahl, Y. Knowledge representation, reasoning, and the design of intelligent agents: The answer set programming approach. Cambridge University Press. – 2014. – 122 p.
8. Brachman, R. J., Levesque, H. J. Knowledge representation and reasoning. Morgan Kaufmann. – 2004. – 202 p.
9. Clocksin, W. F., Mellish, C. S. Programming in Prolog: Using the ISO standard // Springer Science & Business Media. – 2019. – 156 p.
10. Russell, S. J., Norvig, P. Artificial intelligence: A modern approach (3rd ed.). Pearson Education. – 2016. – 164 p.
11. Clarke, E. M., Kroening, D., Lerda, F. Model checking // Handbook of model checking. – 2018. – № 1. – pp. 23-37.
12. Sterling, L., Shapiro, E. The art of Prolog: advanced programming techniques. MIT press. – 1994. – 202 p.

Финансирование научной работы:

Нет сведений.

Ссылка для цитирования:

Андреева Д.Д. Применение логико-ориентированного подхода при решении задач по информатике // Проектирование. Опыт. Результат. 2025. №3. С. 81–84.

URL статьи: https://pedproect.ru/st12-n3-2025/

© Андреева Д.Д., 2025

 Материал распространяется на условиях лицензии Creative Commons «Атрибуция» 4.0 Международная (CC BY 4.0)