Uniwersytet Warszawski - Centralny System Uwierzytelniania
Strona główna

Programowanie w logice

Informacje ogólne

Kod przedmiotu: 1000-2N00PLO
Kod Erasmus / ISCED: 11.302 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0612) Database and network design and administration Kod ISCED - Międzynarodowa Standardowa Klasyfikacja Kształcenia (International Standard Classification of Education) została opracowana przez UNESCO.
Nazwa przedmiotu: Programowanie w logice
Jednostka: Wydział Matematyki, Informatyki i Mechaniki
Grupy: Przedmioty obieralne dla informatyki
Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka
Punkty ECTS i inne: 6.00 Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.

zobacz reguły punktacji
Język prowadzenia: polski
Rodzaj przedmiotu:

monograficzne

Założenia (opisowo):

Podstawowa wiedza informatyczna i matematyczna z zakresu pierwszego roku studiów na kierunku informatyka.

Tryb prowadzenia:

w sali

Skrócony opis:

Celem zajęć jest zapoznanie studentów z podstawami programowania w logice.

Na wykładzie zostanie przedstawiona składnia i semantyka (deklaratywna i operacyjna) programów w logice oraz omówiona kwestia poprawności i pełności mechanizmu obliczeniowego stosowanego w programowaniu w logice.

Na laboratorium studenci poznają podstawowe techniki programowania w logice.

Pełny opis:

1. Idea programowania w logice (programowanie deklaratywne a imperatywne). Składnia programów w logice.

2. SLD-rezolucja: mechanizm obliczeniowy dla programów w logice.

3. Semantyka programów w logice (poprawność i pełność SLD-rezolucji).

4. Negacja w programowaniu w logice (wyprowadzanie negatywnych informacji, programy z negacją, klasy programów).

5. Sterowanie w programowaniu w logice (odcięcie).

6. Przegląd dziedzin programowania w logice: programowanie z więzami, równoległość, deklaratywna lokalizacja błędów.

Literatura:

1. U.Nilsson, J.Małuszyński ,"Logic Programming and Prolog", wyd. 2, John Wiley, 1995,. http://www.ida.liu.se/~ulfni/lpp/

2. K.R.Apt ,"From Logic Programming to Prolog". 1997.

3. L.Sterling, E.Shapiro, The Art of Prolog. MIT, 1994.

4. W.F.Clocksin, C.S.Mellish, Prolog. Programowanie. Wyd. Helion, 2003.

Efekty uczenia się:

Wiedza

1. Ma ogólną wiedzę w zakresie programowania deklaratywnego (K_W02).

2. Ma wiedzę w zakresie składni i semantyki programów w logice (K_W01, K_W02).

3. Zna podstawowe techniki programowania w logice (K_W01, K_W02).

4. Ma podstawową wiedzę na temat systemu automatycznego dowodzenia twierdzeń występującego w programowaniu w logice (K_W09).

Umiejętności

1. Potrafi formułować różne własności w sposób deklaratywny (K_U01).

2. Potrafi pisać, uruchamiać i testować programy w języku programowania w logice (K_U05).

3. Potrafi ocenić przydatność paradygmatu programowania w logice do rozwiązywania różnego typu problemów (K_U20).

Kompetencje

1. Zna ograniczenia własnej wiedzy i rozumie potrzebę dalszego kształcenia (K_K01).

2. Potrafi pracować indywidualnie (K-K05).

Metody i kryteria oceniania:

Ocena końcowa na podstawie sumy punktów uzyskanych z kolokwium (20 pkt), laboratorium (dwie klasówki po 10 pkt,) i egzaminu (60 pkt).

Egzamin poprawkowy: ocena wyłącznie na podstawie wyników samego egzaminu.

Zajęcia w cyklu "Semestr zimowy 2023/24" (zakończony)

Okres: 2023-10-01 - 2024-01-28
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Mirosława Miłkowska
Prowadzący grup: Mirosława Miłkowska
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.
ul. Banacha 2
02-097 Warszawa
tel: +48 22 55 44 214 https://www.mimuw.edu.pl/
kontakt deklaracja dostępności USOSweb 7.0.2.0-80474ed05 (2024-03-12)