Materiały do wykładu "Programowanie deklaratywne"



Wykład 1: wykład1.black-white.pdf (173 kB)

Temat wykładu: Wprowadzenie do języka Prolog


Wykład 2: wykład2.black-white.pdf (294 kB) wykład2.color.pdf (322 kB)

Temat wykładu: Budowa składniowa i interpretacja programów prologowych


Wykład 3: wykład3.black-white.pdf (191 kB) wykład3.color.pdf (210 kB)

Temat wykładu: Listy, operatory i operacje arytmetyczne


Wykład 4: wykład4.black-white.pdf (157 kB) wykład4.color.pdf (171 kB)

Temat wykładu: Sterowanie mechanizmem nawrotów


Wykład 5: wykład5.black-white.pdf (159 kB) wykład5.color.pdf (184 kB)

Temat wykładu: Predefiniowane (systemowe) predykaty prologowe - metapredykaty


Wykład 6: wykład6.black-white.pdf (154 kB) wykład6.color.pdf (175 kB)

Temat wykładu: Operacje wejścia/wyjścia w Prologu


Wykład 7: wykład7.black-white.pdf (191 kB) wykład7.color.pdf (210 kB)

Temat wykładu: Styl i technika programowania w Prologu


Wykład 8 dodatkowy (pozaprogramowy): wykład.b&w.pdf w kolorze: wykład.color.pdf

Temat wykładu: Programowanie w logice z ograniczeniami (więzami)




Wyniki kolokwiów zaliczeniowych


Wykłady
Kolokwium zaliczeniowe z wykładu dla kierunku Informatyka sem2:  test (PDF).

Kolokwium poprawkowe z wykładu kierunek Informatyka sem2:  PDF .


Laboratoria
Wyniki kolokwiów zaliczeniowych z laboratoriów kierunek Informatyka sem2 (2017/18):

grupa:  poniedziałek 4 czerwca godz.11:45,
grupa:  poniedziałek 4 czerwca godz.13:30,
grupa:  wtorek 5 czerwca godz.13:30,
grupa;  piątek 8 czerwca godz.08:00,
grupa:  piątek 8 czerwca godz.09:45,
grupa:  piątek 8 czerwca godz.11:45,
grupa:  poniedziałek 11 czerwca godz.11:45,
grupa:  poniedziałek 11 czerwca godz.13:30 ,
grupa:  wtorek 12 czerwca godz.13:30,
grupa:  poniedziałek 25 czerwca godz.11:00,
grupa:  piątek 29 czerwca godz.12:00,
grupa:  piątek 29 czerwca godz.13:00,


Wyniki zaliczenia poprawkowego laboratoriów:

grupa godz.10:00: wyniki
grupa godz.11:15: wyniki
grupa godz.12:30: wyniki



Dodatkowe zaliczenie z laboratoriów: extra.


Uwaga! Kolokwium poprawkowe z laboratoriów odbędzie się w dniu 28-09-2018 (piątek) .
Zostanie ono przeprowadzone w salach 43/44 Centrum Wykładowego PP w trzech turach w godzinach: 10:00, 11:15, 12:30.
Podział osób na poszczególne tury znajdziecie Państwo w pliku: lista

Osoby, które nie figurują na liście z powodu nieobecności na wcześniejszych zaliczeniach proszone są o zgłoszenie się mailowo do prowadzącego
najpóźniej do dnia 20 września 2018 w celu ich dopisania do listy, o ile zamierzają brać udział w tym zaliczeniu.

Możliwe są również drobne korekty przypisania poszczególnych osób do określonych tur, ale proszę pamiętać, że skala tych zmian nie może być zbyt wielka
ze względu na ograniczoną pojemność sali, niestety. Prośby takie również należy zgłosić najpóźniej do 20 września 2018.

UWAGA! Udział w zaliczeniu możliwy tylko po wcześniejszym okazaniu legitymacji studenckiej!!!




animated gif
Uwaga! Drobne przesunięcie godziny na 13:30 ze względu na zaliczenia laboratoriów!
grupa:  zaliczenie z poniedziałku 29-czerwca godz.12:00,




Wyniki kolokwiów poprawkowych z laboratoriów dnia 23 września 2015:
grupa godz. 10:00:    wyniki    komentarz
grupa godz. 11:15:    wyniki    komentarz
grupa godz. 12:30:    wyniki    komentarz


Drodzy Państwo,

