Programowanie w logice 510-IS1-3PL-23
Profil studiów: ogólnoakademicki
Forma studiów: stacjonarne
Rodzaj przedmiotu: fakultatywny
Dziedzina: nauki ścisłe i przyrodnicze; dyscyplina: informatyka
Rok studiów / semestr: 3 / 6
Wymagania wstępne (tzw. sekwencyjny system zajęć i egzaminów): brak
Wykład: 15h
Laboratorium: 30h
Metody dydaktyczne: wykład, prezentacja multimedialna
Punkty ECTS: 4
Bilans nakładu pracy studenta:
Udział w zajęciach:
- wykład: 15h
- laboratorium: 30h
Przygotowanie do zajęć:
- wykład: 7h
- laboratorium: 14h
Prace domowe: 14h
Przygotowanie do kolokwium: 4h
Przygotowanie do egzaminu: 8h
Czas trwania kolokwium: 4h
Czas trwania egzaminu: 2h
Udział w konsultacjach: 3h
Wskaźniki ilościowe:
- nakład pracy studenta związany z zajęciami wymagającymi bezpośredniego udziału nauczyciela: 54h, 2,1 ECTS
- nakład pracy studenta, który nie wymaga bezpośredniego udziału nauczyciela: 47h, 1,9 ECTS
Rodzaj przedmiotu
Tryb prowadzenia przedmiotu
Wymagania (lista przedmiotów)
Założenia (opisowo)
Koordynatorzy przedmiotu
Efekty kształcenia
Efekty uczenia się w ramach realizacji przedmiotu:
- zna podstawowe założenia paradygmatu programowania w logice. KP6_WG4, KP6_WG11
- zna założenia i zasady stosowania języka Prolog i jego interpreterów. KP6_WG4, KP6_WG11
- potrafi kodować zadania w języku logiki. KP6_UW4, KP6_UW7, KP6_UW16
- potrafi stosować interpretery języka Prolog. KP6_UW4, KP6_UW7
- sprawnie określa zależności pomiędzy różnymi obiektami. KP6_KK1
Kryteria oceniania
Ogólna forma zaliczenia: 2 kolokwia.
Pisemny egzamin na ocenę.
Obowiązuje całkowity zakaz używania narzędzi sztucznej inteligencji w trakcie kolokwium i egzaminu.
Literatura
Literatura podstawowa:
- Ulf Nilsson and Jan Maluszynski, "Logic, Programming and Prolog (2ed)", 2012
- W. F. Clocksin, C. S. Mellish, "Prolog. Programowanie", Helion
Literatura uzupełniająca:
- Dokumentacja interpreterów języka Prolog
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: