О ВОЗМОЖНОСТЯХ РЕАЛИЗАЦИИ ДИДАКТИЧЕСКОГО ПРИНЦИПА НАГЛЯДНОСТИ ПРИ ПОСТРОЕНИИ ФОРМАЛЬНЫХ ЯЗЫКОВ ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ (I)
Аннотация
В данной работе, включающей в себя две статьи, выявляются и реализуются возможности и формы следования регламентационным предписаниям дидактического принципа наглядности, применительно к обучению дисциплинам логико-алгебраической ориентации, изучаемым в высших учебных заведениях по естественно-математическим направлениям. В предлагаемой статье, на примере оперирования с объектами синтаксиса формальных языков булевых сигнатур, предпринимается опыт реализации возможностей наглядного представления процессов индуктивного определения абстрактных составляющих (слов, термов, формул и их последовательностей) формальных символических языков логических исчислений, посредством индуктивного построения их некоторых конкретных «материальных» аналогов. В соответствии с этим, в данной статье, на основе анализа синтаксической и семантической составляющих формальных языков булевых сигнатур показывается, каким образом индуктивные процессы определения синтаксических конфигураций символических языков и их потенциально возможных семантик предопределяют не только формы визуального воспроизведения этих процессов, но и выбор наиболее выразительных средств наглядности. В работах, посвященных реализации средств знаниевообразующего потенциала принципа наглядности, проблематика, связанная с наглядным отражением пошаговых процессов индуктивного определения языковых конструкций и технологий оперирования с ними, практически не затрагивалась.
Автор
DOI
https://doi.org/10.48081/LFGW9580
Ключевые слова
принцип наглядности, синтаксис, формальный язык, логическое исчисление
Год
2020
Номер
Выпуск 4