• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Crystallochemical Design of Huntite-Family Compounds

Kuz’micheva G. M., Kaurova I. A., Rybakov V. B. et al.

Crystals. 2019. Vol. 9. No. 2. P. 1-49.

Глава в книге
Structural Synthesis of the IoT System for the Fog Computing

Saksonov E., Leokhin Y., Panfilov, P.

In bk.: 24th Conference of Open Innovations Association FRUCT, FRUCT 2019. IEEE Computer Society, 2019. P. 381-387.

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

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

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

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

Руководитель семинара

 

Аннотация

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

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

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


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

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