Автор в течение последних 15 лет параллельно читает студентам, специализирующимся по направлению «Информатика и вычислительная техника», ряд курсов по тематикам: (1) «Информатика: Алгоритмизация и программирование» (традиционное императивное программирование, офисное программирование, языки Visual Basic и VBA); а также (2) «Логическое программирование» (нетрадиционное декларативное программирование, язык Пролог).

Курсы тематики (1) предназначены студентам первого курса бакалавриата ряда кафедр Национального исследовательского ядерного университета (НИЯУ МИФИ); курс тематики (2) предназначен студентам 4-го курса бакалавриата (а также первого курса магистратуры) одной из кафедр того же университета.

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

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

Императивная парадигма считается более традиционной, возникла на заре программирования более 60 лет тому назад. Она проповедует алгоритмический подход к написанию программы на том или ином языке программирования императивного типа: во главу угла ставится принцип «как», а не «что», то есть, принцип составления подробной инструкции того, какие стандартные действия надо выполнить интерпретатору языка программирования императивного типа, чтобы решить задачу.

Декларативная парадигма, возникшая на 2 десятилетия позже императивной, напротив, во главу угла ставит принцип «что», а не «как», то есть, принцип составления точного формального описания желаемого результата и исходного множества средств, которые могут понадобиться для его получения. Интерпретатор языка декларативного программирования берёт на себя автоматический выбор необходимых для решения задачи средств и последовательность их применения.

Разумеется, цели и задачи курсов двух указанных тематик существенно и принципиально отличаются друг от друга. По указанным двум тематикам автором многие годы читались лекции, проводились практические занятия и были опубликованы многочисленные учебные пособия, в частности [1], [2] и [3], что дает ему право говорить о значительном методическом опыте их преподавания.

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

Дистанционные методы общения преподавателя со студентами в ходе выполнения самостоятельных (домашних) заданий

Объективными предпосылками перехода к «безбумажной» технологии общения со студентами, выполняющими домашние задания по программированию, послужило то обстоятельство, что каждый (без исключения) студент в настоящее время имеет возможность использовать интернет и электронную почту в общении с преподавателем практически, в режиме «онлайн». Кроме того, студенты обеспечиваются возможностью использовать среду программирования для отладки программ и получения результатов.

В частности, в курсе «Логическое программирование» студенты используют лицензионный продукт: компилятор языка Prolog фирмы LPA [4]. (Лицензия предоставлена фирмой автору данной статьи для ограниченного использования этого продукта в учебных целях.) Студенты имеют возможность «мгновенного» (по прямой ссылке) скачивания архива с указанным продуктом с «облачного» сервиса «Диск», на который он загружается преподавателем в начале семестра. Примечательно, что для использования данного сервиса студенту нет необходимости иметь собственный почтовый ящик на поисковом портале (например, Google или Яндекс) – почта на этом портале должна быть лишь у преподавателя. Этот же сервис позволяет студентам скачивать, во-первых, варианты домашних заданий и, во-вторых, примеры решения типичных задач в виде интерпретируемых программных кодов. Также в виде интерпретируемых кодов студенты представляют отлаженные программы – результаты решений задач – и высылают их по электронной почте преподавателю. В случае затруднений при решении задач, студенты по запросу получают от преподавателя консультации в режиме «онлайн».

Более чем 10-летний опыт (а последние 3 года, с использования упомянутого выше «облачного» сервиса) применения данной «безбумажной» технологии общения со студентами показал ее высокую эффективность.

Широкое использование «облачного» сервиса «Яндекс-диск» для оперативного доступа студентов к учебно-методическим материалам изучаемых курсов

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

По каждой лекции и по каждому практическому занятию каждого курса автор подготовил презентацию (файл офисного приложения MS Power Point), которую он демонстрирует в ходе чтения лекции и проведения практического занятия. Это относится как к курсам «Информатика» и «Программирование» (для подготовки бакалавров), так и к курсу «Логическое программирование» (для подготовки магистров). В первом случае, практические занятия – это лабораторные работы по программированию на языке VBA для офисного приложения MS Excel. Во втором случае, это семинарские занятия по декларативному программированию на Прологе, а также самостоятельная работа студентов с использованием упомянутого выше компилятора языка Prolog фирмы LPA.

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

