Programowanie w logice 420-IS1-3PL
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): Przedmioty wprowadzające: Podstawy programowania strukturalnego, Podstawy logiki i teorii mnogości
Wykład: 15
Laboratorium: 30
Metody dydaktyczne: wykład, ćwiczenia
Punkty ECTS: 4
Bilans nakładu pracy studenta:
Udział w zajęciach:
- wykład 15h
- laboratorium 30h
Przygotowanie do zajęć:
- wykład 8h
- laboratorium 15h
Prace domowe: 15h
Przygotowanie do kolokwium: 6h
Przygotowanie do zaliczenia: 8h
Łączna liczba godzin egzaminów oraz zaliczeń i kolokwiów: 6h
Udział w konsultacjach: 7h
Wskaźniki ilościowe:
- nakład pracy studenta związany z zajęciami wymagającymi bezpośredniego udziału nauczyciela: 52h, 2 ECTS
- nakład pracy studenta, który nie wymaga bezpośredniego udziału nauczyciela: 52h, 2 ECTS
Rodzaj przedmiotu
Tryb prowadzenia przedmiotu
Założenia (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. KA6_WG4, KA6_WG11
- zna założenia i zasady stosowania języka Prolog i jego interpreterów. KA6_WG4, KA6_WG11
- potrafi kodować zadania w języku logiki. KA6_UW4, KA6_UW7, KA6_UW16
- potrafi stosować interpretery języka Prolog. KA6_UW4, KA6_UW7
- sprawnie określa zależności pomiędzy różnymi obiektami. KA6_KK1
Kryteria oceniania
Ogólna forma zaliczenia: 2 kolokwia. Zaliczenie pisemne na ocenę.
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: