Logical and Relationa Programming

2023/2024

Academic Year

RUS

Instruction in Russian

3

ECTS credits

Delivered at:

Department of Informatics

Course type:

Elective course

When:

4 year, 3 module

Программа дисциплины

Аннотация

Является дисциплиной по выбору. Дисциплина направлена на обеспечение базовой подготовки студентов в области декларативного программирования, знакомство с основными понятиями и техникой логического и реляционного программирования. Для освоения дисциплины студентам необходимы знания, полученные в результате изучения дисциплин «Семантики языков программирования», «Компиляторы».