• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Generation of the Reactive Oxygen Species on the surface of nanosized titanium(IV) oxides particles under UV-irradiation and their connection with photocatalytic properties

Mulakov S. P., Gotovtsev P. M., Gainanova A. A. et al.

Journal of Photochemistry and Photobiology A: Chemistry. 2020. Vol. 393. P. 1-10.

Глава в книге
Integral Assessment of Efficiency of Scientific Research in Scientific Institutions of Russian Ministry of Health

Lebedev G., Krylov O., Lelyakov A. et al.

In bk.: Intelligent Decision Technologies 2019 (Vol.1). Vol. 1. Springer, 2020. P. 287-298.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Декларативное программирование

Аннотация

Различные парадигмы программирования – это различные стили мышления. Императивная программа состоит из команд, которые нужно выполнить, чтобы получить решение задачи. Декларативная программа задает описание (спецификацию) задачи. Спецификация может быть логической или функциональной. На семинаре по декларативному программированию для первого курса студенты познакомятся с основами логического программирования. Чтобы решить задачу методом логического программирования, достаточно правильно ее сформулировать и правильно задать вопрос. Это важное умение, которое пригодится при решении любых программистских задач.
К процессно-ориентированным системам относятся различного рода мультиагентные системы, системы Web-сервисов, облачные вычисления, системы потоков работ (workflow), системы бизнес-процессов (включая системы электронного документооборота и собственно производственные процессы).
На семинаре можно будет узнать о различных парадигмах программирования и особенностях декларативного программирования, научиться формулировать четкие логические спецификации задачи и писать простые программы на языке PROLOG.

Цель семинара:

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


Требования к студентам:

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