Все указанные выше презентации автор разместил на сервисе «Яндекс-диск» в формате PDF с тем, чтобы они были доступны для дополнительного изучения студентами по прямым ссылкам, даже если студент не обладает офисным приложением MS Power Point. Адрес соответствующего файла в формате PDF на сервисе «Яндекс-диск» преподаватель оглашает в конце каждого занятия.

«Облачный» сервис «Диск» (в частности, «Яндекс-диск») используется автором и для упрощения студентам процесса подготовки к прохождению заключительной аттестации. По прямым ссылкам студент имеет возможность скачать файлы формата PDF с формулировками задач, подобных тем, которые предлагаются на зачете, а также с методическими рекомендациями их решений.

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

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

В качестве примеров рассмотрим интерфейс декларативного языка логического программирования Пролог и императивного визуального языка программирования Visual Basic. В частности, будет рассмотрен интерфейс Пролога и языков группы Visual Basic (VB-6; VB-2010 – и более поздних версий на платформе .NET; VBA for Microsoft Office).

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

Интерфейс различных версий языка Visual Basic и языка логического программирования Пролог

До появления современных версий языка Visual Basic на платформах .NET автор преподавал основы программирования на языке Visual Basic 6 [1] – более ранней, «классической», версии. (Следует отметить, что она стала основой языка офисных приложений VBA многих, в том числе, и всех современных версий.) Студентам, освоившим этот визуальный императивный язык программирования, впоследствии (через несколько семестров) было предложено изучить основы логического программирования на языке Пролог в рамках семестрового курса «Логическое программирование». Завершающей фазой изучения данного курса явилось выполнение задания по реализации интерфейса освоенного ранее языка Visual Basic и Пролога. За основу была взята одна из первых попыток автора статьи напрямую «связать» язык Visual Basic 6 с хорошо развитыми средствами визуализации (в частности, графики) и язык символьной обработки декларативного типа Пролог – для решения известной задачи «о греко-латинском (эйлеровом) квадрате» [6].

Для визуализации результатов работы программы на Прологе было спроектировано Windows-приложение в интегрированной среде разработки на языке Visual Basic 6.

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

Пример результата работы указанного приложения показан на рисунке 1.

Рисунок 1 – Окно приложения «Греко-латинский квадрат», спроектированного на языке Visual Basic 6.0 (2000 г.)

Исходные данные – размерность квадрата (в данном случае, 5) и номер решения (в данном случае, 1) вводится в виде (N,K) в текстовое поле. После щелчка команды меню Input эти данные записываются в текстовый файл, который становится доступным программе на Прологе. Эта программа может быть запущена с помощью интерпретатора этого языка следующей командой меню: Res. После щелчка команды меню Res («получить результат») запускается программа Пролог-интерпретатора и компилируется программа, которая формирует результат своей работы в виде другого текстового файла. Записи этого файла – строки матрицы. Они высвечиваются в поле списка справа на экранной форме. Одновременно, результат представляется в наглядном графическом виде (в графическом поле слева на экранной форме) – естественно, с помощью процедур программы на языке Visual Basic, использующих графику.

Итак, изучение интерфейса двух указанных языков с принципиально различными парадигмами легко воспринимается студентами в процессе изучения курса «Логическое программирование» («ЛП») на 4-м курсе бакалавриата кафедры Кибернетики НИЯУ МИФИ по следующим причинам. С одной стороны, к этому времени студентам уже достаточно хорошо известны принципы и приемы программирования на императивном языке (в данном случае, на языке Visual Basic 6). С другой стороны, изучение первой половины курса «ЛП» позволяет студентам освоить приемы программирования на Прологе переборных алгоритмов, а также использование встроенных предикатов Пролога для записи общих данных, которыми обмениваются программы на Прологе и Бейсике.

