Uniwersytet Marii Curie-Skłodowskiej w Lublinie - Centralny System Uwierzytelniania
Strona główna

Programowanie II - PROLOG (ang)

Informacje ogólne

Kod przedmiotu: F-K.24
Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Programowanie II - PROLOG (ang)
Jednostka: Wydział Filozofii i Socjologii
Grupy: Przedmioty kierunkowe kognitywistyka V sem. (stare)
Punkty ECTS i inne: (brak) 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: angielski
Wymagania wstępne:

> Logika formalna

> Programowanie I: Lisp lub inny kurs podstawowy programowania

> Dowolny kurs z zakresu podstaw obsługi systemu linux

> Język angielski


Godzinowe ekwiwalenty punktów ECTS:

Konsultacje: 5,0

Wykład: 15,0

Ćwiczenia: 15,0

Przygotowanie się studenta do zajęć dydaktycznych: 30,0

Przygotowanie się studenta do zaliczeń: 15,0

Studiowanie przez studenta literatury przedmiotu: 10,0

Sposób weryfikacji efektów kształcenia:

[1] Kolokwium, egzamin pisemny.

[2] Kolokwium, egzamin pisemny.

[3] Bieżące przygotowanie do zajęć, odpowiedzi ustne.

[4] Kolokwium, egzamin pisemny, odpowiedzi ustne.

[5] Ćwiczenia praktyczne.

[6] Odpowiedzi ustne, kolokwium, egzamin pisemny.

[7] Pozostawia stanowisko pracy w należytym stanie.

[8] Nie ma wyjścia - na pracowni jest tylko Linux.

[9] Ćwiczenia praktyczne, kolokwium, egzamin pisemny.

Pełny opis:

Na wykładzie przedstawiony jest język programowania Prolog:

> podstawowa składnia,

> często używane konstrukcje

> wbudowane predykaty.

Wykład ilustrowany jest licznymi przykładami.

Na ćwiczeniach studenci sprawdzają działanie Prologu w praktyce oraz samodzielnie rozwiązują problemy z wykorzystaniem tego narzędzia.

Literatura:

> Dokumentacja do GNU Prolog

> W.F. Clocksin, C.S. Mellish, Prolog. Programowanie (Helion)

Efekty uczenia się:

[1] Definiuje podstawowe struktury języka Prolog oraz charakteryzuje metody stosowane w tym języku w zastosowaniu do wybranych problemów sztucznej inteligencji.

[2] Zna i dobiera odpowiednie narzędzia języka Prolog do opisu systemów i procesów poznawczych.

[3] Opisuje strukturę logiczną języka. Zna podstawowe pojęcia syntaktyczne i semantyczne oraz wyjaśnia ich wzajemne relacje.

[4] Potrafi rozwiązywać proste problemy przy użyciu technik programowania języka Prolog oraz analizować i oceniać działanie przykładowych prostych programów także w języku angielskim.

[5] Umie rozwiązywać problemy poprzez dobór, wdrożenie i wykorzystanie tzw. wolnego otwartego oprogramowania, również działającego w środowisku darmowego systemu operacyjnego Linux.

[6] Jest zorientowany na komunikację z otoczeniem, także w języku angielskim.

[7] Wykazuje się dbałością o powierzony sprzęt

[8] Szanuje własność intelektualną w tym prawa autorskie do programów, poprzez używanie darmowego oprogramowania.

[9] Podchodzi twórczo do problemów.

Przedmiot nie jest oferowany w żadnym z aktualnych cykli dydaktycznych.
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.
kontakt deklaracja dostępności mapa serwisu USOSweb 7.1.0.0