Upłynął termin nadsyłania zgłoszeń na dodatkowy termin poprawki i możecie Państwo zweryfikować stan tych zgłoszeń na liście . Jeżeli są osoby, które uważają, że przesłały zgłoszenie, lecz ich potwierdzenie nie zostało odnotowane, proszę dziś (środa 07.10) o maila w tej sprawie.
Ze względu na inne zobowiązania zmuszony jestem przeprowadzić obydwie tury dodatkowego zaliczenia w godzinach od 11:15 do 13:15. Dokonałem zgodnie z obietnicą podziału na dwie podgrupy zdających, listę których możecie Państwo sprawdzić tutaj . Jak wynika z tej listy spotykamy się w sali P6, przy czym część osób proszona jest o przybycie na godzinę 11:30, zaś pozostali na godzinę 12:15. Myślę, że zdążymy do godziny 13:30 przed kolejnymi Państwa zajęciami, dostosowując odpowiednio zadania.
Artur Michalski
Po weryfikacji moich planów i Państwa rozkładu zajęć doszedłem do wniosku, iż jedynym dogodnym terminem przeprowadzenia jeszcze jednego zaliczenia poprawkowego laboratoriów jest piątek 9 pażdziernika. Tego dnia możliwe jest spotkanie o godz.08:00 lub 11:30 (nie macie wtedy Państwo jeszcze wykładu z "Optymalizacji ...") w sali 43/44 albo P6 (sprawdzone w Dziekanacie). Prawdopodobnie potrzebne będą dwie tury, gdyż wskazuje na to liczba osób, które nie zaliczyły poprawki. O tym jednak jaki termin zostanie ostatecznie przeze mnie wybrany oraz jak zostaniecie Państwo podzieleni na tury, zdecydują potwierdzenia przesłane przez Państwa drogą mailową na mój adres uczelniany.

Uprzejmie zatem proszę wszystkie osoby, które nie zaliczyły poprawki (lista tutaj ), a które zamierzają podejść do tego dodatkowego zaliczenia o potwierdzenie tego faktu indywidualnie przez wyrażenie swojej woli w stosownym mailu . Mechanizm zgłoszeń uznałem za konieczny, gdyż na poprzednich poprawkach miały miejsce nieobecności osób z listy poprawkowiczów.
Termin nadsyłania potwierdzeń upływa we wtorek 6 pażdziernika o godz.23:59. Brak zgłoszenia będzie równoznaczny z akceptację dotychczasowej oceny z przedmiotu oraz rezygnacją z dodatkowego podejścia.

Uwaga! Tymczasowo wszystkim osobom, które nie mają zaliczenia z laboratoriów zmuszony jestem wpisać do protokołów elektronicznych wartość "nieobecny". Jest to konieczność, gdyż w chwili zamknięcia protokołów tylko taki stan pozwala jeszcze na dalsze korekty wpisu. Ostateczny termin zatwierdzania protokołów zbliża się nieuchronnie, mam jednak nadzieję, że zdążymy ze wszystkim zanim to nastąpi.

Dalsze szczegóły, dotyczące organizacji dodatkowego zaliczenia pojawią się po spłynięciu Państwa zgłoszeń. Proszę zatem zaglądać tutaj i kontrolować bieżącą sytuację.
Ze względu na tragiczny bilans końcowy poprawki, chciałbym Państwu dać jeszcze jedną szansę na zaliczenie przedmiotu. Dodatkowy termin sprawdzianów przypadłby
w dniu 1 października 2012 (poniedziałek) w godzinach 11:15 oraz 12:15.
W pierwszym terminie proszone byłyby osoby z negatywnymi ocenami, których numer indeksu w pliku z wynikami znajduje się nad kreską, zaś w drugim terminie - osoby pod kreską.

Losy tego zaliczenia zależą jednak od dostępności sali P6, w której chciałbym je zorganizować. Ze względu na rozpoczynający się nowy rok akademicki, wymagać to będzie potwierdzenia w Dziekanacie w dniu jutrzejszym (26.09.2012) i wtedy poinformuję Państwa o tym na tej stronie.
Potwierdzam rezerwację sali w Dziekanacie we wskazanym terminie.
Osoby, które nie figurują na liście z powodu nieobecności na żadnym z dotychczasowych terminów zaliczenia proszone są o zgłoszenie się mailowo do prowadzącego
najpóźniej do dnia 28 września 2012, jeżeli chcą brać udział w tym zaliczeniu.

UWAGA! Udział w ostatecznym zaliczeniu możliwy tylko po wcześniejszym okazaniu legitymacji studenckiej!!!

Ostatnia aktualizacja: 2018-10-11
Przez: Artur Michalski