В данной статье постарались показать, что мобильные технологии являются важной частью нашего быта, уже нельзя представить себе, что мы не пользуемся мобильным телефоном или планшетом, и тем более интернетом, эти технологии окружают нас повсюду, они известны маленькому ребенку и пенсионеру. Это расширяет возможности донесения целенаправленной информации о достопримечательностях и услугах широким массам населения, рост прибыли, и снижение расходов. В статье приведены результаты практической реализации мобильного приложения «Travel PVL», которое могло быть полезным для туристов. Данное мобильное приложение разработано для операционных систем Android и iOS и соответственно размещены в GooglePlay и AppStore для окончательного использования пользователями. Разработанное мобильное приложение в виде электронной справочно-информационной базы о туристско-рекреационных ресурсах Павлодарской области, включающую в себя онлайн карту и мобильное приложение степени благоприятности развития туризма и рекреации на территории Павлодарской области, с нанесенными туристскими объектами, навигационной картой сакральных мест. В ходе разработки мобильного приложения сформированы административные панели – базы данных, упрощающие добавление информации в реальном времени в мобильное приложение Объектом исследования является показ процесса разработки программного обеспечения с применением современных языков и технологий программирования.
В данной работе, включающей в себя две статьи, выявляются и реализуются возможности и формы следования регламентационным предписаниям дидактического принципа наглядности, применительно к обучению дисциплинам логико-алгебраической ориентации, изучаемым в высших учебных заведениях по естественно-математическим направлениям. В предлагаемой статье, на примере оперирования с объектами синтаксиса формальных языков булевых сигнатур, предпринимается опыт реализации возможностей наглядного представления процессов индуктивного определения абстрактных составляющих (слов, термов, формул и их последовательностей) формальных символических языков логических исчислений, посредством индуктивного построения их некоторых конкретных «материальных» аналогов. В соответствии с этим, в данной статье, на основе анализа синтаксической и семантической составляющих формальных языков булевых сигнатур показывается, каким образом индуктивные процессы определения синтаксических конфигураций символических языков и их потенциально возможных семантик предопределяют не только формы визуального воспроизведения этих процессов, но и выбор наиболее выразительных средств наглядности. В работах, посвященных реализации средств знаниевообразующего потенциала принципа наглядности, проблематика, связанная с наглядным отражением пошаговых процессов индуктивного определения языковых конструкций и технологий оперирования с ними, практически не затрагивалась.
В данной работе, включающей в себя две статьи выявляются и реализуются условия и формы следования регламентационным предписаниям дидактического принципа наглядности, применительно к логико-алгебраическим дисциплинам. В предлагаемой статье рассматриваются возможности следования этому принципу при изучении синтаксиса формального языка исчисления высказываний. К основным методам, применяемым в этой статье, относятся индуктивные методы определений и построений, как методы, наиболее органичные процессам описания синтаксической и семантической компонент символического языка пропозициональных исчислений. На основе свойств классической и теоретико-множественной семантик исчисления высказываний в статье выявляются теоретические основания, определяющие механизмы взаимной обусловленности этих семантик, устанавливаются связи между алгеброй формул и алгеброй подмножеств, позволяющие процессы индуктивного определения синтаксических объектов исчисления высказываний наглядно реализовывать посредством построения теоретико-множественных диаграмм соответствующих объектов алгебры множеств. Представленный в статье опыт изучения абстрактных объектов синтаксиса символических языков посредством изучения их естественных «материальных» аналогов является широкой пропедевтикой таких научно-теоретических концепций, как логическое исчисление, формальная аксиоматическая теория и изоморфизм. В работах, связанных с использованием продуктивных возможностей следования принципу наглядности, при изучении естественно-математических дисциплин, подобные подходы не рассматривались.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.