Спустя 10 лет, в 2010 году, для той же задаче о греко-латинском квадрате (без какого-либо изменения программы на Прологе) был реализован интерфейс языка Visual Basic на платформе .NET фирмы Microsoft [2] (в данном случае, языка Visual Basic 2010) и языка логического программирования Пролог. Была использована та же версия базисного языка Пролог, реализованного фирмой LPA [4]. Несущественные изменения были сделаны лишь в той части программы на VB-2010, которые обеспечивали вызов программы на Прологе.

В данной статье автор представляет другой пример: интерфейс языка Visual Basic на платформе .NET (языка VB 2010) и языка Пролог фирмы LPA – для демонстрации программы синтаксического анализа на основе встроенного в Пролог механизма DCG [3, с.242 – 261].

Окно Window-приложения, спроектированного на языке Visual Basic 2010, с демонстрацией работы программы синтаксического анализа на Прологе показано на рисунке 2.

Рисунок 2 – Окно приложения «Синтаксический анализ языка с помощью механизма DCG», спроектированного на языке Visual Basic 2010

Ценным качеством данного приложения является то, что программа на Прологе, реализующая синтаксический анализатор (в данном случае, анализатор языка {aⁿbⁿcⁿ}), целиком загружается в текстовое поле экранной формы. В левое нижнее поле пользователь записывает анализируемую цепочку. В правом нижнем поле появляется полученный Прологом результат. Очевидно, студенту предоставляется достаточно широкий простор для проведения различных экспериментов с данным приложением.

Интерфейс языка VBA (Visual Basic for Applications) и языка логического программирования Пролог

Уже на младших курсах при изучении основ информатики студенты, как правило, осваивают и элементы программирования макрокоманд (макросов) на языке VBA [7].

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

Первый пример – это создание макроса для офисного приложения Microsoft Excel 2010 (или более поздних версий), который решает задачу перевода записи числа из цифровой формы в словесную форму (в так называемую «пропись»). Примеры записей чисел в той и другой форме представлены на рисунке 3.

Рисунок 3 – Лист книги MS Excel 2010 с результатом работы программы на Прологе – переводом записи числа из цифровой формы в форму «прописи» – и наоборот

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

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

Например, при дифференцировании программой на Прологе арифметического выражения ln(a / x) + 5 * x ^ 4 + 4 * x ^ 3 + 3 * x ^ 2 + 2 * x + a, получается следующее выражение: a * (-1 * x ^ (-1 – 1) * 1) * (a / x) ^ -1 + 5 * (4 * x ^ (4 – 1) * 1) + 4 * (3 * x ^ (3 – 1) * 1) + 3 * (2 * x ^ (2 – 1) * 1) + 2 * 1 + 0.

Такое выражение явно нуждается в упрощении. Один из путей упрощения – частичное вычисление выражения.

Здесь демонстрируется реализация работы программы частичного вычисления на Прологе, которая вызывается из приложения MS Excel (2007, 2010) с помощью макроса, написанного на языке VBA for Excel. Фрагмент листа книги Excel может быть таким, как показано на рисунке 4.

Рисунок 4 – Лист книги MS Excel 2010 с результатом работы программы на Прологе – частичным вычислением арифметического выражения

На рисунке 5 показана экранная форма, вызываемая, например, щелчком кнопки, установленной непосредственно на листе книги Excel, как показано на рисунке 4.

Рисунок 5 – Вызываемая с листа книги MS Excel 2010 пользовательская форма для проведения частичного вычисления

На данной форме установлены командные кнопки, позволяющие (1) загрузить и показать пользователю данного приложения программу на Прологе; (2) ввести и загрузить арифметическое выражение и (3) вызвать и запустить программу на Прологе, упрощающую это выражение (производящую его частичное вычисление).

Отметим, что из текста программы на Прологе, показанного в окне формы на рисунке 5, можно увидеть, что исходное (вычисляемое) выражение берётся Прологом из текстового файла string.txt, куда оно было записано после щелчка командной кнопки «Загрузить исходное арифметическое выражение» (процедура-событие CommandButton_Click на языке VBA). Результат частичных вычислений, выполненных Прологом, помещается в текстовый файл struct.txt тоже Прологом. Перемещение записей результата из файла struct.txt в правое нижнее поле на форме выполняется снова процедурой на языке VBA.

