Перейти к основному содержанию
Поиск курса
Закрыть
Поиск курса
Изменить данные поисковой строки
Русский (ru)
ქართული (ka)
English (en)
Français (fr)
Русский (ru)
Вход
Advanced Topics in C ...
Поиск курса
Закрыть
Поиск курса
Изменить данные поисковой строки
Курсы
Advanced Topics in Computer Science
25 March - 12 April, Logic programming (Mireille Ducassé)
Drawing: Search tree for ?- ancestor_of (lali, davit).
Drawing: Search tree for ?- ancestor_of (lali, davit).
Требуемые условия завершения
Открыто с:
Tuesday, 2 April 2024, 00:00
Срок сдачи:
Wednesday, 15 May 2024, 00:00
Предыдущий акт. элемент
Students programs : ancestor.pl
Следующий акт. элемент
Students programs: lists.pl
Перейти на...
Перейти на...
ახალი ამბების ფორუმი / News Forum
Course goals and outcomes
Chapter 5: More Prolog Features
Chapter 7 - Synthesis
Introduction to ECLiPSe-Prolog and Tracing support
Uploading Exercises Reports: Recommendations
Students programs : ancestor.pl
Students programs: lists.pl
Defense plannings and organisation (Zoom link, time slots, ...)
Project description
Mid-term individual defense documents
Documents for the final individual defense of Logic programming project
Lectures slides
Introduction to Java Threads (useful for the practical sessions)
Practical Sessions
Lecture slides
Practical sessions