Перейти к основному содержанию
Поиск курса
Закрыть
Поиск курса
Изменить данные поисковой строки
Русский (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é)
Chapter 7 - Synthesis
Chapter 7 - Synthesis
Вы уже работали с этой лекцией.
Хотите продолжить с того места, на котором Вы остановились?
Да
Нет
Предыдущий акт. элемент
Chapter 5: More Prolog Features
Следующий акт. элемент
Introduction to ECLiPSe-Prolog and Tracing support
Перейти на...
Перейти на...
ახალი ამბების ფორუმი / News Forum
Course goals and outcomes
Chapter 5: More Prolog Features
Introduction to ECLiPSe-Prolog and Tracing support
Uploading Exercises Reports: Recommendations
Students programs : ancestor.pl
Drawing: Search tree for ?- ancestor_of (lali, davit).
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