- Nazwa przedmiotu:
- Programming in Logic and Symbolic Programming
- Koordynator przedmiotu:
- Dr inż. Felicja Okulicka-Dłużewska
- Status przedmiotu:
- Obowiązkowy
- Poziom kształcenia:
- Studia II stopnia
- Program:
- Computer Science and Information Systems
- Grupa przedmiotów:
- Obligatory
- Kod przedmiotu:
- 1120-INSZI-MSA-0117
- Semestr nominalny:
- 2 / rok ak. 2023/2024
- Liczba punktów ECTS:
- 4
- Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
- .
- Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
- .
- Język prowadzenia zajęć:
- angielski
- Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
- .
- Formy zajęć i ich wymiar w semestrze:
-
- Wykład15h
- Ćwiczenia0h
- Laboratorium0h
- Projekt30h
- Lekcje komputerowe0h
- Wymagania wstępne:
- Artificial intelligence fundamentals
- Limit liczby studentów:
- Bez limitu
- Cel przedmiotu:
- Provide students with important notions and methods of languages for Artificial Intelligence.
- Treści kształcenia:
- Basic knowledge on programming in Lisp. Introduction to symbolic programs.
Logic in Prolog. Automated reasoning. Data bases in Prolog. Simple expert systems.
- Metody oceny:
- During laboratories students prepare 4 programs: 2 in Lisp and 2 in Prolog.
- Egzamin:
- nie
- Literatura:
- .
- Witryna www przedmiotu:
- brak
- Uwagi:
- .
Efekty uczenia się
Profil ogólnoakademicki - wiedza
- Charakterystyka W01
- Knows the basic logic systems applied in Artificial Intelligence and methods of knowledge representation
Weryfikacja: written test
Powiązane charakterystyki kierunkowe:
I2AI_W03, I2AI_W04
Powiązane charakterystyki obszarowe:
- Charakterystyka W02
- Knows Lisp and Prolog or other languages for Artificial Intelligence
Weryfikacja: written test
Powiązane charakterystyki kierunkowe:
I2AI_W05
Powiązane charakterystyki obszarowe:
Profil ogólnoakademicki - umiejętności
- Charakterystyka U01
- See the restrictions and weakness of existing computer methods
Weryfikacja: graded tasks
Powiązane charakterystyki kierunkowe:
I2_U05
Powiązane charakterystyki obszarowe:
- Charakterystyka U02
- Can apply the automatic reasoning methods and resolution, and can create model for heuristic search of graphs (OR, AND/OR)
Weryfikacja: graded tasks
Powiązane charakterystyki kierunkowe:
I2AI_U05, I2AI_U04
Powiązane charakterystyki obszarowe:
Profil ogólnoakademicki - kompetencje społeczne
- Charakterystyka K01
- Is responsible for the problems solved by the group
Weryfikacja: graded tasks
Powiązane charakterystyki kierunkowe:
I2_K05
Powiązane charakterystyki obszarowe: