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

Аннотация

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

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

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

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

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