Wprowadzenie do programowania w logice #11.3.0005

Wprowadzenie do programowania w logice #11.3.0005
Sylabusy - Ośrodek Informatyczny UG
Nazwa przedmiotu
Wprowadzenie do programowania w logice
Nazwa jedostki prowadzącej przedmiot
Instytut Informatyki
Nazwisko osoby prowadzącej (osób prowadzących)
prof. UG, dr hab. Christoph Schwarzweller
Studia
wydział
Wydział
Matematyki, Fizyki
i Informatyki
kierunek
Informatyka
stopień
drugiego stopnia
Kod ECTS
11.3.0005
tryb
stacjonarne
specjalność
wszystkie
specjalizacja
wszystkie
semestr
3
Formy zajęć, sposób ich realizacji i przypisana im liczba godzin
Liczba punktów ECTS
Formy zajęć
6
Wykład
Przedmiot w wymiarze 30h wykładu i 30h
Sposób realizacji zajęć
laboratorium + praca własna.
zajęcia w sali dydaktycznej
Liczba godzin
Wykład: 30 godz.
Cykl dydaktyczny
2012/2013 zimowy
Status przedmiotu
Język wykładowy
fakultatywny
polski
Metody dydaktyczne
Forma i sposób zaliczenia oraz podstawowe kryteria oceny lub
wymagania egzaminacyjne
- wykład
Sposób zaliczenia
- ćwiczenia laboratoryjne - projektowanie
Egzamin
doświedczeń
Formy zaliczenia
- ćwiczenia laboratoryjne - wykonywanie
- egzamin pisemny z pytaniami (zadaniami) otwartymi
doświedczeń
- egzamin pisemny (dłuższa wypowiedź pisemna / rozwiązanie problemu)
Podstawowe kryteria oceny
kolokwium po laboratorium
egzamin pisemny
Określenie przedmiotów wprowadzających wraz z wymogami wstępnymi
A. Wymagania formalne
brak
B. Wymagania wstępne
brak
Cele kształcenia
Wprowadzenie do programowania deklaratywnego na podstawie języka Prolog
Treści programowe
1. Wprowadzenie
2. Wstęp do języka Prolog
3. Podstawy programowania logicznego
4. Kolejne elementy języka Prolog
5. Techniki i zastosowania programowania logicznego
Wykaz literatury
1. Bratko; Prolog - Programming for Artificial Intelligence
2. Lloyd; Foundations of Logic Programming
3. O'Keefe; The Craft of Prolog
4. Sterling, Shapiro; The Art of Prolog
Efekty uczenia się
Wiedza
Student:
Student:
K_W01: ma pogłębioną wiedzę z działów matematyki
• zna paragymat programowania deklaratywnego
niezbędnych do studiowania informatyki; dobrze rozumie
• zna model programowania logicznego
rolę i znaczenie konstrukcji rozumowań matematycznych,
• zna język programowania Prolog
zna aparat formalny pozwalający na formułowanie i badanie
podstawowych własności obiektów informatycznych
Umiejętności
Student:
K_U01 posiada umiejętność konstruowania rozumowań
Wprowadzenie do programowania w logice #11.3.0005 | 585cd95564eb13106f98ba54f60255e5 | Strona 1 z 2
Wprowadzenie do programowania w logice #11.3.0005
Sylabusy - Ośrodek Informatyczny UG
matematycznych
K_U03 potrafi wyrażać problemy obliczeniowe w języku
matematyki
K_U09 potrafi zastosować wiedzę matematyczną do
formułowania, analizowania i rozwiązywania zadań
związanych z informatyką
K_K03 potrafi precyzyjnie formułować pytania, służące
pogłębieniu własnego rozumowania danego tematu lub
odnalezieniu brakujących elementów rozumowania
• programuje algorytmy z wykorzystaniem paradygmatu programowania
deklaratywnego
• umie rozwiązać problemy używając języka logicznego
• umie zformułować problemy w sposobie potrzebny dla programowania
logicznego
Kompetencje społeczne (postawy)
Student:
• wykorzystuje angielską literaturę fachową
Kontakt
[email protected]
Wprowadzenie do programowania w logice #11.3.0005 | 585cd95564eb13106f98ba54f60255e5 | Strona 2 z 2