Интерфейс двух языков программирования в данном примере (как и во всех предыдущих) проявляется в полной мере.

Заключение

Представляется целесообразным и плодотворным расширение использования в процессе преподавания программирования студентам технических вузов таких современных и эффективных технологий как дистанционный оперативный обмен условиями задач по программированию, а также оперативный обмен учебными материалами с помощью «облачных» сервисов. Кроме того, представляется разумным с точки зрения расширения кругозора обучение студентов языкам с принципиально различными парадигмами. Рассмотренные в статье примеры позволяют сделать вывод о целесообразности включения в процесс преподавания программирования студентам, обучающимся по направлению «Информационные технологии», обучение проектирования взаимодействия (интерфейса) языков с различными парадигмами. В частности, плодотворного интерфейса языков декларативного и императивного стилей. Например, логического языка Пролог и визуального языка Visual Basic.

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

Что отличает VSaaS от традиционной аналоговой охранной системы?

VSaaS-система – это более минималистичный подход к обустройству видеонаблюдения, который выгоднее и практичнее для большей части пользователей. Клиенту облачного сервиса требуется меньше усилий выделять на обслуживание системы, обеспечение безопасности данных и прочие действия. VSaaS легко поддается масштабированию – видеонаблюдение из пары камер можно легко модернизировать в сложную систему из большого числа устройств. При этом пользователю не придется менять видеорегистратор и покупать дополнительные жесткие диски, как в случае аналоговой системы [2].

Выделить можно три главных преимущества VSaaS:

1. Удаленный доступ – пользователи могут подключиться к своим камерам практически с любого места, где есть доступ к глобальной сети. Все, что потребуется для подключения: устройство просмотра (ПК, смартфон и пр.) и логин/пароль для входа в систему.

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

3. Облачное видеонаблюдение работает бесперебойно. Видеоданные заносятся в архив, который хранится на сервере неограниченное время (зависит от выбранного тарифа и набора услуг). Архив всегда находится под рукой у пользователя благодаря интернету и мобильным устройствам. Так как архив не хранится на самом объекте, доступ к нему надежно закрыт для любых посторонних людей. Он всегда будет в сохранности независимо от событий на территории самого объекта [3].

Другие особенности и преимущества VSaaS-систем:

1) пользователь может дополнительно записывать резервную копию данных на собственный жесткий диск;

2) система может реагировать на события на подконтрольном объекте и мгновенно пересылать владельцу сообщения;

3) программное обеспечение обновляется сервером автоматически, пользователю остается только следить за работоспособностью самих видеокамер;

4) облачное видеонаблюдение отличается простотой развертки и эксплуатации. Потребуется только купить IP-камеры, NVR, подключить их к сети и настроить взаимодействие с удаленным сервером;

4) IP-камеры являются устройствами семейства plug-and-play – быстрое и простое подключение с минимумом настроек;

5) VSaaS является кросс-браузерным сервисом – пользователь может использовать любой браузер интернета для работы с видеокамерами [4].

В каких сферах деятельности выгодно использовать VSaaS-видеонаблюдение?

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

В розничной торговле облачное видеонаблюдение позволит защититься от краж и увеличить качество обслуживания покупателей. Для компаний это эффективный способ удаленного управления сотрудниками в офисах. Камеры в частных домах или квартирах, а также в отелях позволят защитить имущество от вандализма или кражи и наблюдать за деятельностью персонала. Также видеонаблюдение как сервис можно использовать на территории складов, на производстве, в учебных и финансовых учреждениях, на дорогах.

Почему стоит перейти на облачное видеонаблюдение?

Системы видеонаблюдения на основе IP-камер и облачных технологий не перестают развиваться. Их доля на рынке систем безопасности становится со временем только больше. Облачным сервисам видеонаблюдения есть что предложить: безопасность данных, масштабируемость, высокое качество изображения, видеоаналитика. Каждый пользователь сам выбирает подходящий ему набор услуг и дополнительных возможностей.