Akademia Finansów i Biznesu Vistula - Centralny System Uwierzytelniania
Strona główna

Projekt zespołowy

Informacje ogólne

Kod przedmiotu: CII7SP03
Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Projekt zespołowy
Jednostka: Akademia Finansów i Biznesu Vistula
Grupy:
Punkty ECTS i inne: 3.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.
Język prowadzenia: polski
Skrócony opis:

Kształtowanie podstawowego modelowania rozumowania w kontekście sztucznej inteligencji niezbędnego do zapisu i analizy problemów spotykanych w informatyce (programowanie deklaratywne).

Pełny opis:

- Reguły wnioskowania i dedukcja.

- Rachunek zdań i predykatów.

- Modele i spełnialność. Klauzule oraz rezolucja. Refutacja.

- Algorytm unifikacyjny i drzewa SLD.

- Przeszukiwania grafów acyklicznych i cyklicznych w Prolog-u - zastosowania w A.I.

- Zagadki logiczne – zastosowania w A.I.

Literatura:

Literatura podstawowa:

„The Art of Prolog”, L. Sterling and E. Shapiro, MIT Press, 1994.

„Logika matematyczna w informatyce”, M. Ben-Ari, Seria Klasyka w Informatyce, Wydawnictwo Naukowo Techniczne, 2006.

Literatura uzupełniająca:

“Prolog programming for artificial intelligence”, I. Bratko, Addison Wesley, 3rd edition, 1986.

Efekty uczenia się:

Zna podstawowe metody, techniki i narzędzia stosowane przy rozwiązywaniu prostych zadań informatycznych z zakresu analizy sztucznej inteligencji - deklaratywne programowanie w Prolog-u.

Rozpoznaje problemy, do rozwiązania, których celowe jest stosowanie metod sztucznej inteligencji; potrafi wybrać i zastosować odpowiednie metody sztucznej inteligencji do rozwiązania zadań.

Ma świadomość odpowiedzialności za pracę własną.

Metody i kryteria oceniania:

Projekt.

Zajęcia w cyklu "Semestr zimowy 2016/2017" (zakończony)

Okres: 2016-10-01 - 2017-02-15
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin więcej informacji
Koordynatorzy: Ryszard Kozera
Prowadzący grup: Zbigniew Kasprzycki, Ryszard Kozera
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Ćwiczenia - Zaliczenie na ocenę
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Akademia Finansów i Biznesu Vistula.
ul. Stokłosy 3
02-787 Warszawa
tel: +48 22 45 72 300 https://vistula.edu.pl/
kontakt deklaracja dostępności USOSweb 7.0.0.0-1 (2023-09-06)