Wprowadzenie do programowania w logice #11.3.0005
Transkrypt
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